[發明專利]一種復雜算法的測試激勵生成器及其控制方法

有效

• 申請號: 201910925904.8
• 申請日: 2019-09-27
• 公開（公告）號: CN110688821B
• 公開（公告）日: 2023-10-13
• 發明（設計）人: 何寧寧;劉戩
• 申請（專利權）人: 北京中電華大電子設計有限責任公司
• 主分類號: G06F30/398
• 分類號: G06F30/398;G06F30/20
• 代理公司: 北京成創同維知識產權代理有限公司 11449
• 代理人: 蔡純

1.一種復雜算法的測試激勵生成器，其特征在于，主要包括：測試激勵生成器(100)由固定向量生成模塊(101)、隨機向量生成模塊(102)、特殊向量生成模塊(103)、時序監測模塊(104)、驗證方案輸入接口模塊(105)、時序信號輸入接口模塊(106)和測試激勵輸出接口模塊(107)構成；測試激勵的生成控制信號通過驗證方案輸入接口模塊(105)輸入至測試激勵生成器(100)，測試激勵生成器(100)通過時序信號輸入接口模塊(106)從復雜算法驗證系統(108)獲取時序信號，所述時序信號經過時序監測模塊(104)處理后用于控制測試激勵的加載及驗證啟動，測試激勵生成器(100)產生測試激勵后通過測試激勵輸出接口模塊(107)輸出至復雜算法驗證系統(108)。

2.根據權利要求1所述的一種復雜算法的測試激勵生成器，其特征在于所述固定向量生成模塊(101)實現寄存器復位值、寄存器讀寫屬性和RAM讀寫屬性的測試激勵生成。

3.根據權利要求1所述的一種復雜算法的測試激勵生成器，其特征在于所述隨機向量生成模塊(102)的隨機化機制采用System Verilog的隨機化命令產生符合復雜算法輸入數據格式的合法隨機數據和不符合復雜算法輸入數據格式的非法隨機數據。

4.根據權利要求1所述的一種復雜算法的測試激勵生成器，其特征在于所述特殊向量生成模塊(103)具備復雜算法運算功能，能夠生成符合復雜運算特性的特殊激勵。

5.根據權利要求1所述的一種復雜算法的測試激勵生成器，其特征在于所述時序監測模塊(104)實時監測復雜算法模塊的時序信號，并控制測試激勵的加載過程。

6.根據權利要求1所述的一種復雜算法的測試激勵生成器，其特征在于所述驗證方案輸入接口模塊(105)要求輸入的驗證方案至少包括固定向量、隨機向量和特殊向量的生成控制信號。

7.根據權利要求1所述的一種復雜算法的測試激勵生成器，其特征在于所述時序信號輸入接口模塊(106)通過層次化訪問的方式連接至復雜算法驗證系統(108)。

8.根據權利要求1所述的一種復雜算法的測試激勵生成器，其特征在于所述測試激勵輸出接口模塊(107)輸出的測試激勵形式為符合Verilog語法的Task或符合UVM方法學的Sequence。

9.一種復雜算法的測試激勵生成器的控制方法，基于權利要求1所述的一種復雜算法的測試激勵生成器，其特征在于，主要步驟包括：

步驟S1：驗證方案解析；

步驟S2：固定向量生成、加載及驗證啟動；

步驟S3：隨機向量生成、加載及驗證啟動；

步驟S4：判斷是否為特殊向量中的特殊數據向量，是則繼續步驟S5，否則跳轉至步驟S6；

步驟S5：調用復雜算法運算生成特殊向量中的特殊數據向量；

步驟S6：判斷是否為特殊向量中的特殊時序向量，是則繼續步驟S7，否則跳轉至步驟S8；

步驟S7：時序向量加載初始化；

步驟S8：啟動時序監測；

步驟S9：加載特殊向量并啟動驗證；

步驟S10：加載由固定向量、隨機向量和特殊向量隨機組合的混合向量并啟動驗證。

10.根據權利要求9所述的控制方法，其特征在于，所述混合向量的隨機組合方式包括固定向量+隨機向量、固定向量+特殊向量、隨機向量+固定向量、隨機向量+特殊向量、特殊向量+固定向量、特殊向量+隨機向量這六種。