一种布尔可满足性验证方法、系统、CNF生成方法及存储装置

摘要

本发明提供了一种布尔可满足性验证方法、系统、验证过程中的CNF生成方法及存储装置，所述布尔可满足性验证中的CNF生成方法包括：在将miter电路的每个节点转换为CNF的过程中，释放后续节点无需调用的CNF的占用内存。采用本发明的技术方案，可降低布尔可满足性验证中的内存占用。