System Verilog与功能验证

第一章 功能验证技术与方法学概要

概念：

验证平台：testbench

测试用例：testcase

1.1.2 什么是验证

验证的种类：不同的阶段存在不同形式的验证

（1）寄存器传输级（RTL）的功能验证

（2）门级的仿真，为了验证综合后的网表和期望的功能是否一致

（3）形式验证（等价性检查）来确保门级网表和RTL代码的一致性

（4）时序验证，为了验证设计能否在特定的频率上运行，通常采用静态验证工具。

1.1.4 功能验证的流程

    1. 制定验证策略和验证计划

        （1）主要功能点和测试用例

        （2）验证平台的抽象层次

        （3）激励生成和结果检查原则      

    2.创建验证平台

        书写验证平台代码和测试用例

    3.回归测试（regression test）和覆盖率收敛阶段

1.2 验证技术和验证方法学

    验证手段：白盒验证、黑盒验证、灰盒验证。

    验证技术：形式验证、仿真验证、硬件加速验证。

    验证方法学：随机激励生成、断言验证、覆盖率驱动验证。