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

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

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

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

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

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

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

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

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

審核編輯：劉清