dingceng.map.eqn

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

--A1L54Q is count_down[4]~reg0
A1L54Q_p0_out = GLOBAL(EN) & A1L69Q & !temp & A1L54Q;
A1L54Q_p1_out = A1L70Q & GLOBAL(EN) & !A1L69Q & !temp & !A1L54Q;
A1L54Q_p2_out = GLOBAL(EN) & temp & A1L54Q & !A1L51Q & !A1L48Q & !A1L43Q & !A1L45Q;
A1L54Q_p4_out = !A1L70Q & GLOBAL(EN) & !temp & A1L54Q & !A1L71Q;
A1L54Q_or_out = A1L53 # A1L54Q_p0_out # A1L54Q_p1_out # A1L54Q_p2_out # A1L54Q_p4_out;
A1L54Q_reg_input = A1L54Q_or_out;
A1L54Q = TFFE(A1L54Q_reg_input, CLK2, , , );


--A1L57Q is count_down[5]~reg0
A1L57Q_p0_out = GLOBAL(EN) & !temp & A1L57Q & A1L70Q;
A1L57Q_p1_out = !A1L54Q & !A1L51Q & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN) & temp & A1L57Q;
A1L57Q_p2_out = GLOBAL(EN) & !temp & A1L57Q & !A1L71Q;
A1L57Q_p4_out = GLOBAL(EN) & !temp & A1L57Q & A1L69Q;
A1L57Q_or_out = A1L56 # A1L57Q_p0_out # A1L57Q_p1_out # A1L57Q_p2_out # A1L57Q_p4_out;
A1L57Q_reg_input = A1L57Q_or_out;
A1L57Q = TFFE(A1L57Q_reg_input, CLK2, , , );


--A1L60Q is count_down[6]~reg0
A1L60Q_p0_out = GLOBAL(EN) & !temp & A1L60Q & A1L70Q;
A1L60Q_p1_out = !A1L54Q & !A1L57Q & !A1L51Q & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN) & temp & A1L60Q;
A1L60Q_p2_out = GLOBAL(EN) & !temp & A1L60Q & A1L71Q;
A1L60Q_p4_out = GLOBAL(EN) & !temp & A1L60Q & A1L69Q;
A1L60Q_or_out = A1L59 # A1L60Q_p0_out # A1L60Q_p1_out # A1L60Q_p2_out # A1L60Q_p4_out;
A1L60Q_reg_input = A1L60Q_or_out;
A1L60Q = TFFE(A1L60Q_reg_input, CLK2, , , );


--A1L62Q is count_down[7]~reg0
A1L62Q_p1_out = !A1L60Q & !A1L54Q & !A1L57Q & !A1L51Q & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN) & A1L62Q;
A1L62Q_p2_out = GLOBAL(EN) & A1L62Q & !temp;
A1L62Q_or_out = A1L62Q_p1_out # A1L62Q_p2_out;
A1L62Q_reg_input = A1L62Q_or_out;
A1L62Q = TFFE(A1L62Q_reg_input, CLK2, , , );


--CLK1 is CLK1
CLK1_p1_out = !A1L62Q & !A1L51Q & !A1L48Q & !A1L43Q & !A1L45Q & !A1L60Q & !A1L54Q & !A1L57Q & GLOBAL(EN) & temp;
CLK1_p2_out = !GLOBAL(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, , , );


--A1L69Q is current_state~14
A1L69Q_reg_input = VCC;
A1L69Q = TFFE(A1L69Q_reg_input, CLK1, GLOBAL(EN), , );


--A1L70Q is current_state~15
A1L70Q_or_out = !A1L69Q;
A1L70Q_reg_input = !A1L70Q_or_out;
A1L70Q = TFFE(A1L70Q_reg_input, CLK1, GLOBAL(EN), , );


--A1L71Q is current_state~16
A1L71Q_p1_out = A1L69Q & A1L70Q;
A1L71Q_or_out = A1L71Q_p1_out;
A1L71Q_reg_input = A1L71Q_or_out;
A1L71Q = TFFE(A1L71Q_reg_input, CLK1, GLOBAL(EN), , );


