VMM驗證方法學研究及SystemC實現(xiàn).pdf

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

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

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