基于XY路由算法的片上網(wǎng)絡(luò)路由器的驗(yàn)證.pdf

1、在現(xiàn)代IC設(shè)計(jì)中，功能驗(yàn)證占用了約50％～80％的設(shè)計(jì)周期，功能驗(yàn)證已成為當(dāng)今IC設(shè)計(jì)流程中的最大瓶頸。功能驗(yàn)證的主流方法是基于仿真的動(dòng)態(tài)驗(yàn)證。然而，傳統(tǒng)的基于仿真的驗(yàn)證方法存在著明顯的不足：驗(yàn)證過(guò)程的可觀察性和可控性差，調(diào)試?yán)щy，驗(yàn)證環(huán)境的可重用性很差，自動(dòng)化水平低。
　　針對(duì)目前驗(yàn)證流程中的不足，本文主要研究了基于斷言驗(yàn)證方法的實(shí)現(xiàn)。基于斷言的驗(yàn)證方法是目前驗(yàn)證方法學(xué)上的新的發(fā)展趨勢(shì)，它的優(yōu)點(diǎn)在于：能夠增加驗(yàn)證過(guò)程的可觀察性和

2、可控制性；在設(shè)計(jì)周期中能更早的發(fā)現(xiàn)設(shè)計(jì)缺陷，促進(jìn)錯(cuò)誤的診斷；可以減少多余仿真周期，降低設(shè)計(jì)錯(cuò)誤不被發(fā)現(xiàn)的風(fēng)險(xiǎn)；斷言模塊可以與設(shè)計(jì)模塊很好的融合，增強(qiáng)驗(yàn)證效率。
　　本文以基于XY路由算法的片上網(wǎng)絡(luò)路由器為驗(yàn)證實(shí)例，論述了基于SystemVerilog斷言的功能驗(yàn)證方法，并根據(jù)SVA的特點(diǎn)，將SystemVerilog斷言與層級(jí)化驗(yàn)證平臺(tái)相結(jié)合。根據(jù)片上網(wǎng)絡(luò)XY路由器的設(shè)計(jì)規(guī)范和實(shí)現(xiàn)規(guī)范，采用自底向上的方法搭建產(chǎn)生隨機(jī)約束激勵(lì)的驗(yàn)證