買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監(jiān)控用IP管家,真方便！

龍圖騰網(wǎng)恭喜中國人民解放軍國防科技大學申請的專利一種數(shù)字電路模式挖掘方法及系統(tǒng)獲國家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國家知識產(chǎn)權(quán)局授予，授權(quán)公告號為：CN119598922B 。

龍圖騰網(wǎng)通過國家知識產(chǎn)權(quán)局官網(wǎng)在2025-05-23發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請?zhí)?專利號為：202510142385.3，技術(shù)領(lǐng)域涉及：G06F30/33；該發(fā)明授權(quán)一種數(shù)字電路模式挖掘方法及系統(tǒng)是由黃鵬程;何明校;趙振宇;陳海燕;游卉擎;梁斌;何小威;王永文;周宏偉;宋睿強設(shè)計研發(fā)完成，并于2025-02-10向國家知識產(chǎn)權(quán)局提交的專利申請。

本一種數(shù)字電路模式挖掘方法及系統(tǒng)在說明書摘要公布了：本發(fā)明公開了一種數(shù)字電路模式挖掘方法及系統(tǒng)，方法包括：S1、提取網(wǎng)表中的邏輯門單元信息，構(gòu)建有向無環(huán)圖；S2、遍歷有向無環(huán)圖的所有節(jié)點，使用預(yù)設(shè)的模式代碼記錄節(jié)點對應(yīng)的模式及其數(shù)量；S3、合并所有同構(gòu)模式，再按照模式數(shù)量降序排列；S4、依次遍歷排序好的同構(gòu)模式代碼，同時遍歷節(jié)點，標記節(jié)點歸屬的模式，更新模式的邏輯功能函數(shù)，剔除模式節(jié)點覆蓋率低于預(yù)先設(shè)置閾值的模式；S5、將模式代碼中模式對應(yīng)的邏輯函數(shù)與已知的單元邏輯功能函數(shù)列表一一對比，檢查邏輯功能函數(shù)是否等價，并記錄新模式的邏輯功能函數(shù)及其模式代碼；S6、根據(jù)模式的輸出數(shù)量由小到大依次輸出新的模式及其數(shù)量。本發(fā)明具有挖掘效率高等優(yōu)點。

本發(fā)明授權(quán)一種數(shù)字電路模式挖掘方法及系統(tǒng)在權(quán)利要求書中公布了：1.一種數(shù)字電路模式挖掘方法，其特征在于，包括步驟：S1、提取網(wǎng)表中的邏輯門單元信息，構(gòu)建有向無環(huán)圖；S2、遍歷有向無環(huán)圖的所有節(jié)點，使用預(yù)設(shè)的模式代碼記錄節(jié)點對應(yīng)的模式及其數(shù)量；S3、根據(jù)模式代碼中記錄的連接關(guān)系信息進行循環(huán)比較，判斷模式代碼是否同構(gòu)，并合并所有同構(gòu)模式，再按照每個模式代碼包含的模式數(shù)量降序排列同構(gòu)模式代碼；S4、依次遍歷排序好的同構(gòu)模式代碼，同時遍歷節(jié)點，標記節(jié)點歸屬的模式，并重新記錄模式代碼及其所對應(yīng)的數(shù)量，更新模式的邏輯功能函數(shù)，最后對得到的結(jié)果進行篩選，剔除模式節(jié)點覆蓋率低于預(yù)先設(shè)置閾值的模式；S5、將模式代碼中模式對應(yīng)的邏輯函數(shù)與已知的單元邏輯功能函數(shù)列表一一對比，采用邏輯范式分解提前發(fā)現(xiàn)不在邏輯功能列表中的邏輯表達式，使用等價性檢查函數(shù)檢查邏輯功能函數(shù)是否等價，并記錄新模式的邏輯功能函數(shù)及其模式代碼；S6、根據(jù)模式的輸出數(shù)量由小到大依次輸出新的模式及其數(shù)量；步驟S2的具體過程為：遍歷所有節(jié)點，將每個節(jié)點及與其輸入引腳相連的所有節(jié)點視作為一個模式，用預(yù)設(shè)的模式代碼記錄，同時記錄每種模式代碼對應(yīng)模式的數(shù)量；其中預(yù)設(shè)的模式代碼中記錄根節(jié)點、根節(jié)點所有輸入引腳、與根節(jié)點輸入引腳相連的所有子節(jié)點信息；步驟S2中的預(yù)設(shè)的模式代碼為字符串，其結(jié)構(gòu)為：ROOT_NODE:PIN1[SUB_NODE],PIN2[SUB_NODE1,SUB_NODE2]；其中ROOT_NODE為根節(jié)點；PIN為根節(jié)點所有輸入引腳；SUB_NODE為各個引腳連接的上游節(jié)點信息；步驟S4的具體過程為：S401、依次將降序排列同構(gòu)模式代碼作為搜尋目標模式代碼，遍歷所有節(jié)點，檢查節(jié)點的stopType屬性；如果為True，則直接跳過該節(jié)點；如果這個節(jié)點被提前設(shè)置跳過或者已經(jīng)被前序模式標記占用過，節(jié)點屬性stopType會被設(shè)置為True，即不考慮這個節(jié)點并跳過；S402、以當前節(jié)點為根，吸納與其輸入引腳相連的節(jié)點并創(chuàng)建為一個模式，生成模式代碼，使用同構(gòu)性檢查函數(shù)檢查該模式代碼與目標模式代碼，如果該模式代碼與當前搜尋的模式代碼相同或者同構(gòu)，則進入下一步，如果不同構(gòu)，則跳過當前節(jié)點繼續(xù)；S403、根據(jù)排序順序依次標記每種模式所覆蓋的節(jié)點屬性pattern，pattern不為空的節(jié)點將不會被其他模式重復(fù)標記；即當兩個模式覆蓋節(jié)點重疊時，排序在后面的模式代碼對應(yīng)的模式會被舍棄；S404、如果尋找到同構(gòu)的模式組合，會同時使用模式更新函數(shù)updatePin和setFunction對該模式的引腳以及邏輯功能函數(shù)進行更新，得到整個模式完整的化簡后的邏輯表達式。

如需購買、轉(zhuǎn)讓、實施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請人或?qū)＠麢?quán)人中國人民解放軍國防科技大學，其通訊地址為：410073 湖南省長沙市開福區(qū)德雅路109號；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。