ic验证基础.ppt

ASIC Verification Introduction 刘蕊 验证的重要性 验证工作量占整个芯片开发周期的50%到70% 验证工程师的数量超过了设计工程师 验证的概念 验证（verification）就是对设计(design)的进行检查的过程，它的是目的是保证设计的功能和时序正确，确保设计符合设计规范（specification）的要求 只有穷举式的验证才是充分的，我们只能执行有限的验证，验证是一个证伪的过程，而不是证明的过程。 验证与测试 验证一般发生在流片（tape-out）前，主要检查设计的逻辑正确性 测试发生在芯片制造后，主要检查生产出来的芯片能否达到产品要求 验证的顺序 验证的层次 模块级验证（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 * *