[發明專利]一種基于FPGA原型驗證的等價性驗證方法及系統在審
| 申請號： | 202211544087.X | 申請日： | 2022-11-30 |
| 公開（公告）號： | CN116029237A | 公開（公告）日： | 2023-04-28 |
| 發明（設計）人： | 劉美華;蘇宇;白耿 | 申請（專利權）人： | 深圳國微芯科技有限公司 |
| 主分類號： | G06F30/331 | 分類號： | G06F30/331;G06F115/06 |
| 代理公司： | 深圳市康弘知識產權代理有限公司 44247 | 代理人： | 陳賢榮 |
| 地址： | 518000 廣東省深圳市前海深港合作區前*** | 國省代碼： | 廣東;44 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 基于 fpga 原型 驗證 等價 方法 系統 | ||
1.一種基于FPGA原型驗證的等價性驗證方法，其特征在于，包括：
步驟S1:接收RTL、門級網表和FPGA網表對應的電路模型CRTL、CGATE、CFPGA，每個電路模型中都有N個相應的比較點，N為自然數；
步驟S2:建立搜索電路，同時對電路模型CRTL、CGATE、CFPGA的比較點進行匹配，并根據匹配的比較點將分別電路模型CRTL、CGATE、CFPGA劃分為多個相應的邏輯錐；
步驟S3:同時對電路模型CRTL、CGATE、CFPGA中相應的邏輯錐進行等價性驗證。
2.如權利要求1所述的基于FPGA原型驗證的等價性驗證方法，其特征在于，步驟S2中，建立搜索電路，包括：
將CRTL的下一個狀態用RPO1到RPOn表示，下一個狀態依賴于基本輸入PI1到Pip和偽主輸入RPI1到RPIn；CGATE的下一個狀態用IPO1到IPOn表示，下一個狀態依賴于基本輸入PI1到Pip和偽主輸入IPI1到IPIn；CFPGA的下一個狀態用HPO1到HPOn表示，下一個狀態依賴于基本輸入PI1到Pip和偽主輸入HPI1到HPIn。
3.如權利要求2所述的基于FPGA原型驗證的等價性驗證方法，其特征在于，步驟S2中，同時對電路模型CRTL、CGATE、CFPGA的比較點進行匹配，包括：
搜索測試向量，使
判斷n是否小于2，如果n大于2，則令并繼續搜索測試向量，如果n小于2:結束搜索，并形成比較點匹配對。
4.如權利要求3所述的基于FPGA原型驗證的等價性驗證方法，其特征在于，使用隨機法或者ATPG方法來搜索測試向量。
5.如權利要求1所述的基于FPGA原型驗證的等價性驗證方法，其特征在于，步驟S2中，將電路模型CRTL、CGATE、CFPGA劃分為一個個邏輯錐后，采用鏈表的形式對每個電路模型的邏輯錐進行存儲。
6.如權利要求1所述的基于FPGA原型驗證的等價性驗證方法，其特征在于，步驟S3中，同時對電路模型CRTL、CGATE、CFPGA中相應的邏輯進行等價性驗證，包括：
分別將電路模型CRTL、CGATE、CFPGA中三個相應的邏輯錐的輸出兩兩進行異或運算后的結果再進行或運算，輸出為PO；
搜索測試向量，如果存在測試向量，使得PO＝1，則三個相應的邏輯錐不等價，否則三個相應的邏輯錐等價；
如果電路模型CRTL、CGATE、CFPGA中所有相應的邏輯錐都等價，則RTL、門極網表與FPGA網表等價，否則不等價。
7.如權利要求6所述的基于FPGA原型驗證的等價性驗證方法，其特征在于，使用隨機法或者ATPG方法來搜索測試向量。
8.一種基于FPGA原型驗證的等價性驗證系統，其特征在于，對FPGA進行原型驗證時，采用如權利要求1-7任一項所述的基于FPGA原型驗證的等價性驗證方法。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于深圳國微芯科技有限公司，未經深圳國微芯科技有限公司許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/202211544087.X/1.html，轉載請聲明來源鉆瓜專利網。
