1、現(xiàn)代的數(shù)字芯片設(shè)計(jì)發(fā)展非常的迅速,但是數(shù)字芯片設(shè)計(jì)是需要技術(shù)積累的行業(yè),隨著設(shè)計(jì)的規(guī)模與復(fù)雜度的增加,驗(yàn)證工作也隨之變得更難,更加重要,研究使用高級驗(yàn)證技術(shù)在JPEG2000編碼器設(shè)計(jì)中的驗(yàn)證工作非常重要。
　　本課題根據(jù)JPEG2000編碼器的設(shè)計(jì)規(guī)范要求,為了達(dá)到充分的功能驗(yàn)證,結(jié)合System Verilog Assertion(SVA)驗(yàn)證、仿真平臺波形驗(yàn)證與Code Coverage驗(yàn)證等驗(yàn)證方法對同課題組人員設(shè)計(jì)的各功

2、能模塊及整個(gè)編碼器做功能驗(yàn)證。首先,介紹比較流行驗(yàn)證手段如SVA斷言,對DUT的功能點(diǎn)的統(tǒng)計(jì)過程;然后介紹JPEG2000實(shí)現(xiàn)圖像壓縮編碼過程及各主要的功能模塊工作原理、Open JPEG參考軟件的修改與完善、搭建仿真驗(yàn)證平臺,并根據(jù)具體主要模塊提取功能點(diǎn),添加SVA斷言,做波形分析,對主要的握手信號、數(shù)據(jù)信號、使能信號、中間結(jié)果傳遞信號等關(guān)鍵功能點(diǎn)進(jìn)行工作正確性驗(yàn)證;最后部分是JPEG2000編碼器的整體驗(yàn)證,其壓縮能力的評估及根據(jù)C