yosys/tests/aiger/halfadder.aig