版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领
文档简介
1、ASIC Verification Introduction,刘蕊,验证的重要性,验证工作量占整个芯片开发周期的50%到70% 验证工程师的数量超过了设计工程师,验证的概念,验证（verification）就是对设计(design)的进行检查的过程，它的是目的是保证设计的功能和时序正确，确保设计符合设计规范（specification）的要求 只有穷举式的验证才是充分的，我们只能执行有限的验证，验证是一个证伪的过程，而不是证明的过程。,验证与测试,验证一般发生在流片（tape-out）前，主要检查设计的逻辑正确性 测试发生在芯片制造后，主要检查生产出来的芯片能否达到产品要求,specifica
2、tions,RTL,Gate netlist,layout,功能仿真（前仿）,门级仿真,时序仿真（STA、后仿真）,验证的顺序,验证的层次,模块级验证（block level） 子系统级验证（subsystem level） 系统级验证（system level）,验证的途径,模拟（simulation） 仿真（emulation） 形式验证（formal verification）,功能验证的方法,白盒法 黑盒法 灰盒法,白盒法,验证人员对内部结构和实现有充分了解的情况下进行的验证 优点： 快速得到感兴趣的状态和输入，隔离某一特定的功能 容易分析输出结果 适合设计人员对模块或子系统的验证,黑盒法,验证人员不了解设计内部结构和实现的情况，仅仅根据设计的规格说明和接口协议及功能要求而进行的验证。 优点：设计与验证分离，验证工程师在不了解设计实现的情况下，从规格出发去检查工程师的工作，有利于提高可信度。,灰盒法,灰盒法是在完全知道设计内部细节的情况下采用黑盒验证测试 通过关键信号的提取，提高验证效率。,功能验证,Testbench,通常指产生特定输入序列到一个设计，并观察输出响应的代码。,验证语言,Verilog S
温馨提示
- 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 采购部门部门制度
- 采购降价激励制度
- 采购风险管理制度及流程
- 重庆市政府采购管理制度
- 钢材贸易采购制度
- 2025年前台沟通能力考核卷
- 拓扑异构酶Ⅱ对衰老调控的普适性机制研究
- 消防安全知识培训活动总结4篇
- 2026年3月21日江西省五方面人员面试真题及答案解析（南昌-宜春-上饶-萍乡-上饶-景德镇-抚州-吉安等统考卷）
- pvc基层施工方案(3篇)
- 2026年北邮全校教职工人工智能素养培训分类分层发展体系
- 失败市场营销案例分析
- 医院保安工作考核制度
- 男科疾病超声治疗应用指南
- 肿瘤终末期患者生活质量评估与提升方案
- 砌体墙体裂缝处理方案
- 扶贫致富电商培训课件
- 化州介绍教学课件
- 2026年全国中学生天文知识竞赛(中学组)经典试题及答案
- 药店课件教学课件
- 2025年高效能项目管理系统开发项目可行性研究报告
评论
0/150
提交评论