IC验证基础.ppt

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,ASIC Verification Introduction,刘蕊,验证的重要性,验证工作量占整个芯片开发周期的,50%,到,70%,验证工程师的数量超过了设计工程师,验证的概念,验证（,verification,）就是对设计,(design),的进行检查的过程，它的是目的是保证设计的功能和时序正确，确保设计符合设计规范（,specification,）的要求,只有穷举式的验证才是充分的，我们只能执行有限的验证，验证是一个证伪的过程，而不是证明的过程。,验证与测试,验证一般发生在流片（,tape-out,）前，主要检查设计的逻辑正确性,测试发生在芯片制造后，主要检查生产出来的芯片能否达到产品要求,specifications,RTL,Gate,netlist,layout,功能仿真（前仿）,门级仿真,时序仿真,（,STA,、,后,仿真）,验证的顺序,验证的层次,模块级验证（,block,level,）,子系统级验证（,subsystem,level,）,系统级验证（,system,level,）,验证的途径,模拟（,simulation,）,仿真（,emulation,）,形式验证（,formal verification,）,功能验证的方法,白盒法,黑盒法,灰盒法,白盒法,验证人员对内部结构和实现有充分了解的情况下进行的验证,优点：,快速得到感兴趣的状态和输入，隔离某一特定的功能,容易分析输出结果,适合设计人员对模块或子系统的验证,黑盒法,验证人员不了解设计内部结构和实现的情况，仅仅根据设计的规格说明和接口协议及功能要求而进行的验证。,优点：设计与验证分离，验证工程师在不了解设计实现的情况下，从规格出发去检查工程师的工作，有利于提高可信度。,灰盒法,灰盒法是在完全知道设计内部细节的情况下采用黑盒验证测试,通过关键信号的提取，提高验证效率。,功能验证,Testbench,通常指产生特定输入序列到一个设计，并观察输出响应的代码。,验证语言,Verilog,System verilog,Vera,SpecmanE,C,C+,SystemC,抽,象,性,System C,System Verilog,Verilog HDL,