江蘇華創微系統申請數字IC驗證環境多線程運行自動化專利，充分利用服務器集羣資源減少卡死概率

金融界2024年12月21日消息，國家知識產權局信息顯示，江蘇華創微系統有限公司申請一項名爲“一種數字IC驗證環境多線程運行自動化的方法”的專利，公開號 CN 119150784 A，申請日期爲2024年9月。

專利摘要顯示，本發明公開了一種數字IC驗證環境多線程運行自動化的方法，包括步驟：S1、搭建驗證平臺的目錄結構，包括工程目錄、設計目錄和仿真目錄；S2、依據可配置參數說明文件建立仿真環境；S3、驗證人員輸入指令，進行雙重預處理；S4、運行批處理腳本讀取可配置參數說明文件，完成多個測試用例的運行；S5、進行異常檢測，結束驗證。本發明用bsub命令將驗證平臺提交到服務器集羣上，充分利用服務器集羣的資源，減少卡死的概率；還優化目錄結構並利用batch.cfg文件指示測試用例同時開啓進程的數量，使測試流程和數據更清晰，便於分析統計；還用雙重預處理定時更新代碼，保證設計和驗證時的代碼版本一致，使驗證能夠順利進行。

本文源自：金融界

作者：情報員