VMM驗(yàn)證方法學(xué)研究及SystemC實(shí)現(xiàn).pdf

1、隨著設(shè)計(jì)復(fù)雜度的增長，驗(yàn)證變得越來越困難，驗(yàn)證往往占到整個(gè)產(chǎn)品開發(fā)周期的70％，目前關(guān)于驗(yàn)證方法學(xué)的研究在硅谷是非常熱門的話題。 本文簡單回顧了驗(yàn)證方法學(xué)的發(fā)展史，重點(diǎn)討論了SoC時(shí)代所面臨的驗(yàn)證挑戰(zhàn)，并對(duì)當(dāng)前業(yè)界公認(rèn)最權(quán)威的VMM驗(yàn)證方法學(xué)進(jìn)行了深入研究。VerificationMethodology Manual(vMM)的目標(biāo)就是要針對(duì)SoC時(shí)代的驗(yàn)證需求創(chuàng)造一個(gè)類似的驗(yàn)證方法和驗(yàn)證平臺(tái)的標(biāo)準(zhǔn)。本文全面的介紹了該方法學(xué)所倡

2、導(dǎo)的驗(yàn)證平臺(tái)框架，以及在這個(gè)框架內(nèi)如何實(shí)現(xiàn)可重用、可擴(kuò)展，以及如何針對(duì)SoC的驗(yàn)證需求提供高效、系統(tǒng)的解決方案。 出于商業(yè)目的，VMM是與Synopsys所主推的SystemVerilog語言綁定在一起的，所以其所倡導(dǎo)的很多實(shí)現(xiàn)細(xì)節(jié)是和語言密切相關(guān)的。但正如作者所言，方法學(xué)本身是不局限于語言的，你完全可以用其它語言來實(shí)現(xiàn)這些方法。從系統(tǒng)建模的角度而言SystemC已經(jīng)成為了事實(shí)上的標(biāo)準(zhǔn)，而今天復(fù)雜的SoC的驗(yàn)證環(huán)境其實(shí)就是一個(gè)很

3、復(fù)雜的系統(tǒng)建模過程。我們自然的想法就是借鑒VMM驗(yàn)證方法學(xué)，但在實(shí)現(xiàn)語言上全部采用SystemC。所以在實(shí)現(xiàn)部分，本文按照VMM驗(yàn)證方法學(xué)所定義的驗(yàn)證平臺(tái)架構(gòu)架構(gòu)和規(guī)則，采用SystemC設(shè)計(jì)了一個(gè)圖像增強(qiáng)模塊的驗(yàn)證環(huán)境。該環(huán)境采用了SystemC的事務(wù)級(jí)建模技術(shù)，實(shí)現(xiàn)了驗(yàn)證平臺(tái)的層次化，并在平臺(tái)中直接集成了圖像增強(qiáng)模塊的C模型，在仿真時(shí)基于RTL的被測對(duì)象和C模型同時(shí)運(yùn)行，實(shí)時(shí)比對(duì)，及時(shí)的報(bào)告出錯(cuò)信息，方便定位。支持腳本方式的測試激勵(lì)