System Verilog与功能验证第一章 功能验证技术与方法学概要
第一章 功能验证技术与方法学概要概念：验证平台：testbench测试用例：testcase1.1.2 什么是验证验证的种类：不同的阶段存在不同形式的验证（1）寄存器传输级（RTL）的功能验证（2）门级的仿真，为了验证综合后的网表和期望的功能是否一致（3）形式验证（等价性检查）来确保门级网表和RTL代码的一致性（4）时序验证，为了验证设计能否在特定的频率上运行，通常采用静态验证工具。1.1.4 功...
