Testbench中的checker如何理解

本篇文章给大家分享的是有关Testbench中的checker如何理解，小编觉得挺实用的，因此分享给大家学习，希望大家阅读完这篇文章后可以有所收获，话不多说，跟着小编一起来看看吧。

创新互联-专业网站定制、快速模板网站建设、高性价比木兰网站开发、企业建站全套包干低至880元,成熟完善的模板库,直接使用。一站式木兰网站制作公司更省心,省钱,快速模板网站建设找我们，业务覆盖木兰地区。费用合理售后完善，十年实体公司更值得信赖。

在测试平台中，从内部检查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正确置位。

以上就是Testbench中的checker如何理解，小编相信有部分知识点可能是我们日常工作会见到或用到的。希望你能通过这篇文章学到更多知识。更多详情敬请关注创新互联行业资讯频道。

本文名称：Testbench中的checker如何理解
标题链接：http://kswjz.com/article/jccpsj.html

我们在微信上24小时期待你的声音

解答本文疑问/技术咨询/运营咨询/技术建议/互联网交流

行业动态