西安交通大学 专用集成电路ASIC 课件 chap06_Sim.pdf

6、ASIC验证(Verification) 西安交通大学电信学院 微电子学系 程 军 2012/10/12 内容  概述  仿真  电路级仿真  门级仿真  RTL级仿真  硬件仿真  时序验证  物理验证（DRC/LVS/ERC）  版图后仿真  形式验证  验证策略 微电子研究所 Chap06 P.2 内容  概述  仿真  电路级仿真  逻辑模拟（门级仿真）  RTL级仿真  硬件仿真  时序验证  物理验证（DRC/LVS/ERC）  版图后仿真  形式验证  验证策略 微电子研究所 Chap06 P.3 什么是设计验证  Key question：  Is what I specified what I wanted?  Design Validation  Is what I implemented what I specified?  Implementation Validation 微电子研究所 Chap06 P.4 testbench  Testbench 的定义  通常指产生特定输入序列到一个设计，并观察输出 响应的代码。  Testbench通常是指这样的代码,它对设计进行恰当 的配置、产生测试和有选择性地观察电路的响应。  通常用VHDL/Verilog实现，也可以包括外部数据 文件或C程序。  Writing Testbench:在软件仿真过程中构架测 试环境 微电子研究所 Chap06 P.5 testbench结构 微电子研究所 Chap06 P.6 Design Verification 的意义  IC设计规模越来越大  Time To Market时间不断缩短  验证工作量不断增加  占整个芯片开发周期的50%到70%  验证工程师的数量是设计工程师2倍  设计验证的成本  Verification并不能带来利润，真正带来收益的毕竟是被验证 的设计。  但为保证设计功能正确，满足客户需要，验证不可缺少  过程太长、代价太高  随着错误数量的减少，寻找错误所需要的时间和成本持续增 加 微电子研究所 Chap06 P.7 如何保证验证的可靠性 保证一次投片成功?  Automation  较少人工介入,但并不总是可行  让计算机来完成更多的工作  不是所有工作都可以自动化  Completeness  验证是穷举设计中可能存在的错误的过程  只能证明某些设计错误存在或不存在  Effectiveness 微电子研究所 Chap06 P.8 测试(test)与验证(verification)的区别  测试经常被混淆为验证  验证是为了证明芯片是否实现了期望的功能  测试的目的是验证芯片是否被正确制造 微电子研究所 Chap06 P.9 主要的ASIC验证方法  基于仿真的验证 