買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網獲悉濟南新語軟件科技有限公司申請的專利一種芯片驗證測試用隨機激勵生成方法、系統和設備獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN119962476B 。

龍圖騰網通過國家知識產權局官網在2025-08-15發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202510442867.0，技術領域涉及：G06F30/398；該發明授權一種芯片驗證測試用隨機激勵生成方法、系統和設備是由易敏設計研發完成，并于2025-04-10向國家知識產權局提交的專利申請。

本一種芯片驗證測試用隨機激勵生成方法、系統和設備在說明書摘要公布了：本申請公開了一種芯片驗證測試用隨機激勵生成方法、系統和設備，涉及芯片驗證技術領域，所述方法包括：根據待測芯片驗證測試用例所需激勵的約束條件，確定激勵中所有變元的優先級；檢測所述約束條件中是否存在不等式約束，如果存在則將不等式約束等價替換成統一表示形式后執行后續步驟，否則直接執行后續步驟；基于變元的優先級，對所述約束條件中每一變元的所有相關約束求交集，將每一變元的所有相關約束轉換為一個范圍約束，由此生成優化后的約束條件；基于優化后的約束條件，按照變元的優先級從高到低逐次隨機，從而得到所述待測芯片驗證測試用例所需的隨機激勵。

本發明授權一種芯片驗證測試用隨機激勵生成方法、系統和設備在權利要求書中公布了：1.一種芯片驗證測試用隨機激勵生成方法，其特征在于，所述方法包括： 根據待測芯片驗證測試用例所需激勵的約束條件，確定激勵中所有變元的優先級；所述約束條件至少包括常量范圍約束、變量表達式范圍約束和不等式約束中的一種； 檢測所述約束條件中是否存在不等式約束，如果存在則將不等式約束等價替換成統一表示形式后執行后續步驟，否則直接執行后續步驟；所述不等式約束的統一表示形式為采用“=”和或“=”表示的形式； 基于變元的優先級，對所述約束條件中每一變元的所有相關約束求交集，將每一變元的所有相關約束轉換為一個范圍約束，由此生成優化后的約束條件； 基于優化后的約束條件，按照變元的優先級從高到低逐次隨機，從而得到所述待測芯片驗證測試用例所需的隨機激勵； 所述的基于變元的優先級，對所述約束條件中每一變元的所有相關約束求交集，將每一變元的所有相關約束轉換為一個范圍約束，由此生成優化后的約束條件，具體包括： 根據所述約束條件，化簡產生新的不等式約束，將產生的新的不等式約束代入所述約束條件的范圍約束中，得到第一次化簡結果； 根據所述第一次化簡結果，化簡產生新的不等式約束，將產生的新的不等式約束代入所述第一次化簡結果中，得到第二次化簡結果； 以此類推，直到無法化簡產生新的不等式約束，則化簡結束，將最后一次化簡結果即為優化后的約束條件； 其中，每一化簡過程中需滿足低優先級依賴高優先級。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人濟南新語軟件科技有限公司，其通訊地址為：250000 山東省濟南市中國(山東)自由貿易試驗區濟南片區新濼大街1166號奧盛大廈3號樓2534-53；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。