Lines Matching refs:i2
30 i2-- | --- | ---------------------| |---o
70 i2---| | | ------- | -- |
157 "BAD_XOR(i1,i2,o) =
161 PTRAN(i2,i1,o) /\ NTRAN(i2,o,p3)");;
170 "GOOD_XOR(i1,i2,o) =
174 PTRAN(i2,i1,o) /\ NTRAN(i2,o,p3) /\
175 PTRAN(i1,i2,o) /\ NTRAN(p3,i2,o)");;
273 let prove_case xor_spec (i1,i2) =
274 CMOS_EXPAND(INST[i1,"i1:val";i2,"i2:val"](SPEC_ALL xor_spec));;