多输出实例的CNF生成方法、等价性验证方法、存储介质
基本信息
| 申请号 | CN202111517843.5 | 申请日 | - |
| 公开（公告）号 | CN114398847A | 公开（公告）日 | 2022-04-26 |
| 申请公布号 | CN114398847A | 申请公布日 | 2022-04-26 |
| 分类号 | G06F30/33（2020.01）I | 分类 | 计算；推算；计数; |
| 发明人 | 熊繁华;刘美华;张岩;黄国勇;金玉丰;白耿 | 申请（专利权）人 | 国微集团（深圳）有限公司 |
| 代理机构 | 深圳市康弘知识产权代理有限公司 | 代理人 | 尹彦 |
| 地址 | 518000广东省深圳市南山区粤海街道高新区社区沙河西路1801号国实大厦22A | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明公开了一种多输出实例的CNF生成方法、等价性验证方法、存储介质。其中多输出实例的CNF生成方法，包括：遍历时，在存储结构中查找当前的端口net的输入端口net对应的CNF；如果没找到，则计算当前的端口net的引用次数，遍历当前的端口net连接的电路生成对应的CNF，将该CNF以及引用次数绑定后存入所述存储结构；如果找到，则直接从所述存储结构中调用所述CNF，并将引用次数减1，并在引用次数为0时，从所述存储结构中删除对应的CNF及其关联数据。本发明可以减少CNF的存储内存，并且缩短CNF的计算时间。 |
