[發明專利]軟硬件聯合驗證系統及方法

有效

• 申請號: 202011573586.2
• 申請日: 2020-12-25
• 公開（公告）號: CN112632885B
• 公開（公告）日: 2023-01-03
• 發明（設計）人: 郭理源;黃炯凱;蔡權雄;牛昕宇
• 申請（專利權）人: 山東產研鯤云人工智能研究院有限公司
• 主分類號: G06F30/33
• 分類號: G06F30/33;G06F117/08
• 代理公司: 深圳市世紀恒程知識產權代理事務所 44287
• 代理人: 謝閱

1.一種軟硬件聯合驗證系統，其特征在于，所述軟硬件聯合驗證系統包括：驅動軟件、基于systemc模擬的存儲器以及基于systemc模擬的異構集群，所述驅動軟件嵌入在所述存儲器與異構集群對應的systemc框架中；

所述驅動軟件，用于根據預設驗證需求向所述異構集群發送驅動指令；

所述存儲器，用于加載待驗證數據，并對所述待驗證數據進行保存；

所述異構集群，用于根據所述驅動指令從所述存儲器中提取所述待驗證數據，根據所述待驗證數據計算得到輸出數據，將所述輸出數據發送至所述驅動軟件；

所述驅動軟件，用于根據所述輸出數據進行軟硬件的聯合驗證；

其中，所述異構集群包括引擎單元，所述引擎單元包括直接存儲器訪問以及引擎核心；

所述直接存儲器訪問，用于根據所述驅動指令從所述存儲器中提取待驗證數據，將所述待驗證數據發送至所述引擎核心；

所述引擎核心，用于根據所述待驗證數據計算得到輸出數據，將所述輸出數據發送至所述直接存儲器訪問；

所述直接存儲器訪問，用于將所述輸出數據發送至所述驅動軟件。

2.如權利要求1所述的軟硬件聯合驗證系統，其特征在于，所述驅動軟件、所述存儲器以及所述異構集群通過套接口與事務級總線進行通信。

3.如權利要求1所述的軟硬件聯合驗證系統，其特征在于，所述引擎單元還包括處理器；

所述直接存儲器訪問，還用于根據所述驅動指令確定處理器指令，將所述處理器指令發送至所述處理器；

所述處理器，用于接收所述處理器指令，根據所述處理器指令啟動所述引擎核心。

4.如權利要求3所述的軟硬件聯合驗證系統，其特征在于，所述引擎單元還包括狀態寄存器；

所述處理器，還用于在接收到所述處理器指令時，向所述狀態寄存器發送配置信號；

所述狀態寄存器，用于根據所述配置信號接收來自所述驅動軟件的配置參數，根據所述配置參數進行調整，得到引擎靜態參數；

所述引擎核心，還用于根據所述待驗證數據以及所述引擎靜態參數計算得到輸出數據，將所述輸出數據發送至所述直接存儲器訪問。

5.如權利要求1所述的軟硬件聯合驗證系統，其特征在于，所述引擎單元為N個，N≥1。

6.如權利要求1至5中任一項所述的軟硬件聯合驗證系統，其特征在于，所述待驗證數據包括預設神經網絡模型的相關系數、偏置項以及輸入數據中至少一項。

7.如權利要求6所述的軟硬件聯合驗證系統，其特征在于，所述待驗證數據還包括所述預設神經網絡模型中位于直連層的數據。

8.如權利要求1至5中任一項所述的軟硬件聯合驗證系統，其特征在于，所述異構集群，還用于將所述輸出數據發送至所述存儲器，以使所述存儲器對所述輸出數據進行保存。

9.一種軟硬件聯合驗證方法，其特征在于，所述軟硬件聯合驗證方法應用于如權利要求1至8中任一項所述的軟硬件聯合驗證系統，所述軟硬件聯合驗證系統包括：驅動軟件、基于systemc模擬的存儲器以及基于systemc模擬的異構集群，所述驅動軟件嵌入在所述存儲器與異構集群對應的systemc框架中；

所述軟硬件聯合驗證方法，包括：

所述驅動軟件根據預設驗證需求向所述異構集群發送驅動指令；

所述存儲器加載待驗證數據，并對所述待驗證數據進行保存；

所述異構集群根據所述驅動指令從所述存儲器中提取所述待驗證數據，根據所述待驗證數據計算得到輸出數據，將所述輸出數據發送至所述驅動軟件；

所述驅動軟件根據所述輸出數據進行軟硬件的聯合驗證；

其中，所述異構集群包括引擎單元，所述引擎單元包括直接存儲器訪問以及引擎核心；

所述異構集群根據所述驅動指令從所述存儲器中提取所述待驗證數據，根據所述待驗證數據計算得到輸出數據，將所述輸出數據發送至所述驅動軟件，包括：

所述直接存儲器訪問根據所述驅動指令從所述存儲器中提取待驗證數據，將所述待驗證數據發送至所述引擎核心；

所述引擎核心根據所述待驗證數據計算得到輸出數據，將所述輸出數據發送至所述直接存儲器訪問；

所述直接存儲器訪問將所述輸出數據發送至所述驅動軟件。