Lines Matching refs:ctrl
21 else if (node = "ctrl") then X
26 (And (s "a0")(s "ctrl"))
27 (And (s "b0")(Not(s "ctrl")))
32 (And (s "a1")(s "ctrl"))
33 (And (s "b1")(Not(s "ctrl")))
40 if (s_b "ctrl") then
44 if (s_b "ctrl") then
116 THEN FIRST_ASSUM(STRIP_ASSUME_TAC o SPEC ``"ctrl"``)
120 THEN Cases_on `s "ctrl"` THEN Cases_on `s' "ctrl"`
125 THEN FIRST_ASSUM(STRIP_ASSUME_TAC o SPEC ``"ctrl"``)
129 THEN Cases_on `s "ctrl"` THEN Cases_on `s' "ctrl"`
145 val ctrl = (T, "ctrl", T, 0, 1);
150 val A = TF [ctrl, a0, a1, b0, b1];
169 val ctrl = (T, "ctrl", T, 0, 1);
172 val A = TF [ctrl,a0,a1,b0,b1];
192 val ctrl = (T, "ctrl", ``ctrl:bool``, 0, 1);
194 val out0 = (T, "out0", ``(va0 /\ ctrl) \/ (vb0 /\ (~ctrl))``, 1, 2);
195 val out1 = (T, "out1", ``(va1 /\ ctrl) \/ (vb1 /\ (~ctrl))``, 1, 2);
196 val A = TF [ctrl,a0,a1,b0,b1] ;
198 val A = TF [ctrl,a0,a1,b0,b1];