文章基于UVM （通用驗(yàn)證方法學(xué)）統(tǒng)一驗(yàn)證平臺(tái),充分考慮ALU自主指令集,結(jié)合高性能通用DSP內(nèi)核ALU的功能結(jié)構(gòu)特點(diǎn),介紹了我國自主研制的通用DSP內(nèi)ALU指令的功能驗(yàn)證方法。該方法易于工程實(shí)現(xiàn)、驗(yàn)證效果良好,在自主研制的DSP項(xiàng)目中的實(shí)際應(yīng)用,證明了方法的高效性和實(shí)用性。 

【文章來源】：電工技術(shù). 2020,(10)

【文章頁數(shù)】：3 頁

【部分圖文】：

ALU內(nèi)部功能框圖

基于通用驗(yàn)證方法學(xué)（UVM）搭建統(tǒng)一驗(yàn)證平臺(tái)，平臺(tái)主要包括驗(yàn)證激勵(lì)生成模塊、驅(qū)動(dòng)模塊、監(jiān)控模塊等功能模塊，如圖2所示。驗(yàn)證激勵(lì)生成模塊按照自主指令集中ALU匯編程序的產(chǎn)生規(guī)則，自動(dòng)產(chǎn)生匯編激勵(lì)，通過編譯器和驅(qū)動(dòng)模塊驅(qū)動(dòng)參考模型和驗(yàn)證模型在相同的激勵(lì)下同步自動(dòng)運(yùn)行。監(jiān)控模塊對(duì)功能覆蓋率進(jìn)行統(tǒng)計(jì)，對(duì)運(yùn)算結(jié)果進(jìn)行收集比對(duì)以及對(duì)運(yùn)行過程中的信號(hào)進(jìn)行檢測(cè)等。

定向約束特殊值激勵(lì)生成

【參考文獻(xiàn)】：
期刊論文
[1]基于指令的數(shù)字信號(hào)處理器驗(yàn)證[J]. 楊修濤,谷小秋.  計(jì)算機(jī)工程. 2015(09)
[2]基于VMM的ALU驗(yàn)證[J]. 蘇雪,潘明,翟江濤.  現(xiàn)代電子技術(shù). 2015(07)
[3]基于UVM的覆蓋率驅(qū)動(dòng)自動(dòng)驗(yàn)證系統(tǒng)[J]. 胡海生.  電子世界. 2014(16)
[4]基于功能復(fù)用的高性能ALU設(shè)計(jì)[J]. 張嘉琛,蔣劍飛,毛志剛.  信息技術(shù). 2010(03)



本文編號(hào)：3543073