在芯片驗(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ì)上。
審核編輯:劉清
-
RTL
+關(guān)注
關(guān)注
1文章
385瀏覽量
59630 -
芯片驗(yàn)證
+關(guān)注
關(guān)注
5文章
34瀏覽量
47164
原文標(biāo)題:芯片驗(yàn)證中的scoreboard
文章出處:【微信號(hào):芯片驗(yàn)證工程師,微信公眾號(hào):芯片驗(yàn)證工程師】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。
發(fā)布評(píng)論請(qǐng)先 登錄
相關(guān)推薦
評(píng)論