第11章 FPGA设计验证课件.ppt

第11章 设计验证筹纯怎庆蛛耀;设计验证随着IC 集成度的不断;验证和测试是ASIC设计流程中;验证过程是证明设计正确的过程，;从自然语言表述的系统规范变换成;如设计规范是否正确，有无矛盾之;传统的电子线路设计验证方法目前;Top-Down/Bottom;Top-Down/Bottom;目前主流的两类 “验证技术”：;基于TestBench的验证 ;黑盒验证可以发现下面类型的错误;TB 结构模型2、白盒验证法：;这种方法为设计提供了很好的可控;3、灰盒验证法： ;验证工具1、仿真器仿真器是验证;验证人员在仿真器中，通过 te;验证工具是最常见的和仿真器一起;使用代码覆盖技术必须非常了解设;验证计划和流程随着设计规模的加;验证计划的内容：确定设计需要验;验证流程典型的验证流程力迁沽伦;所谓的 “验证程序” ;验证程序(TestBench);基于断言的验证 基于断言;断言的实现断言可以有多种实现方;例如： 不变性断言：asser;下面是Assert_alway;if (reset_n != ;上述的断言是用于检测某个表达式;使用always断言。 mod;实用构造Testbench技术;实用构造Testbench技术;实用构造Testbench技术;实用构造Testbench技术;实用构造Testbench技术;实用构造Testbench技术;实用构造Testbench技术;下面我们通过一个cpu接口的例;我们可以将CPU接口抽象成上图;引入BFM的优点在于： 有利于;实用构造Testbench技术;时序验证 时序验证;静态时序分析：通过分析设计中所;动态时序分析：即根据电路中提取;时序分析中的基本概念 一条路径;2、压摆率(slew rate;3、时钟歪斜(clock sk;Page 454、最大时钟频率;Page 46禽按造标叠哆制妻