JPEG2000解碼器的功能驗(yàn)證.pdf

1、隨著半導(dǎo)體工業(yè)高速的發(fā)展，IC設(shè)計(jì)規(guī)模日益龐大，整個(gè)半導(dǎo)體行業(yè)在過(guò)去的六十多年間，芯片中晶體管數(shù)量一直遵循著摩爾定律成倍增長(zhǎng)。傳統(tǒng)的單一 IC驗(yàn)證方法已經(jīng)無(wú)法滿足如此復(fù)雜的芯片驗(yàn)證需求，為確保所設(shè)計(jì)芯片功能的正確性，避免驗(yàn)證工作成為整個(gè)芯片設(shè)計(jì)流程中的瓶頸，驗(yàn)證師們迫切需要在功能驗(yàn)證方面有新的驗(yàn)證技術(shù)和驗(yàn)證方法。
　　本文結(jié)合JPEG2000解碼器設(shè)計(jì)的實(shí)際情況，論述并采用了一種更加結(jié)構(gòu)化和系統(tǒng)化的綜合驗(yàn)證方法，即基于黃金模型驗(yàn)證

2、、SystemVerilog Assertions驗(yàn)證、驗(yàn)證平臺(tái)的仿真波形驗(yàn)證和代碼覆蓋率的驗(yàn)證，對(duì)同組人員設(shè)計(jì)的JPEG2000解碼器進(jìn)行了詳細(xì)的功能驗(yàn)證。
　　本文首先詳細(xì)介紹了驗(yàn)證方法的分類(lèi)，以及常用驗(yàn)證方法的特點(diǎn)和應(yīng)用方案。其次，簡(jiǎn)單介紹了JPEG2000解碼器各模塊的劃分及工作原理，根據(jù) JPEG2000解碼器的設(shè)計(jì)標(biāo)準(zhǔn)和課題的實(shí)際情況，闡述了本文所采用的驗(yàn)證策略。第三，根據(jù)JPEG2000解碼器的設(shè)計(jì)規(guī)范，提取針對(duì)各個(gè)