首页> 中国专利> 多输出实例的CNF生成方法、等价性验证方法、存储介质

多输出实例的CNF生成方法、等价性验证方法、存储介质

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开了一种多输出实例的CNF生成方法、等价性验证方法、存储介质。其中多输出实例的CNF生成方法，包括：遍历时，在存储结构中查找当前的端口net的输入端口net对应的CNF；如果没找到，则计算当前的端口net的引用次数，遍历当前的端口net连接的电路生成对应的CNF，将该CNF以及引用次数绑定后存入所述存储结构；如果找到，则直接从所述存储结构中调用所述CNF，并将引用次数减1，并在引用次数为0时，从所述存储结构中删除对应的CNF及其关联数据。本发明可以减少CNF的存储内存，并且缩短CNF的计算时间。

著录项

公开/公告号CN114398847A

专利类型发明专利
公开/公告日2022-04-26

原文格式PDF
申请/专利权人国微集团(深圳)有限公司;
展开▼

申请/专利号CN202111517843.5
发明设计人熊繁华;刘美华;张岩;黄国勇;金玉丰;白耿;
展开▼

申请日2021-12-13
分类号G06F30/33;
代理机构深圳市康弘知识产权代理有限公司;
代理人尹彦
地址 518000 广东省深圳市南山区粤海街道高新区社区沙河西路1801号国实大厦22A
入库时间 2023-06-19 15:03:56

法律信息

法律状态公告日

法律状态信息

法律状态
2022-04-26

公开

发明专利申请公布

相似文献

专利
中文文献
外文文献

1. 一种用于等价性验证的CNF生成方法及系统 [P] . 中国专利： CN112257366A . 2021-01-22
2. 一种布尔可满足性验证方法、系统、CNF生成方法及存储装置 [P] . 中国专利： CN113919256A . 2022-01-11
3. 一种训练样本有效性检测方法、计算机设备及计算机非易失性存储介质 [P] . 世界知识产权组织专利： WO2020/143301A1 . 2020.07.16
4. 一种输出功率的调节方法、设备、系统及存储介质 [P] . 世界知识产权组织专利： WO2020/142891A1 . 2020.07.16
5. 下行数据发送方法、接收方法、装置和存储介质 [P] . 世界知识产权组织专利： WO2020/142911A1 . 2020.07.16