Merge pull request #1573 from YosysHQ/eddie/xilinx_tristate
[yosys.git] / tests / aiger / halfadder.aag
1 aag 7 2 0 2 3
2 2
3 4
4 6
5 12
6 6 13 15
7 12 2 4
8 14 3 5
9 i0 x
10 i1 y
11 o0 s
12 o1 c
13 c
14 half adder