- 基于System Verilog的可重用驗證平臺設計及驗證結(jié)果分析

首先調(diào)用端口速率配置方法對所有N個端口的速率進行配置，然后調(diào)用定向包/塊入隊方法，根據(jù)測試層的測試實例進行定向包/塊的入隊操作。按照發(fā)送時序要求將定向包依次驅(qū)動到DUT的輸入端口上，直到發(fā)送完所有的定向包，并觸發(fā)隨機包產(chǎn)生事件，然后宣告定向測試結(jié)束。測試中在包與包或者塊與塊之間引入了受約束的隨機時延。隨機時延的范圍采用輔助工具進行配置。在測試層不僅能使用隨機數(shù)據(jù)，還能使用隨機時延，從而最大限度地驗證被測電路的功能和時延正確性，保證了被測模塊的魯棒性。

隨機測試流程如圖3所示。首先為每個端口或者總線設置一個數(shù)據(jù)結(jié)構(gòu)和包/塊的隊列。產(chǎn)生的數(shù)據(jù)包/塊先被送入相應的隊列。然后為每個輸入端口的隊列預存入一個數(shù)據(jù)包，等待隨機事件被觸發(fā)。當隨機事件被觸發(fā)后，程序分為兩個分支：分支一用于產(chǎn)生隨機數(shù)據(jù)包并進行入隊操作；分支二用于調(diào)用回調(diào)函數(shù)，產(chǎn)生錯誤指示信號，根據(jù)錯誤指示信號丟棄該包、或者發(fā)送錯誤的數(shù)據(jù)信息、又或者正常發(fā)送該包。當發(fā)送完一個數(shù)據(jù)包后再次調(diào)用回調(diào)函數(shù)進行覆蓋率的統(tǒng)計；最后判斷是否結(jié)束隨機測試，如果結(jié)束，則退出測試。否則重復上述操作。分支一和分支二之間通過事件進行同步通信。

②監(jiān)視器：監(jiān)視器的類結(jié)構(gòu)與激勵產(chǎn)生器相近，其中包含了屬性（虛接口的定義、監(jiān)視器編號、回調(diào)函數(shù)隊列等）和方法（數(shù)據(jù)結(jié)果比較、端口速率計算）。數(shù)據(jù)結(jié)果比較方法將DUT和行為模型的有效輸出數(shù)據(jù)信號進行比較，如果輸出結(jié)果不一致，則可能停止仿真，并打印出當前仿真的時間和錯誤數(shù)據(jù)信息；如果輸出結(jié)果一致，則調(diào)用回調(diào)函數(shù)進行覆蓋率的統(tǒng)計。端口速率計算方法的主要功能是統(tǒng)計每個端口輸出的數(shù)據(jù)包，根據(jù)數(shù)據(jù)包個數(shù)產(chǎn)生相應的鏈路空/閑指示信號。

③覆蓋率統(tǒng)計器：覆蓋率統(tǒng)計器的類結(jié)構(gòu)與激勵產(chǎn)生器的類有所不同，其結(jié)構(gòu)由屬性、方法和覆蓋組構(gòu)成。屬性主要是為進行覆蓋率統(tǒng)計而定義的一些中間變量；方法為進行覆蓋率統(tǒng)計準備數(shù)據(jù)，這些數(shù)據(jù)涉及到相應的覆蓋點，并調(diào)用采樣函數(shù)，進行覆蓋率統(tǒng)計操作；覆蓋組由多個覆蓋點組成，首先定義多個獨立的覆蓋點。然后根據(jù)具體的情況將這些獨立的覆蓋點進行交叉覆蓋率計算定義，如cross packet_type、packet_dport等。

（3）建立層：建立層定義為一個類，該類由屬性和方法構(gòu)成。屬性包含了m個激勵產(chǎn)生器和m個監(jiān)視器的句柄定義、m組總線的虛接口定義、覆蓋率類的句柄聲明等。其方法包含了建造方法、DUT配置方法和運行方法。其中建造方法用于對m個激勵產(chǎn)生器和m個監(jiān)視器進行對象聲明，同時將回調(diào)函數(shù)壓入激勵產(chǎn)生器和監(jiān)視器的回調(diào)函數(shù)隊列中。DUT配置方法的主要功能是按照微機接口時序利用測試層提供的配置文件，對電路進行初始配置。運行方法主要的功能是啟動m個激勵產(chǎn)生器和m個監(jiān)視器的線程，這里采用fork join_none語句實現(xiàn)。

（4）測試層：按照數(shù)據(jù)包的格式要求編寫定向測試向量文件，同時提供電路的各種配置參數(shù)文件。

最終搭建好的驗證平臺如圖4所示。