淺析芯片驗證中的scoreboard

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

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

因為不會存在太多的數(shù)據(jù)，所以在線檢查會比后處理檢查內(nèi)存效率更高，檢查完之后就可以將相應(yīng)的預(yù)期值刪除掉。

用例結(jié)束后可以檢查預(yù)期值隊列是否是空的，即所有的預(yù)期都得到了正確的響應(yīng)。

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

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

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

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

審核編輯：劉清