SoC设计9.ppt
《SoC设计9.ppt》由会员分享,可在线阅读,更多相关《SoC设计9.ppt(34页珍藏版)》请在得力文库 - 分享文档赚钱的网站上搜索。
1、SoC设计方法与实现设计方法与实现第九章SoC功能验证功能验证内容大纲内容大纲功能验证概述功能验证概述功能验证方法与验证规划功能验证方法与验证规划系统级功能验证系统级功能验证仿真验证自动化仿真验证自动化形式验证形式验证基于断言的验证基于断言的验证内容大纲内容大纲功能验证概述功能验证概述功能验证方法与验证规划功能验证方法与验证规划系统级功能验证系统级功能验证仿真验证自动化仿真验证自动化形式验证形式验证基于断言的验证基于断言的验证随着设计的进行,越接近最后的产品,修正一随着设计的进行,越接近最后的产品,修正一个设计缺陷的成本就会越高个设计缺陷的成本就会越高不同设计阶段修正一个设计缺陷所需费用示意图
2、验证的概念验证的概念在在IC设计与制造领域,通常所说的验证设计与制造领域,通常所说的验证(Verification)和测试()和测试(Test)是两种不同的)是两种不同的事事验证验证n在设计过程中确认所设计的正确性设计的正确性n通过软件仿真、硬件模拟和形式验证等方法进行n在流片之前要做的。测试测试n检测芯片是否存在制造或封装过程中产生的缺陷。n采用测试设备进行检查功能验证功能验证功能验证一般是指设计者通过各种方法比较设计完功能验证一般是指设计者通过各种方法比较设计完成的电路和设计文档规定的功能是否一致,保证逻成的电路和设计文档规定的功能是否一致,保证逻辑设计的正确性。辑设计的正确性。通常不包括
3、面积、功耗等硬件实现的性能检测通常不包括面积、功耗等硬件实现的性能检测SoC功能验证的挑战功能验证的挑战系统复杂性提高增加验证难度系统复杂性提高增加验证难度设计层次提高增加了验证工作量设计层次提高增加了验证工作量发展趋势:发展趋势:内容大纲内容大纲功能验证概述功能验证概述功能验证方法与验证规划功能验证方法与验证规划系统级功能验证系统级功能验证仿真验证自动化仿真验证自动化形式验证形式验证基于断言的验证基于断言的验证仿真为基本出发点的功能验证方法仿真为基本出发点的功能验证方法功能验证开发流程功能验证开发流程制订验证计划制订验证计划功能验证需求激励产生策略结果检测策略验证开发验证开发提高验证的效率内
4、容大纲内容大纲功能验证概述功能验证概述功能验证方法与验证规划功能验证方法与验证规划系统级功能验证系统级功能验证仿真验证自动化仿真验证自动化形式验证形式验证基于断言的验证基于断言的验证系统级功能验证系统级功能验证行为级功能验证行为级功能验证n测试数据控制流,包括初始化和关闭I/O设备、验证软件功能、与外界的通信,等等性能验证性能验证n通过性能验证可以使设计者清楚地知道整个系统的工作速度、功耗等性能方面的指标。协议验证协议验证n根据总线协议对各个模块的接口部分进行验证系统级验证系统级验证系统级的测试平台系统级的测试平台n边界条件n设计的不连续处n出错的条件n极限情况系统级的测试平台标准系统级的测试
5、平台标准n性能指标n覆盖率指标内容大纲内容大纲功能验证概述功能验证概述功能验证方法与验证规划功能验证方法与验证规划系统级功能验证系统级功能验证仿真验证自动化仿真验证自动化形式验证形式验证基于断言的验证基于断言的验证仿真验证平台仿真验证平台激励的生成激励的生成直接测试激励直接测试激励:检测到测试者所希望检测到的系统检测到测试者所希望检测到的系统缺陷缺陷n可以快速、准确地产生大量的与实际应用一致的输入向量随机测试激励随机测试激励:检测到测试者没有想到的一些系统检测到测试者没有想到的一些系统缺陷缺陷n带约束的随机测试激励是指在产生随机测试向量时施加一定的约束,使所产生的随机测试向量满足一定的设计规则
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- SoC 设计
限制150内