[发明专利]一种用于等价性验证的CNF生成方法及系统在审
| 申请号： | 202011091880.X | 申请日： | 2020-10-13 |
| 公开（公告）号： | CN112257366A | 公开（公告）日： | 2021-01-22 |
| 发明（设计）人： | 刘美华;陈巨光;张岩;金玉丰;黄国勇 | 申请（专利权）人： | 国微集团（深圳）有限公司 |
| 主分类号： | G06F30/3323 | 分类号： | G06F30/3323 |
| 代理公司： | 深圳市康弘知识产权代理有限公司 44247 | 代理人： | 尹彦 |
| 地址： | 518000 广东省深圳市南山区粤*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种用于等价性验证的CNF生成方法及系统，所述方法包括：接收参考电路和与参考电路相应的实现电路，将所述参考电路和所述实现电路相对应的两个比较点分别对应的逻辑锥的输出加异或门进行合并，对合并后的逻辑锥的每个节点进行编号；将合并后的逻辑锥的锥底编号与CNF公式进行绑定，从锥底开始迭代，构建合并后的逻辑锥的CNF表达式；将得到的CNF表达式导入miniSat求解器中进行验证，如果验证结果是不满足,则表示所述参考电路和所述实现电路相对应的两个比较点分别对应的逻辑锥是等价的，如果验证结果是满足，则表示不等价。采用本发明的技术方案，可直接用于等价性验证。 | ||
| 搜索关键词： | 一种 用于 等价 验证 cnf 生成 方法 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于国微集团（深圳）有限公司，未经国微集团（深圳）有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011091880.X/，转载请声明来源钻瓜专利网。
- 上一篇：身份属性添加方法、装置和电子设备
- 下一篇：一种高纯度水滑石及其制备方法
