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

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

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

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