基于VMM的光纖通道驗證平臺研究.pdf

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

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

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