基于VMM的硬件驗證技術(shù)研究及應(yīng)用.pdf

1、硬件驗證技術(shù)已經(jīng)成為硬件電路設(shè)計中的瓶頸，驗證在整個產(chǎn)品開發(fā)流程中占據(jù)的人力資源與時間資源愈加龐大，但驗證的效率和可重用性卻非常低。因此在產(chǎn)品上市之前，提供高效率可重用的驗證平臺對產(chǎn)品進(jìn)行充分的驗證是必要的。本文以多功能車輛總線控制器MVBC的驗證項目為引導(dǎo)，研究基于驗證方法學(xué)VMM的硬件驗證技術(shù)，具有理論和實際的重要意義。
　　 本文深入研究了三種基于仿真的驗證技術(shù)（基于事務(wù)的驗證技術(shù)、覆蓋率驅(qū)動的驗證技術(shù)以及基于斷言的驗證技

2、術(shù)），分析其技術(shù)特點，總結(jié)其優(yōu)缺點；然后在驗證方法學(xué)的指導(dǎo)下，將三種技術(shù)融合在層次化的驗證平臺中；其次研究了基于有限狀態(tài)自動機(jī)（FSM）模型化理論，對硬件電路進(jìn)行FSM建模，從中提取待驗證的功能點然后轉(zhuǎn)化為事務(wù)級模型，并且基于硬件描述與驗證語言SystemVerilog實現(xiàn)該驗證平臺。
　　 最后在驗證平臺上完成對MVBC中曼徹斯特編解碼模塊的驗證，并在仿真軟件VCS上運行，對驗證結(jié)果的分析表明，該驗證平臺能夠保證較快的驗證速度