[發明專利]SoC驗證方法、系統、裝置和計算機可讀介質

有效

• 申請號: 202011565408.5
• 申請日: 2020-12-25
• 公開（公告）號: CN112668262B
• 公開（公告）日: 2023-04-07
• 發明（設計）人: 金曉紅;楊瑤;張代生
• 申請（專利權）人: 瓴盛科技有限公司
• 主分類號: G06F30/33
• 分類號: G06F30/33;G06F115/02
• 代理公司: 上海專利商標事務所有限公司 31100
• 代理人: 駱希聰

本申請提供了一種SoC驗證方法、系統、裝置和計算機可讀介質。該方法包括獲取公用平臺文件；獲取保存在用戶本地的用戶平臺文件；接收用戶對用戶文件和/或用戶配置單元的修改；運行用戶控制腳本對系統級驗證平臺文件和SoC硬件代碼進行編譯并生成可執行文件，其中系統級驗證平臺文件包括公用平臺文件和用戶平臺文件；通過軟件激勵編譯環境對軟件激勵和結果檢測程序進行編譯并生成二進制文件；以及基于可執行文件和二進制文件對SoC進行仿真驗證并得到驗證報告。該方法能夠大幅度減少搭建系統級驗證平臺的時間和提高SoC驗證工作的效率。

技術領域

本申請主要涉及芯片驗證領域，尤其涉及一種SoC驗證方法、系統、裝置和計算機可讀介質。

背景技術

隨著半導體工藝的發展，半導體集成電路已發展為系統芯片(SoC)的形式，通常一個SoC的規模在幾百萬門至幾千萬門左右。SoC驗證是使用電子設計自動化(ElectronicDesign?Automation，EDA)工具對SoC進行仿真驗證，以確保SoC設計的正確性。

SoC驗證平臺由Verilog、VHDL、SystemVerilog等硬件描述語言或硬件驗證語言構建。SoC驗證平臺中的測試激勵包括軟件激勵和硬件激勵兩種類型的激勵，通過對SoC施加這些激勵進行仿真驗證。其中，軟件激勵由C語言等軟件語言編碼后經編譯器編譯生成二進制文件，存放在SoC?的存儲器中；硬件激勵由硬件描述語言或硬件驗證語言編碼。驗證平臺和?SoC硬件代碼經過仿真工具編譯后，生成可執行文件，然后運行可執行文件進行仿真。仿真開始后，CPU從存儲器中程序存儲器中讀取指令并執行，通過預先設置的判斷條件，可以檢測SoC是否能夠完成設計的功能，即?SoC是否通過驗證。

由于SoC的復雜度越來越高，驗證平臺也會變得更加復雜。驗證平臺越復雜，驗證平臺本身存在的問題也會越多。因此，如何能夠在較短時間內解決SoC驗證平臺自身的問題，完成一個正常運行的SoC驗證平臺的搭建，是本領域技術人員亟需解決的問題。

發明內容

本申請要解決的技術問題是提供一種SoC驗證方法、系統、裝置和計算機可讀介質，能夠大幅度減少搭建系統級驗證平臺的時間和提高SoC驗證工作的效率。

為解決上述技術問題，本申請提供了一種SoC驗證方法，包括：獲取公用平臺文件，所述公用平臺文件至少包括軟件激勵編譯環境和公用硬件激勵；獲取保存在用戶本地的用戶平臺文件，所述用戶平臺文件至少包括用戶文件、用戶配置單元、用戶軟件激勵和結果檢測程序；接收用戶對所述用戶文件和/或所述用戶配置單元的修改；運行用戶控制腳本對系統級驗證平臺文件和SoC硬件代碼進行編譯并生成可執行文件，其中所述系統級驗證平臺文件包括所述公用平臺文件和所述用戶平臺文件；通過所述軟件激勵編譯環境對軟件激勵和所述結果檢測程序進行編譯并生成二進制文件，其中所述軟件激勵至少包括所述用戶軟件激勵；以及基于所述可執行文件和所述二進制文件對SoC進行仿真驗證并得到驗證報告。

在本申請的一實施例中，所述公用平臺文件還包括公用配置單元；所述方法還包括：基于所述驗證報告判斷是否存在問題，若不存在問題則結束；若存在問題，當接收到用戶對所述軟件激勵編譯環境和/或所述軟件激勵的修改時，重新通過所述軟件激勵編譯環境對所述軟件激勵和所述結果檢測程序進行編譯并生成新的二進制文件；若存在問題，當接收到用戶對所述用戶文件、所述用戶配置單元和所述公用配置單元中的一項或多項的修改時，重新運行所述用戶控制腳本對所述系統級驗證平臺文件和所述SoC硬件代碼進行編譯并生成新的可執行文件；以及若存在問題，當接收到用戶對所述SoC硬件代碼的修改時，重新運行所述用戶控制腳本對所述系統級驗證平臺文件和所述SoC硬件代碼進行編譯并生成新的可執行文件。