dingceng.fit.eqn

用Verilog HDL语言编写的交通灯程序

A1L58Q_p1_out = A1L74Q & EN & !A1L73Q & !temp & !A1L58Q;
A1L58Q_p2_out = EN & temp & A1L58Q & !A1L55Q & !A1L52Q & !A1L47Q & !A1L49Q;
A1L58Q_p4_out = !A1L74Q & EN & !temp & A1L58Q & !A1L75Q;
A1L58Q_or_out = A1L57 # A1L58Q_p0_out # A1L58Q_p1_out # A1L58Q_p2_out # A1L58Q_p4_out;
A1L58Q_reg_input = A1L58Q_or_out;
A1L58Q = TFFE(A1L58Q_reg_input, CLK2, , , );


--A1L61Q is count_down[5]~reg0 at LC104
A1L61Q_p0_out = EN & !temp & A1L61Q & A1L74Q;
A1L61Q_p1_out = !A1L58Q & !A1L55Q & !A1L52Q & !A1L47Q & !A1L49Q & EN & temp & A1L61Q;
A1L61Q_p2_out = EN & !temp & A1L61Q & !A1L75Q;
A1L61Q_p4_out = EN & !temp & A1L61Q & A1L73Q;
A1L61Q_or_out = A1L60 # A1L61Q_p0_out # A1L61Q_p1_out # A1L61Q_p2_out # A1L61Q_p4_out;
A1L61Q_reg_input = A1L61Q_or_out;
A1L61Q = TFFE(A1L61Q_reg_input, CLK2, , , );


--A1L64Q is count_down[6]~reg0 at LC101
A1L64Q_p0_out = EN & !temp & A1L64Q & A1L74Q;
A1L64Q_p1_out = !A1L58Q & !A1L61Q & !A1L55Q & !A1L52Q & !A1L47Q & !A1L49Q & EN & temp & A1L64Q;
A1L64Q_p2_out = EN & !temp & A1L64Q & A1L75Q;
A1L64Q_p4_out = EN & !temp & A1L64Q & A1L73Q;
A1L64Q_or_out = A1L63 # A1L64Q_p0_out # A1L64Q_p1_out # A1L64Q_p2_out # A1L64Q_p4_out;
A1L64Q_reg_input = A1L64Q_or_out;
A1L64Q = TFFE(A1L64Q_reg_input, CLK2, , , );


--A1L66Q is count_down[7]~reg0 at LC109
A1L66Q_p1_out = !A1L64Q & !A1L58Q & !A1L61Q & !A1L55Q & !A1L52Q & !A1L47Q & !A1L49Q & EN & A1L66Q;
A1L66Q_p2_out = EN & A1L66Q & !temp;
A1L66Q_or_out = A1L66Q_p1_out # A1L66Q_p2_out;
A1L66Q_reg_input = A1L66Q_or_out;
A1L66Q = TFFE(A1L66Q_reg_input, CLK2, , , );


--CLK1 is CLK1 at LC112
CLK1_p1_out = !A1L66Q & !A1L55Q & !A1L52Q & !A1L47Q & !A1L49Q & !A1L64Q & !A1L58Q & !A1L61Q & EN & temp;
CLK1_p2_out = !EN & CLK1;
CLK1_p4_out = !temp & CLK1;
CLK1_or_out = CLK1_p1_out # CLK1_p2_out # CLK1_p4_out;
CLK1_reg_input = CLK1_or_out;
CLK1 = DFFE(CLK1_reg_input, CLK2, , , );


--A1L73Q is current_state~14 at LC108
A1L73Q_reg_input = VCC;
A1L73Q = TFFE(A1L73Q_reg_input, CLK1, GLOBAL(EN), , );


--A1L74Q is current_state~15 at LC102
A1L74Q_or_out = !A1L73Q;
A1L74Q_reg_input = !A1L74Q_or_out;
A1L74Q = TFFE(A1L74Q_reg_input, CLK1, GLOBAL(EN), , );


--A1L75Q is current_state~16 at LC91
A1L75Q_p1_out = A1L73Q & A1L74Q;
A1L75Q_or_out = A1L75Q_p1_out;
A1L75Q_reg_input = A1L75Q_or_out;
A1L75Q = TFFE(A1L75Q_reg_input, CLK1, GLOBAL(EN), , );


--A1L67 is current_state.state0~27 at LC86
A1L67_p1_out = !A1L75Q & !A1L73Q & !A1L74Q;
A1L67_or_out = A1L67_p1_out;
A1L67 = !(A1L67_or_out);


--A1L71 is current_state.state6~39 at LC97
A1L71_p1_out = A1L75Q & !A1L73Q & A1L74Q;
A1L71_or_out = A1L71_p1_out;
A1L71 = !(A1L71_or_out);


--A1L70 is current_state.state4~30 at LC94
A1L70_p1_out = A1L75Q & !A1L73Q & !A1L74Q;
A1L70_or_out = A1L70_p1_out;
A1L70 = !(A1L70_or_out);


--A1L68 is current_state.state2~38 at LC88
A1L68_p1_out = !A1L75Q & !A1L73Q & A1L74Q;
A1L68_or_out = A1L68_p1_out;
A1L68 = !(A1L68_or_out);


