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

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

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