技術(shù)編號：40455194
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細信息。本發(fā)明涉及芯片驗證，尤其涉及一種測試激勵代碼的優(yōu)化方法、裝置、設(shè)備及介質(zhì)。背景技術(shù)、軟件仿真工具可以用來模擬電子系統(tǒng)和電路行為，對電路邏輯行為進行仿真，包括信號傳輸、邏輯運算和時序控制等，以驗證芯片電路的功能和時序約束是否正確。、隨著問題規(guī)模的擴大和復(fù)雜度的增加，基于sat(boolean?satisfiability，布爾可滿足性)求解引擎的約束求解器性能因搜索空間的膨脹而下降?，F(xiàn)有技術(shù)中，通過改進sat算法可以提升基于sat求解引擎的約束求解器的性能，雖然可以直接提升求解器的運算效率和處...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。