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

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

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

【部分圖文】：

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

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

定向約束特殊值激勵生成

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



本文編號：3543073