[發明專利]一種基于UVM驗證方法學的TOE的驗證方法及平臺

在審

• 申請號: 201510072151.2
• 申請日: 2015-02-11
• 公開（公告）號: CN104657555A
• 公開（公告）日: 2015-05-27
• 發明（設計）人: 王煜華;丁杰;周文
• 申請（專利權）人: 北京麓柏科技有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 北京天悅專利代理事務所(普通合伙) 11311
• 代理人: 任曉航;張海秀

1.一種基于UVM驗證方法學的TOE的驗證平臺，該驗證平臺用于對TOE模塊實施功能驗證，其特征在于，所述驗證平臺包括參數配置模塊、應用層模塊、協議層模塊和總線功能模塊；

所述參數配置模塊，用于在測試用例中配置測試所需的硬件場景參數，并將所述硬件場景參數配置到應用層序列中，完成測試用例的隨機化序列的定義，不同的測試用例使用不同的序列，用于驗證TOE模塊的不同功能；

所述應用層模塊包括應用層序列生成器、應用層序列和應用層定序器；應用層序列生成器用于在確定所選用的測試用例后，根據應用層事務單元的參數配置，在所選用的測試用例對應的應用層序列中由自動生成數據包函數生成應用層數據包；不同的應用層序列用于完成不同的應用層事務單元的操作；應用層定序器用于將應用層數據包發送給協議層模塊，還用于接收協議層模塊發送的響應數據包；所述應用層序列中還設有應用層計分板，所述應用層計分板包括應用層比較器和TOE參考模型，應用層比較器用于將接收到的響應數據包中的數據和TOE參考模型的輸出數據相比對，判斷驗證是否通過，若比對一致，則驗證通過；反之則驗證失敗；TOE參考模型用于接收總線驅動器發送到待驗證TOE模塊的事務單元作為驅動，并根據驅動輸出相應的輸出數據；

所述協議層模塊包括協議層序列和協議層定序器；協議層序列用于根據TCP/IP協議規范，將所述應用層數據包解析后生成多條符合TCP/IP協議的協議層數據包，還用于將協議層定序器接收到的響應數據包發送到應用層模塊；協議層定序器用于將所述協議層數據包發送到總線功能模塊的總線定序器上，還用于接收總線定序器發送的響應數據包；

所述總線功能模塊包括總線定序器、總線驅動器和總線監視器；總線定序器用于接收協議層定序器發送的協議層數據包，還用于將總線監視器收集到的待驗證TOE模塊輸出的響應數據發送到協議層模塊；總線驅動器用于將協議層數據包打包成符合AXI-4Stream總線協議的事務單元，并將所述事務單元通過總線輸入到待驗證TOE模塊和TOE參考模型中；總線監視器用于收集總線上的待驗證TOE模塊輸出的響應數據包。

2.根據權利要求1所述的一種基于UVM驗證方法學的TOE的驗證平臺，其特征在于，所述驗證平臺還包括與應用層模塊和協議層模塊連接的應用層到協議層轉換模塊，應用層到協議層轉換模塊包括應用層到協議層事務轉換序列；

所述應用層到協議層事務轉換序列，用于接收應用層定序器發送的應用層數據包，并將應用層數據包轉換成符合協議層數據格式的數據包后發送到協議層模塊；還用于接收協議層定序器發送的響應數據包，并將響應數據包轉換成符合應用層數據格式的數據包后發送到應用層模塊。

3.根據權利要求1或2所述的一種基于UVM驗證方法學的TOE的驗證平臺，其特征在于，所述應用層序列和協議層序列中還分別設有功能覆蓋率統計模塊，功能覆蓋率統計模塊用于通過功能覆蓋組函數定義應用層模塊和協議層模塊的功能覆蓋點，并通過采樣功能覆蓋點統計功能覆蓋率。

4.根據權利要求1或2所述的一種基于UVM驗證方法學的TOE的驗證平臺，其特征在于，所述硬件場景參數包括所要建立的TCP連接數目，每條連接的起始時間，每條連接的消息數目，每條連接斷開重連的次數，每條連接的最大包長度，每條連接的本地MAC地址和所采用的協議類型。