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 讯享网
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/17126.html