搜索资源列表
zchaff.2004.11.15
- ZChaff SAT solver是一个验证电路节点蕴涵关系的工具,它需要将电路描述转换成合取范式格式(Conjunctive Normal Form,CNF)。-ZChaff SAT solver is a test circuit nodes contain relationship tool, it needs to transform circuit descr iption into Conjunctive Normal Form format (Conjunctive Normal