| OCR Text |
Show , controlunit TestAll: 2 inputs: NOT':= not Input,; 3 OR2 .- Input2 or Input3; II AND2 • - Inputll and Input5; 5 AND3 • - Inputll and (Input5 and Input6); 6 CMP2 := Input8 or not (Input9 and Inpt10); 7 statemachine Test1: 8 startstate State': 9 moveon AND3 to State2; 10 hold Output,; set Output2; reset Output3; " end; 12 state State2: 13 moveafter MS , to State3 doing set Stop; 111 moveon (AND3 or CMP2) to State3 doing reset Stop; 15 moveon NOT1 to· State1 doing if OR2 then set RESTART; 16 set Output3;. . _. 17 if AND2 then reset BURST; 18 end; 19 state State3: 20 forkon Input11 to Statell, State5 doing 21 begin reset STOP; set BURST; 22 if NOT1 then set CRASH; 23 end; 24 if AND3 then begin reset A,Output2; set B; 25 hold C,Output1; end; 26 if AND2 then reset D; 27 set E,G,H; hold F,I; 28 end; 29 state State4: 30 joins State5 on Input12 to State1 doing set JOINlI; 31 reset E; 32 end; 33 state StateS: 34 joins State4 after NS 500 to State'; 35 reset F; 36 end; 37 end; 38 end. Figure 3: SICUDL Program of the TESTALL State Machine 29 |
