官术网_书友最值得收藏!

第2章
一個(gè)簡(jiǎn)單的UVM驗(yàn)證平臺(tái)

2.1 驗(yàn)證平臺(tái)的組成

驗(yàn)證用于找出DUT中的bug,這個(gè)過(guò)程通常是把DUT放入一個(gè)驗(yàn)證平臺(tái)中來(lái)實(shí)現(xiàn)的。一個(gè)驗(yàn)證平臺(tái)要實(shí)現(xiàn)如下基本功能:

  • 驗(yàn)證平臺(tái)要模擬DUT的各種真實(shí)使用情況,這意味著要給DUT施加各種激勵(lì),有正常的激勵(lì),也有異常的激勵(lì);有這種模式的激勵(lì),也有那種模式的激勵(lì)。激勵(lì)的功能是由driver來(lái)實(shí)現(xiàn)的。
  • 驗(yàn)證平臺(tái)要能夠根據(jù)DUT的輸出來(lái)判斷DUT的行為是否與預(yù)期相符合,完成這個(gè)功能的是記分板(scoreboard,也被稱為checker,本書(shū)統(tǒng)一以scoreboard來(lái)稱呼)。既然是判斷,那么牽扯到兩個(gè)方面:一是判斷什么,需要把什么拿來(lái)判斷,這里很明顯是DUT的輸出;二是判斷的標(biāo)準(zhǔn)是什么。
  • 驗(yàn)證平臺(tái)要收集DUT的輸出并把它們傳遞給scoreboard,完成這個(gè)功能的是monitor。
  • 驗(yàn)證平臺(tái)要能夠給出預(yù)期結(jié)果。在記分板中提到了判斷的標(biāo)準(zhǔn),判斷的標(biāo)準(zhǔn)通常就是預(yù)期。假設(shè)DUT是一個(gè)加法器,那么當(dāng)在它的加數(shù)和被加數(shù)中分別輸入1,即輸入1+1時(shí),期望DUT輸出2。當(dāng)DUT在計(jì)算1+1的結(jié)果時(shí),驗(yàn)證平臺(tái)也必須相應(yīng)完成同樣的過(guò)程,也計(jì)算一次1+1。在驗(yàn)證平臺(tái)中,完成這個(gè)過(guò)程的是參考模型(reference model)。

圖2-1 簡(jiǎn)單驗(yàn)證平臺(tái)框圖

一個(gè)簡(jiǎn)單的驗(yàn)證平臺(tái)框圖如圖2-1所示。在UVM中,引入了agentsequence的概念,因此UVM中驗(yàn)證平臺(tái)的典型框圖如圖2-2所示。

從下一節(jié)開(kāi)始,將從只有一個(gè)driver的最簡(jiǎn)單的驗(yàn)證平臺(tái)開(kāi)始,一步一步搭建如圖2-2所示的驗(yàn)證平臺(tái)。

圖2-2 典型UVM驗(yàn)證平臺(tái)框圖

主站蜘蛛池模板: 汉川市| 阿拉善左旗| 锡林郭勒盟| 龙川县| 巴塘县| 永丰县| 寻乌县| 尤溪县| 太和县| 伊金霍洛旗| 武强县| 石嘴山市| 锡林郭勒盟| 苏州市| 洮南市| 田东县| 新宾| 东乌珠穆沁旗| 东城区| 金平| 汕尾市| 凤山县| 金平| 泸州市| 万全县| 绥化市| 喀喇沁旗| 阳城县| 和平区| 辽阳县| 永德县| 青神县| 桐乡市| 福鼎市| 同德县| 阜城县| 瑞金市| 松阳县| 定边县| 焉耆| 饶阳县|