IC验证基础

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