--A1L72 is current_state.state7~10 at LC93
A1L72_p1_out = A1L75Q & A1L73Q;
A1L72_or_out = A1L72_p1_out;
A1L72 = !(A1L72_or_out);


--A1L69 is current_state.state3~31 at LC85
A1L69_p1_out = !A1L75Q & A1L73Q;
A1L69_or_out = A1L69_p1_out;
A1L69 = !(A1L69_or_out);


--A1L76 is current_state~186 at LC83
A1L76_or_out = !A1L75Q;
A1L76 = A1L76_or_out;


--A1L51 is count_down[2]~469 at LC18
A1L51_p1_out = A1L73Q & !temp & EN & !A1L52Q;
A1L51 = A1L51_p1_out;


--A1L54 is count_down[3]~471 at LC98
A1L54_p1_out = A1L66Q & temp & !A1L52Q & !A1L47Q & !A1L49Q & EN;
A1L54_p2_out = temp & !A1L52Q & !A1L47Q & !A1L49Q & EN & A1L64Q;
A1L54 = A1L54_p1_out # A1L54_p2_out;


--A1L57 is count_down[4]~474 at LC106
A1L57_p1_out = A1L66Q & !A1L55Q & !A1L52Q & !A1L47Q & !A1L49Q & EN & temp;
A1L57_p2_out = !A1L55Q & !A1L52Q & !A1L47Q & !A1L49Q & EN & temp & A1L64Q;
A1L57_p3_out = !A1L55Q & !A1L52Q & !A1L47Q & !A1L49Q & EN & temp & A1L61Q;
A1L57_p4_out = EN & !temp & A1L75Q & !A1L73Q & !A1L58Q;
A1L57 = A1L57_p1_out # A1L57_p2_out # A1L57_p3_out # A1L57_p4_out;


--A1L60 is count_down[5]~479 at LC103
A1L60_p1_out = A1L66Q & !A1L58Q & !A1L55Q & !A1L52Q & !A1L47Q & !A1L49Q & EN & temp;
A1L60_p2_out = !A1L58Q & !A1L55Q & !A1L52Q & !A1L47Q & !A1L49Q & EN & temp & A1L64Q;
A1L60_p3_out = EN & !temp & A1L75Q & !A1L73Q & !A1L74Q & !A1L61Q;
A1L60 = A1L60_p1_out # A1L60_p2_out # A1L60_p3_out;


--A1L63 is count_down[6]~483 at LC100
A1L63_p1_out = A1L66Q & !A1L58Q & !A1L61Q & !A1L55Q & !A1L52Q & !A1L47Q & !A1L49Q & EN & temp;
A1L63_p2_out = EN & !temp & !A1L75Q & !A1L73Q & !A1L74Q & !A1L64Q;
A1L63 = A1L63_p1_out # A1L63_p2_out;


--CLK is CLK at PIN_83
--operation mode is input

CLK = INPUT();


--EN is EN at PIN_1
--operation mode is input

EN = INPUT();


--count_down[0] is count_down[0] at PIN_68
--operation mode is output

count_down[0] = OUTPUT(A1L47Q);


--count_down[1] is count_down[1] at PIN_22
--operation mode is output

count_down[1] = OUTPUT(A1L49Q);


--count_down[2] is count_down[2] at PIN_21
--operation mode is output

count_down[2] = OUTPUT(A1L52Q);


--count_down[3] is count_down[3] at PIN_64
--operation mode is output

count_down[3] = OUTPUT(A1L55Q);


--count_down[4] is count_down[4] at PIN_69
--operation mode is output

count_down[4] = OUTPUT(A1L58Q);


--count_down[5] is count_down[5] at PIN_67
--operation mode is output

count_down[5] = OUTPUT(A1L61Q);


--count_down[6] is count_down[6] at PIN_65
--operation mode is output

count_down[6] = OUTPUT(A1L64Q);


--count_down[7] is count_down[7] at PIN_70
--operation mode is output

count_down[7] = OUTPUT(A1L66Q);


--LAMP[0] is LAMP[0] at PIN_63
--operation mode is output

LAMP[0] = OUTPUT(A1L71);


--LAMP[1] is LAMP[1] at PIN_61
--operation mode is output

LAMP[1] = OUTPUT(A1L70);


--LAMP[2] is LAMP[2] at PIN_60
--operation mode is output

LAMP[2] = OUTPUT(A1L72);


--LAMP[3] is LAMP[3] at PIN_58
--operation mode is output

LAMP[3] = OUTPUT(A1L75Q);


--LAMP[4] is LAMP[4] at PIN_57
--operation mode is output

LAMP[4] = OUTPUT(A1L68);


--LAMP[5] is LAMP[5] at PIN_56
--operation mode is output

LAMP[5] = OUTPUT(A1L67);


--LAMP[6] is LAMP[6] at PIN_55
--operation mode is output

LAMP[6] = OUTPUT(A1L69);


--LAMP[7] is LAMP[7] at PIN_54
--operation mode is output

LAMP[7] = OUTPUT(A1L76);