在芯片驗證中，要想發現bug

需要激勵能夠覆蓋到特定場景

需要一系列的checker能夠發現DUT的錯誤

checker分為兩種類型：

典型的和驗證組件相對比較獨立的checker，這些checker通常與時序相關，例如檢查DUT中的狀態機是否永遠不會進入某個狀態，檢查接口上的vld-rdy時序符合協議。

另一種類型的檢查就是數據scoreboard。scoreboard用于檢查系統中數據的完整性。

本文我們先介紹時序的checker，即非scoreboard的checker

時序checker通常用于檢查隨時序變化的行為。時序checker通過時間表達式觸發以對某些條件進行檢查，這個時序表達式可能像時鐘周期一樣簡單，也可能嵌套了很多非常復雜的時間表達式。

時序checker一般是比較白盒的，深入探索DUT中RTL中的一切預期行為：

A事件在條件a下一定發生

B事件一定不會發生

A事件發生后一定會發生B事件

舉個具體例子

在用例結束可以做一個驗證環境和DUT的final值check

檢查fifo不會讀空和寫滿

輸出接口不會違反AMBA協議

理論上，我們可以加入無限多的checker，我們甚至沒法判斷哪些checker是沒有價值的，最終導致checker指數級增長，從而降低仿真器的運行效率。

也許，我們的隊員在會議中提出了很多很多的checker，聽起來都似乎有些道理。但事實上是否真的有價值，還是只是個雞肋般的checker？

審核編輯：劉清