买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜中国人民解放军国防科技大学申请的专利一种数字电路模式挖掘方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119598922B 。

龙图腾网通过国家知识产权局官网在2025-05-23发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510142385.3，技术领域涉及：G06F30/33；该发明授权一种数字电路模式挖掘方法及系统是由黄鹏程;何明校;赵振宇;陈海燕;游卉擎;梁斌;何小威;王永文;周宏伟;宋睿强设计研发完成，并于2025-02-10向国家知识产权局提交的专利申请。

本一种数字电路模式挖掘方法及系统在说明书摘要公布了：本发明公开了一种数字电路模式挖掘方法及系统，方法包括：S1、提取网表中的逻辑门单元信息，构建有向无环图；S2、遍历有向无环图的所有节点，使用预设的模式代码记录节点对应的模式及其数量；S3、合并所有同构模式，再按照模式数量降序排列；S4、依次遍历排序好的同构模式代码，同时遍历节点，标记节点归属的模式，更新模式的逻辑功能函数，剔除模式节点覆盖率低于预先设置阈值的模式；S5、将模式代码中模式对应的逻辑函数与已知的单元逻辑功能函数列表一一对比，检查逻辑功能函数是否等价，并记录新模式的逻辑功能函数及其模式代码；S6、根据模式的输出数量由小到大依次输出新的模式及其数量。本发明具有挖掘效率高等优点。

本发明授权一种数字电路模式挖掘方法及系统在权利要求书中公布了：1.一种数字电路模式挖掘方法，其特征在于，包括步骤：S1、提取网表中的逻辑门单元信息，构建有向无环图；S2、遍历有向无环图的所有节点，使用预设的模式代码记录节点对应的模式及其数量；S3、根据模式代码中记录的连接关系信息进行循环比较，判断模式代码是否同构，并合并所有同构模式，再按照每个模式代码包含的模式数量降序排列同构模式代码；S4、依次遍历排序好的同构模式代码，同时遍历节点，标记节点归属的模式，并重新记录模式代码及其所对应的数量，更新模式的逻辑功能函数，最后对得到的结果进行筛选，剔除模式节点覆盖率低于预先设置阈值的模式；S5、将模式代码中模式对应的逻辑函数与已知的单元逻辑功能函数列表一一对比，采用逻辑范式分解提前发现不在逻辑功能列表中的逻辑表达式，使用等价性检查函数检查逻辑功能函数是否等价，并记录新模式的逻辑功能函数及其模式代码；S6、根据模式的输出数量由小到大依次输出新的模式及其数量；步骤S2的具体过程为：遍历所有节点，将每个节点及与其输入引脚相连的所有节点视作为一个模式，用预设的模式代码记录，同时记录每种模式代码对应模式的数量；其中预设的模式代码中记录根节点、根节点所有输入引脚、与根节点输入引脚相连的所有子节点信息；步骤S2中的预设的模式代码为字符串，其结构为：ROOT_NODE:PIN1[SUB_NODE],PIN2[SUB_NODE1,SUB_NODE2]；其中ROOT_NODE为根节点；PIN为根节点所有输入引脚；SUB_NODE为各个引脚连接的上游节点信息；步骤S4的具体过程为：S401、依次将降序排列同构模式代码作为搜寻目标模式代码，遍历所有节点，检查节点的stopType属性；如果为True，则直接跳过该节点；如果这个节点被提前设置跳过或者已经被前序模式标记占用过，节点属性stopType会被设置为True，即不考虑这个节点并跳过；S402、以当前节点为根，吸纳与其输入引脚相连的节点并创建为一个模式，生成模式代码，使用同构性检查函数检查该模式代码与目标模式代码，如果该模式代码与当前搜寻的模式代码相同或者同构，则进入下一步，如果不同构，则跳过当前节点继续；S403、根据排序顺序依次标记每种模式所覆盖的节点属性pattern，pattern不为空的节点将不会被其他模式重复标记；即当两个模式覆盖节点重叠时，排序在后面的模式代码对应的模式会被舍弃；S404、如果寻找到同构的模式组合，会同时使用模式更新函数updatePin和setFunction对该模式的引脚以及逻辑功能函数进行更新，得到整个模式完整的化简后的逻辑表达式。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军国防科技大学，其通讯地址为：410073 湖南省长沙市开福区德雅路109号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。