AIGER是AIG()And-Inverter Graphs)的文件格式的代称,是瑞士境内阿尔卑斯山的一座山峰。AIGER格式CAV2007模型检测竞赛提供了一种简洁明了的文件格式。AIGER文件格式含有ASCII格式和二进制格式两个版本。当一个应用没有使用AIGER库时,可以生成ASCII格式的AIG文件。二进制格式更加简洁,格式更严谨,是基准测试和竞赛所采取的格式。
ASCII格式的AIG文件第一行由字符串aag 开始,aag是ASCII AIG的缩写;然后是以空格分隔5个非负整数,分别由M, I, L, O, A 表示。
其中
M = 最大变量下标 maximum variable index
I = 输入个数 number of inputs
L = 锁存器个数 number of latches
O = 输出个数 number of outputs
A = 与门个数 number of AND gates
example:
aag 3 2 0 1 1
2 input 0
4 input 1
6 output 0
6 2 4 AND gate 0 1&2