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

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

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

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