層次化驗(yàn)證在HDMI發(fā)送端設(shè)計(jì)中的應(yīng)用.pdf

1、本文基于中芯國(guó)際0.13um IP(Intellectual Property)核HDMI(High-DefinitionMultimedia Interface)發(fā)送端，針對(duì)此IP是數(shù)?；旌显O(shè)計(jì)的特點(diǎn)，根據(jù)功能驗(yàn)證的需要，結(jié)合主流的驗(yàn)證方法學(xué)，本文采用了層次化的驗(yàn)證思想。依據(jù)這個(gè)驗(yàn)證思想，本文對(duì)HDMI發(fā)送端的驗(yàn)證采用動(dòng)態(tài)驗(yàn)證技術(shù)，主要包括功能驅(qū)動(dòng)的仿真驗(yàn)證和覆蓋率驅(qū)動(dòng)的驗(yàn)證技術(shù)。
　　 依據(jù)層次化的驗(yàn)證思想，結(jié)合動(dòng)態(tài)驗(yàn)證技術(shù)

2、，本文對(duì)HDMI發(fā)送端的驗(yàn)證工作主要包括：
　　 ⑴模塊級(jí)驗(yàn)證：使用功能驅(qū)動(dòng)的仿真驗(yàn)證技術(shù)，對(duì)編碼器的四種編碼—控制編碼、保護(hù)帶編碼、數(shù)據(jù)編碼和視頻編碼，分別添加直接激勵(lì)和隨機(jī)輸入數(shù)據(jù)進(jìn)行功能驗(yàn)證，結(jié)果顯示編碼器100％正確地執(zhí)行編碼功能，并且覆蓋了所有的編碼組合。
　　 ⑵子系統(tǒng)級(jí)驗(yàn)證：使用覆蓋率驅(qū)動(dòng)的驗(yàn)證技術(shù)，對(duì)HDMI Data Path進(jìn)行代碼覆蓋率驗(yàn)證，借助腳本對(duì)覆蓋率報(bào)告的分析，開發(fā)新的測(cè)試向量和改進(jìn)代碼，最

3、終在開發(fā)180多條測(cè)試向量之后，行覆蓋率為100％，條件覆蓋率為96.15％，狀態(tài)機(jī)的狀態(tài)覆蓋率為100％。
　　 ⑶系統(tǒng)級(jí)驗(yàn)證：采用功能驅(qū)動(dòng)的仿真驗(yàn)證技術(shù)來驗(yàn)證數(shù)據(jù)在數(shù)?；旌想娐方换ミ^程中能否正確的傳輸。針對(duì)HDMI發(fā)送端為規(guī)模較大的數(shù)模混合電路，并且仿真時(shí)間長(zhǎng)(5.4ms)的特點(diǎn)，本文提出了一種加速仿真的方法—模擬電路中途啟動(dòng)，仿真時(shí)間比沒有采用任何加速方法的仿真縮短了94.24％。最終的驗(yàn)證結(jié)果顯示數(shù)字端輸出和模擬端輸出是