技術(shù)編號(hào)：41954646
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒(méi)有賬戶請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁(yè)查看技術(shù)詳細(xì)信息。本公開(kāi)的實(shí)施例主要涉及芯片設(shè)計(jì)工具領(lǐng)域。更具體地，本公開(kāi)的實(shí)施例涉及用于芯片邏輯驗(yàn)證的方法、裝置、設(shè)備、計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)以及計(jì)算機(jī)程序產(chǎn)品。背景技術(shù)、電子設(shè)計(jì)自動(dòng)化(electronic?design?automation，eda)軟件被廣泛應(yīng)用于芯片的功能設(shè)計(jì)、綜合、驗(yàn)證、仿真等過(guò)程。利用eda軟件，可以高效地執(zhí)行對(duì)芯片設(shè)計(jì)的邏輯驗(yàn)證。eda工具鏈中的一種是邏輯等價(jià)性驗(yàn)證(logic?equivalence?checking，lec)工具，其也稱為組合等價(jià)性驗(yàn)證(combinatorial...
注意：該技術(shù)已申請(qǐng)專利，請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識(shí)儲(chǔ)備，不適合論文引用。
請(qǐng)注意，此類(lèi)技術(shù)沒(méi)有源代碼，用于學(xué)習(xí)研究技術(shù)思路。