Testbench中的checker如何理解

在测试平台中，从内部检查DUT的行为非常有用。 VCS提供了两种机制：assert 和 expect结构。如下所示：

[label:] assert (expression) [action block] [else statement]
[label:] expect (property spec) [action block]
[else statement]

你可以使用assert结构来检查当前仿真时间的行为，使用expect结构检查多个时钟周期的行为。

例如，在FIFO测试平台中，fifo_reset_check（）task检查以确定DUT的输出是否在指定时间内的正确重置：

fifo_reset_check（）task首先检查empty在前两个时钟周期内置位。 如果empty在两个周期内没有被置位，VCS将发出以下验证错误：

Error: "fifo_test.v", 94:
fifo_test_top.test.fifo_reset_check.E1: at time 350

所有验证检查都应该有label，以便于调试。E1：expect语句阻止task执行下一行代码检查，直到成功或错误。接下来的五个A *代码行会立即检查其他输出信号是否被DUT正确置位。