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

基本信息

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

摘要

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