SoC可重用驗(yàn)證平臺(tái)研究與開發(fā).pdf

1、隨著SoC設(shè)計(jì)的規(guī)模和復(fù)雜度的日益增加，其驗(yàn)證工作也日益繁雜，驗(yàn)證難度也逐漸遞增。由于驗(yàn)證環(huán)節(jié)往往可能占到整個(gè)SoC開發(fā)周期的半數(shù)70％以上，而且驗(yàn)證能力目前遠(yuǎn)落后于設(shè)計(jì)能力和生產(chǎn)能力，驗(yàn)證已經(jīng)成為制約SoC設(shè)計(jì)和應(yīng)用的最主要瓶頸。驗(yàn)證方法學(xué)及其應(yīng)用已成為國際性的研究熱點(diǎn)和關(guān)鍵技術(shù)。新興的OVM驗(yàn)證方法學(xué)(Open Verification Methodology)的目標(biāo)便是為SoC時(shí)代提供高效的驗(yàn)證方法和統(tǒng)一的驗(yàn)證平臺(tái)的標(biāo)準(zhǔn)，被視為最

2、有希望突破上述瓶頸的發(fā)展方向。
　　 本文針對(duì)當(dāng)今SoC系統(tǒng)驗(yàn)證所面臨的挑戰(zhàn)（困境），首先在分析傳統(tǒng)驗(yàn)證環(huán)境的優(yōu)缺點(diǎn)的基礎(chǔ)上，較深入地研究了新興的OVM驗(yàn)證方法學(xué)的基本原理、平臺(tái)框架和實(shí)施要點(diǎn)，特別是如何實(shí)現(xiàn)功能驗(yàn)證的可重用性、可擴(kuò)展性，以及如何針對(duì)SoC系統(tǒng)驗(yàn)證的需求，提供高效、完整的驗(yàn)證方案。其次，以O(shè)VM驗(yàn)證方法學(xué)為指導(dǎo)，結(jié)合某設(shè)計(jì)項(xiàng)目，利用SystemVerilog語言等實(shí)際開發(fā)了系統(tǒng)驗(yàn)證平臺(tái)（原型）。該平臺(tái)在系統(tǒng)建模方