IC验证基础

验证的途径
模拟（simulation） 仿真（emulation） 形式验证（formal verification）

功能验证的方法
白盒法 黑盒法 灰盒法

白盒法
验证人员对内部结构和实现有充分了解的情 况下进行的验证 优点：

ห้องสมุดไป่ตู้
快速得到感兴趣的状态和输入，隔离某一特定的
ASIC Verification Introduction
刘蕊
验证的重要性
验证工作量占整个芯片开发周期的50%到 70% 验证工程师的数量超过了设计工程师

验证的概念


验证（verification）就是对设计(design)的进行检 查的过程，它的是目的是保证设计的功能和时序 正确，确保设计符合设计规范（specification）的 要求 只有穷举式的验证才是充分的，我们只能执行有 限的验证，验证是一个证伪的过程，而不是证明 的过程。

功能验证
Testbench

通常指产生特定输入序列到一个设计，并观 察输出响应的代码。
验证语言

Verilog System verilog, Vera,SpecmanE C,C++,SystemC
System C
抽 象 性
System Verilog
Verilog HDL
验证与测试


验证一般发生在流片（tape-out）前，主要检查设 计的逻辑正确性 测试发生在芯片制造后，主要检查生产出来的芯片 能否达到产品要求
验证的顺序
验证的层次
模块级验证（block level） 子系统级验证（subsystem level） 系统级验证（system level）
功能 容易分析输出结果

适合设计人员对模块或子系统的验证
黑盒法
验证人员不了解设计内部结构和实现的情况， 仅仅根据设计的规格说明和接口协议及功能 要求而进行的验证。 优点：设计与验证分离，验证工程师在不了 解设计实现的情况下，从规格出发去检查工 程师的工作，有利于提高可信度。

灰盒法
灰盒法是在完全知道设计内部细节的情况下 采用黑盒验证测试 通过关键信号的提取，提高验证效率。