基于VMM的光纖通道驗(yàn)證平臺研究.pdf

1、隨著集成電路的復(fù)雜程度越來越大，尤其是在SoC技術(shù)和IP復(fù)用技術(shù)日趨成熟的情況下，怎樣能夠有效的驗(yàn)證芯片的功能就變得至關(guān)重要。在如此背景下，對驗(yàn)證的需求也變得越來越大，VMM驗(yàn)證方法學(xué)也據(jù)此背景而被提出來，具有相當(dāng)大的理論以及實(shí)際意義。
　　本文對VMM驗(yàn)證方法學(xué)作出了較為深入的研究。首先歸納并總結(jié)出SystemVerilog七個特點(diǎn)并進(jìn)行了逐一的介紹：受約束的隨機(jī)激勵、可重復(fù)利用性、接口（interface）、特定的內(nèi)部連接機(jī)制

2、、測試案例和功能覆蓋率、與軟件語言的接口（DPI）以及斷言。然后對VMM驗(yàn)證方法學(xué)所提出的分層次的基本架構(gòu)以及架構(gòu)內(nèi)各個模塊的具體功能進(jìn)行了詳細(xì)介紹。VMM驗(yàn)證方法學(xué)提供了標(biāo)準(zhǔn)庫，驗(yàn)證者只需要對這些基本庫進(jìn)行擴(kuò)展就能實(shí)現(xiàn)更加具體的功能，本文也對該標(biāo)準(zhǔn)庫進(jìn)行了較為詳細(xì)的介紹。
　　本文搭建了基于 VMM的光纖通道的驗(yàn)證平臺，對于被測程序即光纖通道點(diǎn)對點(diǎn)模塊設(shè)計的了解也是驗(yàn)證所必須的。在介紹完 VMM驗(yàn)證方法學(xué)后，本文對被測程序的整體

3、模塊以及內(nèi)部具體分模塊的實(shí)現(xiàn)方案進(jìn)行了詳細(xì)的介紹。驗(yàn)證平臺需要用到被測程序?qū)α髁康目刂频冉涌?，所以對于被測程序分模塊對外的接口本論文也進(jìn)行了較為詳細(xì)的陳述
　　根據(jù)被測設(shè)計的具體功能，對光纖通道點(diǎn)對點(diǎn)設(shè)計的分層次驗(yàn)證環(huán)境進(jìn)行了總體方案的提出以及具體模塊的詳細(xì)設(shè)計。對數(shù)據(jù)類、接口、配置類、發(fā)生器、驅(qū)動器、監(jiān)視器、回調(diào)、記分板以及環(huán)境類的具體實(shí)現(xiàn)方案進(jìn)行了詳細(xì)的說明。最后本文介紹了基于此驗(yàn)證環(huán)境所提出的驗(yàn)證方案以及根據(jù)此驗(yàn)證方案所編寫