芯片驗(yàn)證中的scoreboard分析

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

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

因?yàn)椴粫嬖谔嗟臄?shù)據(jù)，所以在線檢查會比后處理檢查 內(nèi)存效率更高 ，檢查完之后就可以將相應(yīng)的預(yù)期值刪除掉。

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

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

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

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

通常參考模型是驗(yàn)證最困難的地方，因?yàn)樾枰蚏TL一樣處理很多邊界場景，而且要保證可以使用scoreboard比對上。