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

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