在芯片驗證中，我們隨機發送數據激勵，同時使用scoreboard進行數據完整性檢查。

scoreboard使用的關鍵在于如何啟動檢查以及檢查的內容。我們可以選擇一個用例結束后采用后處理檢查，也可以在線地檢查，即每次收到一個回數就啟動檢查。

因為不會存在太多的數據，所以在線檢查會比后處理檢查內存效率更高，檢查完之后就可以將相應的預期值刪除掉。

用例結束后可以檢查預期值隊列是否是空的，即所有的預期都得到了正確的響應。

上圖中transfer function就是一個參考模型（reference model）,就是驗證工程師或者模型工程師開發的和RTL完成一樣工作的模型，用于和RTL比對。不同模型檢查的精細程度會不同，能夠比對的東西也不同，最精細的就是和RTL類似的時鐘精確模型。

上圖中的data structure存儲預期值（一般是一個queue），可以很復雜，也可以很簡單。scoreboard中的checker會將RTL輸出和參考模型輸出進行比對，比對的時刻就是在RTL回數的時刻，比對通過后就可以將預期值從data structure中刪除。

上面提到的都是scoreboard的一些基本的概念，實際項目中scoreboard的使用有很多形式，可以是級聯的scoreboard比對一個feature，也可以是一個scoreboard比對多個feature。

通常參考模型是驗證最困難的地方，因為需要和RTL一樣處理很多邊界場景，而且要保證可以使用scoreboard比對上。

審核編輯：劉清