| OCR Text |
Show controlunit GcsTest: inputs : G1nput1 .- 11 and (12 or not 13); G1nput2 := (not 11 and (not 13 or 14)) or (12 or 17); statemachine Test: startstate State1: forkon G1nput1 to State2,State3; moveon NOT G1nput1 to State4; hold 01,02; reset o3; set o4; if not 12 or not i3 then reset o6; end; state State2: joins State3 on 14 and 15 to State6; joins State5 on 14 or 15 to State6; hold o 1; if i3 then set o3; if i4 or i5 then begin reset o4; hold o2, o5; end; end; state State3: moveon not i6 to State5; joins State2 on i6 to State6 doing begin reset o3; set o1,o5; if G1nput1 then set o4,o2; if not G1nput2 then reset o3,o4; end; hold o1; end; state State4: moveon i7 to State6 doing set o3; end; state State5: joins State2 on TRUE to State6; end; state State6: moveon i8 to State1; moveon NOT i8 to State4; end; end; end. |
