Testbench中的checker如何理解

發(fā)布時(shí)間：2021-12-24 10:32:24 來源：億速云閱讀：202 作者：柒染欄目：互聯(lián)網(wǎng)科技

本篇文章給大家分享的是有關(guān)Testbench中的checker如何理解，小編覺得挺實(shí)用的，因此分享給大家學(xué)習(xí)，希望大家閱讀完這篇文章后可以有所收獲，話不多說，跟著小編一起來看看吧。

在測試平臺中，從內(nèi)部檢查DUT的行為非常有用。 VCS提供了兩種機(jī)制：assert 和 expect結(jié)構(gòu)。如下所示：

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

你可以使用assert結(jié)構(gòu)來檢查當(dāng)前仿真時(shí)間的行為，使用expect結(jié)構(gòu)檢查多個(gè)時(shí)鐘周期的行為。

例如，在FIFO測試平臺中，fifo_reset_check（）task檢查以確定DUT的輸出是否在指定時(shí)間內(nèi)的正確重置：

fifo_reset_check（）task首先檢查empty在前兩個(gè)時(shí)鐘周期內(nèi)置位。如果empty在兩個(gè)周期內(nèi)沒有被置位，VCS將發(fā)出以下驗(yàn)證錯(cuò)誤：

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

所有驗(yàn)證檢查都應(yīng)該有l(wèi)abel，以便于調(diào)試。E1：expect語句阻止task執(zhí)行下一行代碼檢查，直到成功或錯(cuò)誤。接下來的五個(gè)A *代碼行會(huì)立即檢查其他輸出信號是否被DUT正確置位。

以上就是Testbench中的checker如何理解，小編相信有部分知識點(diǎn)可能是我們?nèi)粘９ぷ鲿?huì)見到或用到的。希望你能通過這篇文章學(xué)到更多知識。更多詳情敬請關(guān)注億速云行業(yè)資訊頻道。

向AI問一下細(xì)節(jié)

猜你喜歡