projects / yosys.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'clifford/dffsrfix' of https://github.com/YosysHQ/yosys into xaig
[yosys.git] / tests / aiger / halfadder.aig
1 aig 5 2 0 2 3
2 10
3 6
4 \ 2\ 2\ 3\ 2\ 1\ 2i0 x
5 i1 y
6 o0 s
7 o1 c
8 c
9 half adder