面向處理器功能驗(yàn)證的硬件化System Verilog斷言設(shè)計(jì)

摘要： 功能驗(yàn)證在處理器芯片開發(fā)流程中所占用的時(shí)間超過(guò)70%，因此優(yōu)化提升功能驗(yàn)證環(huán)節(jié)的效率非常必要.軟件仿真等傳統(tǒng)驗(yàn)證方法提供了包括斷言等多種驗(yàn)證機(jī)制，以提升驗(yàn)證的細(xì)粒度可見性和自檢查能力，但是軟件仿真運(yùn)行速度較慢，在高效性方面有明顯不足.基于FPGA的硬件原型驗(yàn)證方法能極大地加速驗(yàn)證性能，但其調(diào)試能力較弱，雖能快速發(fā)現(xiàn)漏洞，但難以定位漏洞出現(xiàn)的具體位置和根本原因，存在有效性不足難題... （共14頁(yè)）