[发明专利]一种组合电路门级网表转化为AIGER格式文件的方法

摘要

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

主权项

1.一种组合电路门级网表转化为AIGER格式文件的方法，其特征在于实施步骤包括：1）读取待转化的组合电路门级网表；2）遍历组合电路门级网表中的初始输入引脚并生成AIGER格式的用于存储初始输入引脚信息的文件input.aag，并将所有输入节点nodein的编号插入预设的队列tQ中；3）建立并打开AIGER格式的文件and.aag，该文件用于存储电路中节点之间的逻辑关系；获取队列tQ头元素并使其出队，同时将其插入预设的队列Q中，出队的元素是某个输入节点nodein的编号，将该元素对应的当前输入节点nodein转化为AIGER格式并存储到文件and.aag中；遍历当前输入节点nodein的子节点nodein_c，并将表示nodein输出引脚的变量值赋给表示当前子节点nodein_c输入引脚的变量；4）获取队列Q头元素并使其出队，出队的元素是网表中某节点node的编号；遍历该节点node的子节点，如果当前子节点node_c的层级数大于节点node的层级数加1或者该子节点已经转化为AIGER格式，则继续寻找node的下一个子节点；否则将当前子节点node_c转化为AIGER格式并存储到文件and.aag中，将当前子节点node_c的编号插入队列Q；接着遍历node_c的子节点node_c_c，并将表示node_c输出引脚的变量值赋给表示当前子节点node_c_c输入引脚的变量；关闭文件and.aag；5）将文件input.aag、文件and.aag中的内容进行整合，最终形成包含组合电路门级网表所有信息的完整AIGER文件。