驗(yàn)證環(huán)境中兩種不同的scoreboard
[導(dǎo)讀]在驗(yàn)證環(huán)境中checker可以通過(guò)兩種方式使用scoreboard。這兩種方法之間的主要區(qū)別在于參考模型處于哪個(gè)組件當(dāng)中。?第一種方法，checker組件包含參考模型。此時(shí)，scoreboard的角色是存儲(chǔ)DUT的輸入，然后當(dāng)checker觀察到DUT輸出時(shí)，它會(huì)調(diào)用scoreb...
在驗(yàn)證環(huán)境中checker 可以通過(guò)兩種方式使用scoreboard 。這兩種方法之間的主要區(qū)別在于參考模型處于哪個(gè)組件當(dāng)中。
?
第一種方法，checker 組件包含參考模型。此時(shí)，scoreboard 的角色是存儲(chǔ)DUT的輸入，然后當(dāng)checker 觀察到DUT輸出時(shí)，它會(huì)調(diào)用scoreboard 以獲取數(shù)據(jù)?。
scoreboard 的實(shí)現(xiàn)取決于DUT中包含的功能。如果DUT的規(guī)格是先進(jìn)先出(FIFO)規(guī)格，那么scoreboard 也將包含一個(gè)簡(jiǎn)單的FIFO。如果DUT中有一個(gè)復(fù)雜的排隊(duì)算法，那么為了返回正確的數(shù)據(jù)，需要在scoreboard 同樣實(shí)現(xiàn)這樣的復(fù)雜排序功能。scoreboard 返回?cái)?shù)據(jù)的同時(shí)，checker中的參考模型將開(kāi)始生成預(yù)期數(shù)據(jù)結(jié)果，然后將這些結(jié)果與實(shí)際的DUT輸出信號(hào)進(jìn)行比較。?第二種方法，scoreboard 中包含參考模型，根據(jù)其觀察到的DUT輸入生成預(yù)期結(jié)果。當(dāng)checker 觀察到DUT的輸出時(shí)，它會(huì)查詢scoreboard 上的預(yù)期數(shù)據(jù)并進(jìn)行比較。
在上述這兩種情況下（checker 或scoreboard 中包含參考模型），都是類似的數(shù)據(jù)采樣和比對(duì)流程。scoreboard?觀察DUT設(shè)計(jì)的激勵(lì)（注意，不是將輸入激勵(lì)寫入到scoreboard?）,scoreboard?和輸入激勵(lì)生成的分離更有利于組件的重用。
?
第一種方法，checker 組件包含參考模型。此時(shí)，scoreboard 的角色是存儲(chǔ)DUT的輸入，然后當(dāng)checker 觀察到DUT輸出時(shí)，它會(huì)調(diào)用scoreboard 以獲取數(shù)據(jù)?。scoreboard 的實(shí)現(xiàn)取決于DUT中包含的功能。如果DUT的規(guī)格是先進(jìn)先出(FIFO)規(guī)格，那么scoreboard 也將包含一個(gè)簡(jiǎn)單的FIFO。如果DUT中有一個(gè)復(fù)雜的排隊(duì)算法，那么為了返回正確的數(shù)據(jù)，需要在scoreboard 同樣實(shí)現(xiàn)這樣的復(fù)雜排序功能。scoreboard 返回?cái)?shù)據(jù)的同時(shí)，checker中的參考模型將開(kāi)始生成預(yù)期數(shù)據(jù)結(jié)果，然后將這些結(jié)果與實(shí)際的DUT輸出信號(hào)進(jìn)行比較。?第二種方法，scoreboard 中包含參考模型，根據(jù)其觀察到的DUT輸入生成預(yù)期結(jié)果。當(dāng)checker 觀察到DUT的輸出時(shí)，它會(huì)查詢scoreboard 上的預(yù)期數(shù)據(jù)并進(jìn)行比較。
在上述這兩種情況下（checker 或scoreboard 中包含參考模型），都是類似的數(shù)據(jù)采樣和比對(duì)流程。scoreboard?觀察DUT設(shè)計(jì)的激勵(lì)（注意，不是將輸入激勵(lì)寫入到scoreboard?）,scoreboard?和輸入激勵(lì)生成的分離更有利于組件的重用。 
下載文檔
