yosys/tests/aiger/inverter.aig

5 lines
30 B
Plaintext

aig 1 1 0 1 0
3
i0 pi0
o0 po0