tests/aiger/halfadder.aig - third_party/yosys - Git at Google


            
            aig 5 2 0 2 3

            
            10

            
            6

            
            i0 x

            
            i1 y

            
            o0 s

            
            o1 c

            
            c

            
            half adder