Page 240 - 《软件学报》2021年第6期

1814 Journal of Software 软件学报 Vol.32, No.6, June 2021

TEMP:=TEMP/2};
reg_signal_light_light2:=1;
TEMP<==reg_signal_light_light2 and skip;
every_i:=0;
while (every_i≤2)
{signal_light_light2[every_i]:=TEMP%2;
every_i:=every_i+1;
TEMP:=TEMP/2}}
else {empty}}
else {reg_signal_light_state:=signal_light_Idle;
TEMP<==reg_signal_light_state and skip;
every_i:=0;
while (every_i≤2)
{signal_light_state[every_i]:=TEMP%2;
every_i:=every_i+1;
TEMP:=TEMP/2
}}}}}}}}
else {empty};
signal_light_signal_light_light1:=reg_signal_light_light1;
signal_light_signal_light_light2:=reg_signal_light_light2;
Old_signal_light_clk_temp:=signal_light_clk)};
frame(signal_light_top_clk,signal_light_top_rst,reg_signal_light_top_light1,signal_light_top_light1,reg_
signal_light_top_light2,signal_light_top_light2,reg_signal_light_top_count,signal_light_top_count,TEMP,cycle_
num,now,Old_counter_clk,Old_counter_clk_temp,Old_counter_rst,Old_counter_rst_temp,Old_signal_light_clk,
Old_signal_light_clk_temp,signal_light_Idle,signal_light_S1,signal_light_S2,signal_light_S3,signal_light_S4,
counter_counter_count,signal_light_signal_light_light1,signal_light_signal_light_light2,reg_signal_light_state,
signal_light_state,reg_counter_count,counter_count,reg_signal_light_light1,signal_light_light1,reg_signal_light_
light2,signal_light_light2,every_i) and
(output (“input variable is signal_light_top_clk”) and skip;
output (“input variable is signal_light_top_rst”) and skip;
output (“output variable is signal_light_top_light1[0]”) and skip;
output (“output variable is signal_light_top_light1[1]”) and skip;
output (“output variable is signal_light_top_light1[2]”) and skip;
output (“output variable is signal_light_top_light2[0]”) and skip;
output (“output variable is signal_light_top_light2[1]”) and skip;
output (“output variable is signal_light_top_light2[2]”) and skip;
output (“output variable is signal_light_top_count[0]”) and skip;
output (“output variable is signal_light_top_count[1]”) and skip;
output (“output variable is signal_light_top_count[2]”) and skip;
output (“output variable is signal_light_top_count[3]”) and skip;
output (“output variable is signal_light_top_count[4]”) nd skip;
output (“output variable is signal_light_top_count[5]”) and skip;