[發明專利]一種設計代碼中替換單元的驗證方法、裝置和設備

有效

• 申請號: 201710781029.1
• 申請日: 2017-09-01
• 公開（公告）號: CN107729229B
• 公開（公告）日: 2020-04-24
• 發明（設計）人: 史瑞瑞
• 申請（專利權）人: 北京東土軍悅科技有限公司;北京物芯科技有限責任公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京同達信恒知識產權代理有限公司 11291
• 代理人: 黃志華

1.一種設計代碼中替換單元的驗證方法，其特征在于，包括：

獲取設計代碼層級結構中的替換單元，并確定所述替換單元對應的自測試代碼，所述自測試代碼用于驗證所述替換單元；

如果確定出所述設計代碼層級結構中替換單元的數量不超過預設閾值，則確定所述設計代碼層級結構中包含所述替換單元的模塊名稱的上一層單元，并將從屬于所述上一層單元的所有層級中的單元、所述上一層單元和所述自測試代碼均執行編譯處理得到可執行文件；否則將所述設計代碼和所述自測試代碼執行編譯處理得到可執行文件；

利用所述可執行文件進行仿真驗證，并根據所述自測試代碼確定所述替換單元的驗證結果。

2.如權利要求1所述的方法，其特征在于，所述自測試代碼為利用宏定義的方式編寫得到的，以及所述自測試代碼包含指示組件、激勵信號生成組件、輸出信號采集組件和檢查組件；

所述指示組件用于指示切斷所述替換單元與所述替換單元的同一層單元之間的連接關系，并指示將所述激勵信號生成組件與所述替換單元的輸入端連接，指示將所述替換單元的輸出端與所述輸出信號采集組件連接，以及指示將所述檢查組件分別與所述激勵信號生成組件和所述輸出信號采集組件連接。

3.如權利要求2所述的方法，其特征在于，所述檢查組件用于對激勵信號生成組件生成的激勵信號和輸出信號采集組件從所述替換單元采集到的輸出結果進行比較；以及

根據所述自測試代碼確定所述替換單元的驗證結果，具體包括：

如果確定出所述采集到的輸出結果與所述激勵信號之間的關系符合所述替換單元的功能，則確定所述替換單元的驗證結果為驗證通過；如果確定出所述采集到的輸出結果與所述激勵信號之間的關系不符合所述替換單元的功能，則確定所述替換單元的驗證結果為驗證不通過。

4.如權利要求2所述的方法，其特征在于，所述自測試代碼還包括參考模型組件；以及

所述指示組件還用于指示將所述參考模型組件分別與所述激勵信號生成組件和所述檢查組件連接；以及

所述檢查組件用于對所述參考模型組件的輸出結果和輸出信號采集組件從所述替換單元采集到的輸出結果進行比較；以及

根據所述自測試代碼確定所述替換單元的驗證結果，具體包括：

如果確定出所述采集到的輸出結果與所述參考模型組件的輸出結果一致，則確定所述替換單元的驗證結果為驗證通過；如果確定出所述采集到的輸出結果與所述參考模型組件的輸出結果不一致，則確定所述替換單元的驗證結果為驗證不通過。

5.一種設計代碼中替換單元的驗證裝置，其特征在于，包括：

獲取模塊，用于獲取設計代碼層級結構中的替換單元，并確定所述替換單元對應的自測試代碼，所述自測試代碼用于驗證所述替換單元；

編譯處理模塊，用于如果確定出所述設計代碼層級結構中替換單元的數量不超過預設閾值，則確定所述設計代碼層級結構中包含所述替換單元的模塊名稱的上一層單元，并將從屬于所述上一層單元的所有層級中的單元、所述上一層單元和所述自測試代碼均執行編譯處理得到可執行文件；否則將所述設計代碼和所述自測試代碼執行編譯處理得到可執行文件；

確定模塊，用于利用所述可執行文件進行仿真驗證，并根據所述自測試代碼確定所述替換單元的驗證結果。

6.如權利要求5所述的裝置，其特征在于，所述自測試代碼為利用宏定義的方式編寫得到的，以及所述自測試代碼包含指示組件、激勵信號生成組件、輸出信號采集組件和檢查組件；

所述指示組件用于指示切斷所述替換單元與所述替換單元的同一層單元之間的連接關系，并指示將所述激勵信號生成組件與所述替換單元的輸入端連接，指示將所述替換單元的輸出端與所述輸出信號采集組件連接，以及指示將所述檢查組件分別與所述激勵信號生成組件和所述輸出信號采集組件連接。