多輸出實(shí)例的CNF生成方法、等價(jià)性驗(yàn)證方法、存儲介質(zhì)

基本信息

申請?zhí)?/td> CN202111517843.5 申請日 -
公開（公告）號 CN114398847A 公開（公告）日 2022-04-26
申請公布號 CN114398847A 申請公布日 2022-04-26
分類號 G06F30/33（2020.01）I 分類 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 熊繁華;劉美華;張巖;黃國勇;金玉豐;白耿 申請（專利權(quán)）人 國微集團(tuán)（深圳）有限公司
代理機(jī)構(gòu) 深圳市康弘知識產(chǎn)權(quán)代理有限公司 代理人 尹彥
地址 518000廣東省深圳市南山區(qū)粵海街道高新區(qū)社區(qū)沙河西路1801號國實(shí)大廈22A
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種多輸出實(shí)例的CNF生成方法、等價(jià)性驗(yàn)證方法、存儲介質(zhì)。其中多輸出實(shí)例的CNF生成方法，包括：遍歷時(shí)，在存儲結(jié)構(gòu)中查找當(dāng)前的端口net的輸入端口net對應(yīng)的CNF；如果沒找到，則計(jì)算當(dāng)前的端口net的引用次數(shù)，遍歷當(dāng)前的端口net連接的電路生成對應(yīng)的CNF，將該CNF以及引用次數(shù)綁定后存入所述存儲結(jié)構(gòu)；如果找到，則直接從所述存儲結(jié)構(gòu)中調(diào)用所述CNF，并將引用次數(shù)減1，并在引用次數(shù)為0時(shí)，從所述存儲結(jié)構(gòu)中刪除對應(yīng)的CNF及其關(guān)聯(lián)數(shù)據(jù)。本發(fā)明可以減少CNF的存儲內(nèi)存，并且縮短CNF的計(jì)算時(shí)間。