驗(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ì)生成的分離更有利于組件的重用。 




