| |||
# -------- 基础概念 ----------
1. 芯片验证主要分为三个方法:(1)动态仿真:模拟仿真验证(UVM/VIP等)(2)静态仿真:形式化验证 (3)FPGA硬件加速
2. 形式化验证是一种验证方法,而实际应用方向主要有两方面:(1)功能模块的等价性检查(SEC - Sequential Equivalence Checking)(2)RTL设计的属性验证(FPV - Formal Property Verifycation)
3. 形式化验证的定义:形式化验证是基于严格的数学算法和模型,根据设计功能提取电路规则的属性描述,并穷举系统运行过程中电路所能达到的所有状态,自动进行数学分析和证明。
4. 目前常用的形式化验证工具有:(1)Cadence的JasperGold (2)Synposys的VC-Formal (3)Mentor的Questa FV
5. 形式化验证使用的是SVA(Systemverilog Assertion)语言,属于SV的一部分。
6. property常用前缀 "P_", assume常用前缀 " ASM_", assert常用前缀 " AST_ ", cover常用前缀 "COV_"
# -------- 设计流程与脚本 ---------
......待续