AIGER format

• And-Inverter Graphsのための記述フォーマット
  • テキスト形式とバイナリ形式がある.
• AIGERライブラリを使って読み書きするのが簡単

フォーマット

ヘッダ

aag M I L O A
(テキスト形式)

aig M I L O A
(バイナリ形式)

半角空白1つ区切り
M: 最大の変数インデックス
I: 入力数
L: ラッチ(値を保持できる素子?=レジスタ?)数
O: 出力数
A: ANDゲートの数
もし, 全ての変数とANDゲート使うなら
$M=I+L+A$
になる

例

aag 0 0 0 0 0

入力も出力もない例

aag 0 0 0 1 0
1

line1: 出力がただ一つあることを意味

aag 1 1 0 1 0
2
2

line1: 変数1つ, 入力1つ
TODO

参考

AIGER
fmv.jku.at/aiger/FORMAT.aiger
aiger.dvi