BOUND FLASHER VALIDATION CHECK

Target Bound flasher

1st category 2nd category 3rd category
Confirmation Method Remark
No. No. (Test case name) No. (Test case explanation)
0 Initial state 1 Before the flick is one, all of the lamps are off regardless of
1 All lamps are off lamps[0] -> lamps[15] = 0 Pass
clock signal
2 After flick signal is active, the bound flasher switches from The state is now the first state
2 The bound flasher can start operating Pass
initial state to first state of the operation of designed operation
1 The lamps are turned ON First five lamps is gratually 1 lamps[0] -> lamps[5] = 1
1 After each cycle, lamps[0] -> lamps[5] is set active Pass
gradually from lamp[0] turned on based on clock edge after 6 clock cycles
to lamp[5]. 2 If the flick signal is active during lamps[0] to lamps[5] is set
Flick signal cannot affect the behavior of active, the state continues to switch to no.2 stage After stage no.1 is done, bound flasher
2 Pass
switching to next stage (first category) switches to stage no.2
1
First five lamps is gratually lamps[0] -> lamps[5] = 0
The lamps are turned OFF 1 After each cycle, lamps[5] -> lamps[0] is set deactive Pass
turned off based on clock edge after 6 clock cycles
2 gradually from lamp[5] (max)
to lamp[0] (min). Flick signal cannot affect the behavior of 2 If the flick signal is active during lamps[5] to lamps[0] is set After stage no.2 is done, bound flasher
2 deactive, the state continues to switch to no.3 stage Pass
switching to next stage switches to stage no.3
The bound flasher continue 1 After all lamps offed, turn on gradually from 0 to 10 lamps[0] -> lamp[10] = 1
1 Pass
after 10 clock cycle
At kickback point 5, flick signal = 1 2 When lamps reach 5, if flick signal = 1, the lamps turn back lamp [0] -> lamp [5] = 1
2 to 0 after 5 cycle Pass
then lamp[5] -> lamp[0]
The lamps are turned ON
At kickback point 10, flick signal = 1 3 When lamps reach 10, if flick signal = 1, the lamps turn back lamp [0] -> lamp [10] = 1
3 gradually from lamp[0] (max)
3 to 5 after 10 cycle Pass
to lamp[10] (min).
then lamp[5] -> lamp[10] = 0
4 Flick signal = 1 at every node, except 5 and 10 4 If signal = 1, but current lamp are not at 5 - 10, nothing Lamp[this point] ->
Pass
happen, the process continue Lamp[this point +1] = 1
5 Flick signal = 0 at kickback point 5 The lamp will continue the next state lamps[0] -> lamp[10] = 1
Pass
after 10 clock cycle
4 1 1 lamps[10] -> lamps[5] = 0
Lamps gratually turned off based on clock edge After each cycle, lamps[10] -> lamps[5] is set deactive Pass
The lamps are turned OFF after 6 clock cycles
gradually from lamp[10] (max) 2 2 If the flick signal is active during lamps[10] to lamps[5] is set
Flick signal cannot affect the behavior of After stage no.4 is done, bound flasher
to lamp[5] (min). deactive, the state continues to switch to no.5 stage Pass
switching to next stage switches to stage no.5
5 1 Middle eleven lamps is gratually turned on 1 After each cycle, lamp[5]->lamp[15] is set active lamps[5] -> lamps[15] = 1
Pass
The lamps are turned ON based on clock edge after 11 clock cycles
gradually from lamp[5] 2 2 Set flick = 1 right before the kickback point at lamp[5] when
At kickback point lamp[5], flick = 1 lamp[5] =0. Pass
to lamp[15]. lamp[5] to lamp[15] are being turned on
Pass
6 1 Fifteen lamps is gratually 1 After each cycle, lamp[15]->lamp[0] is set deactive lamps[0] -> lamps[15] = 0
The lamps are turned OFF Pass
turned off based on based on anticlockwise direction after 16 clock cycles
gradually from lamp[15]
2 At kickback point lamp[10], flick = 1 and 2 Set flick = 1 right before the kickback point at lamp[10] and lamp[10] to lamp[5] are turned off gradually
to lamp[0], return to intial state. Pass
at kickback point lamp[5], flick = 0 set flick = 0 right before the kickback point at lamp[5] then the program will attempt the operation 5 again