一种组合电路门级网表转化为AIGER格式文件的方法

摘要

本发明公开了一种组合电路门级网表转化为AIGER格式文件的方法，实施步骤包括读取组合电路门级网表，遍历初始输入引脚并生成AIGER格式的包含初始输入引脚信息的文件，在遍历过程中深度优先搜索与初始输入引脚相连的每个输入节点nodein，同时标记网表中每个节点的层级数；再将网表中所有节点转化为AIGER格式，同时生成包含节点之间逻辑关系信息的文件。整合上述两个文件，最终形成包含所有信息的完整AIGER格式文件。本发明能够将门级网表的标准单元用主合取范式的形式表示出来再进行AIGER格式的转化，具有转换方式快速简单、有效的优点，既充分保留了原有电路结构，又生成了可以被SAT求解器处理的文件。