数字集成电路原理与设计：l3 Testbench-Verilog.pdf

Testbench设设计 主讲人：姜小波 本章目录本章目录 Testbench介绍 Testbench设计初设计初步  Testbench简介  Testbench基本结构基本结构  激励信号的产生  TestbenchTestbench综合应用实例综合应用实例 高级Testbench设计——任务及函数的使用  仿真时间的系统函数仿真时间的系统函数  文本输出的系统任务  文件输入文件输入//出的系统任务出的系统任务 验证常用工具——Modelsim的使用 Testbench介绍Testbench介绍 每个人都知道调试的难度是编程的一倍。 33 一个例子一个例子  著名的Pentium处理器浮点运算Bug  Intel的主流处理器 330万个晶体管  早期版本都存在浮点除法的硬件错误 增加增加55个晶体管个晶体管、、修改修改一层掩模版即可修正层掩模版即可修正  在互连网上被首次发现  IInttell最终为所有用户提供更换最终为所有用户提供更换 耗资4.75亿美元 44 1996年6月4 日：欧洲阿里安5大型运载火箭在法属圭亚那库鲁进行首次发射时， 于起飞后40秒发生爆炸。 55 一些启示一些启示  集成电路设计中错误是无处不在的！  错误并不会十分“巨大”；  因此也就非常隐蔽此也就非常隐蔽；  一但错误被漏过但错误被漏过，， “后果很严重很严重”！  Intel为什么没有发现这个错误？ 66 Why?Why?  设计验证的标准步骤：  在高抽象层次软件模型上进行大量的仿真验证  对逻辑辑设计进行了软件和硬件仿真真  硬件仿真器价值上百万美元  运行速度比真真实芯片片低6个数量级  样品验证  运行几十亿次测试运行几十亿次测试  与错误擦身而过  需要约需要约1trillion1trillion 的测试矢量的测试矢量  对于复杂系统来说，很难全面验证它的所有方面！ 77 对对IntelIntel 的影响的影响  短期影响  出现错误的尴尬  经济济上的损损失  长期影响  所有人都都将更加认真真仔细地对待验证  为验证方法的研究提供了一个好的契机和研究范例  Intel甚至从这件事的影响力上得到了很多意外的好处 88 结论结论  数字系统的验证工作非常关键  责任重大责任重大 ！！  数字系统的验证非常具有挑战性数字系统的验证非常具有挑战性  工程上：具有严格的技术和管理上的要求！  理论和方法理论和方法：：亟待技术上的进步甚至是突破亟待技术上的进步甚至是突破！！  掀起掀起一场场功能验能验证相关研究的热潮相关研究的热潮 ！ 99 概念明晰概念明晰(verification(verific