[發明專利]一種EDA驗證階段的仲裁電路測試方法有效
| 申請號： | 201711224057.X | 申請日： | 2017-11-29 |
| 公開（公告）號： | CN107992675B | 公開（公告）日： | 2020-12-15 |
| 發明（設計）人： | 張俊杰;常迎輝 | 申請（專利權）人： | 中國電子科技集團公司第五十四研究所 |
| 主分類號： | G06F30/398 | 分類號： | G06F30/398 |
| 代理公司： | 河北東尚律師事務所 13124 | 代理人： | 王文慶 |
| 地址： | 050081 河北省石家莊*** | 國省代碼： | 河北;13 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 eda 驗證 階段 仲裁 電路 測試 方法 | ||
【權利要求書】：
1.一種EDA驗證階段的仲裁電路測試方法，其特征在于，用于對待測設計進行仲裁邏輯測試，包括以下步驟：
(1)基于SV語言搭建整個芯片的初始驗證環境；
(2)提取待測設計內部的仲裁電路，編寫電路監控組件和反饋機制組件，將電路監控組件和反饋機制組件加入初始驗證環境中構成完整驗證環境；
(3)運行測試向量開始仿真，同時并行地運行仲裁電路測試組件，達到測試目的；
所述完整驗證環境包括待測設計、激勵生成器、仲裁時序反饋器、仲裁時序采樣器和仲裁結果檢查器；其中：
激勵生成器，用于為待測設計提供隨機化、定向約束的激勵生成，并且根據仲裁時序反饋器輸入的信息調整激勵參數，從而達到仲裁邏輯測試場景所需要的激勵參數；
仲裁時序采樣器，用于在測試向量運行過程中實時地監控仲裁邏輯的輸入接口，對不同輸入接口的數據源分別進行采樣，并將采樣結果發送給仲裁時序反饋器和仲裁結果檢查器；
仲裁時序反饋器，用于把仲裁電路預期的測試場景和仲裁時序采樣器傳送過來的采樣數據進行差異化數據分析，并根據分析結果調整激勵生成器的測試場景，以達到消除差異化的目的，最后將調整后的測試場景參數發送給激勵生成器；
仲裁結果檢查器，對由仲裁時序采樣器發送過來的仲裁電路輸入接口的數據進行仲裁邏輯計算，將計算結果與仲裁電路輸出接口的采樣數據進行正確性比對，并輸出比對結果。
下載完整專利技術內容需要扣除積分，VIP會員可以免費下載。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于中國電子科技集團公司第五十四研究所，未經中國電子科技集團公司第五十四研究所許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201711224057.X/1.html，轉載請聲明來源鉆瓜專利網。
