一种用于等价性验证的CNF生成方法及系统

摘要

本发明公开了一种用于等价性验证的CNF生成方法及系统，所述方法包括：接收参考电路和与参考电路相应的实现电路，将所述参考电路和所述实现电路相对应的两个比较点分别对应的逻辑锥的输出加异或门进行合并，对合并后的逻辑锥的每个节点进行编号；将合并后的逻辑锥的锥底编号与CNF公式进行绑定，从锥底开始迭代，构建合并后的逻辑锥的CNF表达式；将得到的CNF表达式导入miniSat求解器中进行验证，如果验证结果是不满足,则表示所述参考电路和所述实现电路相对应的两个比较点分别对应的逻辑锥是等价的，如果验证结果是满足，则表示不等价。采用本发明的技术方案，可直接用于等价性验证。