--A1L63 is current_state.state0~27
A1L63_p1_out = !A1L71Q & !A1L69Q & !A1L70Q;
A1L63_or_out = A1L63_p1_out;
A1L63 = !(A1L63_or_out);


--A1L67 is current_state.state6~39
A1L67_p1_out = A1L71Q & !A1L69Q & A1L70Q;
A1L67_or_out = A1L67_p1_out;
A1L67 = !(A1L67_or_out);


--A1L66 is current_state.state4~30
A1L66_p1_out = A1L71Q & !A1L69Q & !A1L70Q;
A1L66_or_out = A1L66_p1_out;
A1L66 = !(A1L66_or_out);


--A1L64 is current_state.state2~38
A1L64_p1_out = !A1L71Q & !A1L69Q & A1L70Q;
A1L64_or_out = A1L64_p1_out;
A1L64 = !(A1L64_or_out);


--A1L68 is current_state.state7~10
A1L68_p1_out = A1L71Q & A1L69Q;
A1L68_or_out = A1L68_p1_out;
A1L68 = !(A1L68_or_out);


--A1L65 is current_state.state3~31
A1L65_p1_out = !A1L71Q & A1L69Q;
A1L65_or_out = A1L65_p1_out;
A1L65 = !(A1L65_or_out);


--A1L72 is current_state~186
A1L72_or_out = !A1L71Q;
A1L72 = A1L72_or_out;


--A1L47 is count_down[2]~469
A1L47_p1_out = A1L69Q & !temp & GLOBAL(EN) & !A1L48Q;
A1L47 = A1L47_p1_out;


--A1L50 is count_down[3]~471
A1L50_p1_out = A1L62Q & temp & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN);
A1L50_p2_out = temp & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN) & A1L60Q;
A1L50 = A1L50_p1_out # A1L50_p2_out;


--A1L53 is count_down[4]~474
A1L53_p1_out = A1L62Q & !A1L51Q & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN) & temp;
A1L53_p2_out = !A1L51Q & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN) & temp & A1L60Q;
A1L53_p3_out = !A1L51Q & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN) & temp & A1L57Q;
A1L53_p4_out = GLOBAL(EN) & !temp & A1L71Q & !A1L69Q & !A1L54Q;
A1L53 = A1L53_p1_out # A1L53_p2_out # A1L53_p3_out # A1L53_p4_out;


--A1L56 is count_down[5]~479
A1L56_p1_out = A1L62Q & !A1L54Q & !A1L51Q & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN) & temp;
A1L56_p2_out = !A1L54Q & !A1L51Q & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN) & temp & A1L60Q;
A1L56_p3_out = GLOBAL(EN) & !temp & A1L71Q & !A1L69Q & !A1L70Q & !A1L57Q;
A1L56 = A1L56_p1_out # A1L56_p2_out # A1L56_p3_out;


--A1L59 is count_down[6]~483
A1L59_p1_out = A1L62Q & !A1L54Q & !A1L57Q & !A1L51Q & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN) & temp;
A1L59_p2_out = GLOBAL(EN) & !temp & !A1L71Q & !A1L69Q & !A1L70Q & !A1L60Q;
A1L59 = A1L59_p1_out # A1L59_p2_out;


--CLK is CLK
--operation mode is input

CLK = INPUT();


--EN is EN
--operation mode is input

EN = INPUT();


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

count_down[0] = OUTPUT(A1L43Q);


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

count_down[1] = OUTPUT(A1L45Q);


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

count_down[2] = OUTPUT(A1L48Q);


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

count_down[3] = OUTPUT(A1L51Q);


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

count_down[4] = OUTPUT(A1L54Q);


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

count_down[5] = OUTPUT(A1L57Q);


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

count_down[6] = OUTPUT(A1L60Q);


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

count_down[7] = OUTPUT(A1L62Q);


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

LAMP[0] = OUTPUT(A1L67);


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

LAMP[1] = OUTPUT(A1L66);


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

LAMP[2] = OUTPUT(A1L68);


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

LAMP[3] = OUTPUT(A1L71Q);


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

LAMP[4] = OUTPUT(A1L64);


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

LAMP[5] = OUTPUT(A1L63);


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

LAMP[6] = OUTPUT(A1L65);


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

LAMP[7] = OUTPUT(A1L72);