blob: 26e74f65a4672faa9f1b15b662a843b26161e31f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
State Machine - |ex9|delay:DEL0|state
Name state.WAIT_LOW state.TIME_OUT state.COUNTING state.IDLE
state.IDLE 0 0 0 0
state.COUNTING 0 0 1 1
state.TIME_OUT 0 1 0 1
state.WAIT_LOW 1 0 0 1
State Machine - |ex9|formula_fsm:FSM|state
Name state.WAIT_TRIGGER state.WAIT_FOR_TIMEOUT state.LIGHT_UP_LEDS
state.WAIT_TRIGGER 0 0 0
state.LIGHT_UP_LEDS 1 0 1
state.WAIT_FOR_TIMEOUT 1 1 0
|
