Lines Matching defs:b0
28 else if (node = "b0") then X
32 Xnor (s "a0")(s "b0")
39 (Xnor (s "a0")(s "b0"))
57 else if (node = "b0") then X
59 else if (node = "i0") then Xnor (s "a0")(s "b0")
85 val b0 = (T, "b0", ``b0:bool``, 0, 1);
87 val out = (T, "out", ``xnor a0 b0 /\ xnor a1 b1``, 1, 2);
88 val A = TF [a0,a1,b0,b1] ;
104 Comp |= ("a0" is a0) and ("b0" is b0) and
106 ==>> ("out" is 1) when (xnor a0 b0 /\ xnor a1 b1)
108 A1 = ("a0" is a0) and ("b0" is b0) from 0 to 1
112 G1 = (a0=b0)
117 val A1 = TF [(T, "a0", ``a0:bool``, 0, 1), (T, "b0", ``b0:bool``, 0, 1)];
118 val G1 = ``xnor a0 b0``;
175 Comp |= ("a0" is a0) and ("b0" is b0) and
177 ==>> ("out" is 1) when ((a0=b0) /\ (a1=b1))