新火種
2023-12-06 
北京大學(xué)申請(qǐng)圖神經(jīng)網(wǎng)絡(luò)專利，高效判定組合邏輯電路邏輯等價(jià)性
來源：金融界網(wǎng)站
轉(zhuǎn)自：金融界
本文源自:金融界
金融界2023年12月4日消息，據(jù)國家知識(shí)產(chǎn)權(quán)局公告，北京大學(xué)申請(qǐng)一項(xiàng)名為“基于圖神經(jīng)網(wǎng)絡(luò)模型的組合邏輯電路等價(jià)性判定方法”，公開號(hào)CN117150920A，申請(qǐng)日期為2023年9月。
專利摘要顯示，本發(fā)明公布了一種基于圖神經(jīng)網(wǎng)絡(luò)模型的組合邏輯電路等價(jià)性判定方法，該方法設(shè)計(jì)問題實(shí)例的編碼方案，提取求解器中的關(guān)鍵可配置參數(shù)，并基于圖神經(jīng)網(wǎng)絡(luò)模型構(gòu)建求解器預(yù)測網(wǎng)絡(luò)，求解器預(yù)測網(wǎng)絡(luò)對(duì)電路的結(jié)構(gòu)和邏輯特征進(jìn)行自動(dòng)提取，為問題實(shí)例選取最優(yōu)的求解器。本發(fā)明基于圖神經(jīng)網(wǎng)絡(luò)構(gòu)建邏輯等價(jià)性驗(yàn)證工具，用戶在無需了解任何求解器實(shí)現(xiàn)細(xì)節(jié)的情況下，可以通過本發(fā)明提出的方法構(gòu)建多求解器組合，利用不同求解器的特性對(duì)不同組合邏輯電路的邏輯等價(jià)性進(jìn)行高效判定。
相關(guān)推薦
- 免責(zé)聲明
- 本文所包含的觀點(diǎn)僅代表作者個(gè)人看法，不代表新火種的觀點(diǎn)。在新火種上獲取的所有信息均不應(yīng)被視為投資建議。新火種對(duì)本文可能提及或鏈接的任何項(xiàng)目不表示認(rèn)可。 交易和投資涉及高風(fēng)險(xiǎn)，讀者在采取與本文內(nèi)容相關(guān)的任何行動(dòng)之前，請(qǐng)務(wù)必進(jìn)行充分的盡職調(diào)查。最終的決策應(yīng)該基于您自己的獨(dú)立判斷。新火種不對(duì)因依賴本文觀點(diǎn)而產(chǎn)生的任何金錢損失負(fù)任何責(zé)任。
