验证环境结构

验证环境结构

        测试平台(testbench)是整个验证系统的总称。

        它包括验证结构中的各个组件、组件之间的连接关系、测试平台的配置和控制。

        从更系统的意义来讲，它还包括编译仿真的流程、结果分析报告和覆盖率量化等。

        从狭义上讲，我们主要关注验证平台的结构和组件部分，他们可以产生设计所需要的各种输入，也会在此基础上进行设计功能的检查。验证结构： 

• 待测设计：DUT
• 验证必备组件：激励发生器、监测器、比较器

验证过程：

        激励发生器按照接口协议时序和测试场景，生成对应的激励向量

        待测设计接收了这些数据之后，需要做出响应

        监测器通过将待测设计的输入端和输出端数据监测，发送至比较器

        比较器将这些数据进行预测和比较，发现有问题的数据。继而协助验证工程师调试设计。

        如果设计有缺陷，需要修复该设计。修复设计之后，仍然需要交付测试平台，进行反复测试，直到出错的测试可以顺利完成

        此外，测试平台和待测设计，都需要时钟/复位。这是为了能够向设计发送同步的激励数据。

验证结构特点：

• 各个组件之间是相互独立的