tests/aiger/toggle-re.aig - third_party/yosys - Git at Google


            
            aig 7 2 1 2 4

            
            14

            
            6

            
            7

            
            i0 enable

            
            i1 reset

            
            o0 Q

            
            o1 !Q