hxrjtd.map.eqn

这是本人在Max plus2环境下用VHDL语言编的交通灯控制程序。做EDA课程设计的朋友可以下来参考参考。

--C1L2 is cnt25:2|Mux_44~0
--operation mode is normal

C1L2 = J2_counter_cell[4] & (!J2_counter_cell[1] & !J2_counter_cell[2] # !J2_counter_cell[3]);


--G1L61 is xskz:6|i~165
--operation mode is normal

G1L61 = C1L2 & F1L32Q;


--G1L8 is xskz:6|i~100
--operation mode is normal

G1L8 = G1L12 # G1L61 # G1L54 & G1L8;


--B1L2 is cnt15:1|Mux_47~0
--operation mode is normal

B1L2 = J1_counter_cell[0] & (J1_counter_cell[1] & !J1_counter_cell[2] & !J1_counter_cell[3] # !J1_counter_cell[1] & J1_counter_cell[2] & J1_counter_cell[3]) # !J1_counter_cell[0] & J1_counter_cell[2] & (J1_counter_cell[1] $ !J1_counter_cell[3]);


--G1L22 is xskz:6|i~327
--operation mode is normal

G1L22 = B1L2 & F1L01Q & !F1L52Q & !F1L32Q;


--C1L3 is cnt25:2|Mux_45~0
--operation mode is normal

C1L3 = J2_counter_cell[3] & (J2_counter_cell[1] & J2_counter_cell[2] & !J2_counter_cell[4] # !J2_counter_cell[1] & !J2_counter_cell[2] & J2_counter_cell[4]);


--G1L71 is xskz:6|i~171
--operation mode is normal

G1L71 = C1L3 & F1L32Q;


--G1L9 is xskz:6|i~101
--operation mode is normal

G1L9 = G1L22 # G1L71 # G1L54 & G1L9;


--B1L3 is cnt15:1|Mux_48~0
--operation mode is normal

B1L3 = J1_counter_cell[3] & (J1_counter_cell[2] $ (J1_counter_cell[0] # J1_counter_cell[1])) # !J1_counter_cell[3] & !J1_counter_cell[2] & (J1_counter_cell[0] $ J1_counter_cell[1]);


--G1L32 is xskz:6|i~341
--operation mode is normal

G1L32 = B1L3 & F1L01Q & !F1L52Q & !F1L32Q;


--G1L76 is xskz:6|i~1838
--operation mode is normal

G1L76 = G1L32 # G1L75 & !J3_sload_path[1] & !J3_sload_path[2];


--C1L4 is cnt25:2|Mux_46~0
--operation mode is normal

C1L4 = J2_counter_cell[2] & (J2_counter_cell[4] $ (J2_counter_cell[1] # !J2_counter_cell[3])) # !J2_counter_cell[2] & (J2_counter_cell[4] # !J2_counter_cell[3] # !J2_counter_cell[1]);


--G1L81 is xskz:6|i~184
--operation mode is normal

G1L81 = F1L32Q & !C1L4;


--G1L01 is xskz:6|i~102
--operation mode is normal

G1L01 = G1L76 # G1L81 # G1L54 & G1L01;


--B1L4 is cnt15:1|Mux_49~0
--operation mode is normal

B1L4 = J1_counter_cell[0] & J1_counter_cell[1] & (J1_counter_cell[2] $ J1_counter_cell[3]) # !J1_counter_cell[0] & (J1_counter_cell[1] & !J1_counter_cell[2] & !J1_counter_cell[3] # !J1_counter_cell[1] & J1_counter_cell[3]);


--G1L42 is xskz:6|i~356
--operation mode is normal

G1L42 = B1L4 & F1L01Q & !F1L52Q & !F1L32Q;


--G1L86 is xskz:6|i~1851
--operation mode is normal

G1L86 = G1L42 # G1L75 & J3_sload_path[1] & !J3_sload_path[2];


--C1L5 is cnt25:2|Mux_47~0
--operation mode is normal

C1L5 = J2_counter_cell[1] & !J2_counter_cell[3] & J2_counter_cell[4] # !J2_counter_cell[1] & J2_counter_cell[3] & (J2_counter_cell[2] # !J2_counter_cell[4]);


--G1L91 is xskz:6|i~196
--operation mode is normal

G1L91 = C1L5 & F1L32Q;


--G1L11 is xskz:6|i~103
--operation mode is normal

G1L11 = G1L86 # G1L91 # G1L54 & G1L11;


--B1L5 is cnt15:1|Mux_50~0
--operation mode is normal

B1L5 = J1_counter_cell[0] $ (J1_counter_cell[1] # J1_counter_cell[2] # J1_counter_cell[3]);


--G1L62 is xskz:6|i~371
--operation mode is normal

G1L62 = B1L5 & F1L01Q & !F1L52Q & !F1L32Q;


--G1L52 is xskz:6|i~370
--operation mode is normal

G1L52 = G1L13 & F1L52Q & !F1L32Q & !J3_sload_path[0];


--C1L6 is cnt25:2|Mux_48_rtl_29~0
--operation mode is normal

C1L6 = !J2_counter_cell[4] & !J2_counter_cell[3] & (!J2_counter_cell[2] # !J2_counter_cell[1]);


--G1L02 is xskz:6|i~208
--operation mode is normal

G1L02 = F1L32Q & J2_counter_cell[0] & !C1L6;


--G1L21 is xskz:6|i~104
--operation mode is normal

G1L21 = G1L07 # G1L62 # G1L52 # G1L02;


--F1L53 is jtdkz:5|Select_82_rtl_1~88
--operation mode is normal

F1L53 = SB & !SM & !F1L83Q;


--F1_CNT_CLR is jtdkz:5|CNT_CLR
--operation mode is normal

F1_CNT_CLR_lut_out = F1L23 # F1L73 # F1L02 & F1L04Q;
F1_CNT_CLR = DFFE(F1_CNT_CLR_lut_out, E1_CNTER, , , );


--F1L92 is jtdkz:5|reduce_nor_58~10
--operation mode is normal

F1L92 = F1L7 # F1L3 # !F1_CNT_CLR # !F1L1;


--F1L03 is jtdkz:5|reduce_nor_58~13
--operation mode is normal

F1L03 = F1L9 # !F1_CNT_CLR # !F1L5;


--F1L63 is jtdkz:5|Select_82_rtl_1~98
--operation mode is normal

F1L63 = F1L53 # F1L93Q & (F1L92 # F1L03);


--F1L43 is jtdkz:5|Select_80_rtl_0~140
--operation mode is normal

F1L43 = SB & SM & !F1L83Q;


--F1L62 is jtdkz:5|reduce_nor_20~12
--operation mode is normal

F1L62 = F1L3 # !F1_CNT_CLR # !F1L1 # !F1L7;


--F1L72 is jtdkz:5|reduce_nor_20~15
--operation mode is normal

F1L72 = F1L5 # !F1_CNT_CLR # !F1L9;


--F1L33 is jtdkz:5|Select_80_rtl_0~71
--operation mode is normal

F1L33 = !SB & !F1L83Q;


--F1L23 is jtdkz:5|Select_80_rtl_0~22
--operation mode is normal

F1L23 = F1L33 # F1L43 & (F1L62 # F1L72);


--F1_reduce_nor_58 is jtdkz:5|reduce_nor_58
--operation mode is normal

F1_reduce_nor_58 = F1L9 # F1L92 # !F1_CNT_CLR # !F1L5;

--F1L13 is jtdkz:5|reduce_nor_58~18
--operation mode is normal

F1L13 = F1L9 # F1L92 # !F1_CNT_CLR # !F1L5;


--F1L12 is jtdkz:5|i~147
--operation mode is normal

F1L12 = !F1_CNT_CLR # !F1L3 # !F1L1 # !F1L7;


--F1L22 is jtdkz:5|i~159
--operation mode is normal

F1L22 = !F1L5 # !SM;


--F1L02 is jtdkz:5|i~127
--operation mode is normal

F1L02 = SB & (F1L9 # F1L12 # F1L22);


--G1L05 is xskz:6|i~1630
--operation mode is normal

G1L05 = F1L32Q & J2_counter_cell[0];


--J2_sset_path[1] is cnt25:2|lpm_counter:CNTB_rtl_9|alt_synch_counter:wysi_counter|sset_path[1]
--operation mode is normal

J2_sset_path[1] = F1L32Q & J2_counter_cell[1];


--J2_sset_path[2] is cnt25:2|lpm_counter:CNTB_rtl_9|alt_synch_counter:wysi_counter|sset_path[2]
--operation mode is normal

J2_sset_path[2] = F1L32Q & J2_counter_cell[2];


--J2_sset_path[3] is cnt25:2|lpm_counter:CNTB_rtl_9|alt_synch_counter:wysi_counter|sset_path[3]
--operation mode is normal

J2_sset_path[3] = F1L32Q & J2_counter_cell[3];


--G1L15 is xskz:6|i~1631
--operation mode is normal

G1L15 = F1L01Q & J1_counter_cell[3];


--F1L91 is jtdkz:5|i~10
--operation mode is normal

F1L91 = !SM # !SB;


--J1_sset_path[1] is cnt15:1|lpm_counter:CNT5B_rtl_7|alt_synch_counter:wysi_counter|sset_path[1]
--operation mode is normal

J1_sset_path[1] = F1L01Q & J1_counter_cell[1];


--G1L74 is xskz:6|i~1624
--operation mode is normal

G1L74 = F1L01Q & J1_counter_cell[2];


--J3_sset_path[1] is cnt5:3|lpm_counter:CNT3B_rtl_8|alt_synch_counter:wysi_counter|sset_path[1]
--operation mode is normal

J3_sset_path[1] = J3_sload_path[1] # !F1L52Q & !F1L11Q;


--D1L1 is cnt5:3|i~0
--operation mode is normal

D1L1 = !F1L52Q & !F1L11Q;


--J3_sset_path[2] is cnt5:3|lpm_counter:CNT3B_rtl_8|alt_synch_counter:wysi_counter|sset_path[2]
--operation mode is normal

J3_sset_path[2] = J3_sload_path[2] # !F1L52Q & !F1L11Q;


--J3_sset_path[0] is cnt5:3|lpm_counter:CNT3B_rtl_8|alt_synch_counter:wysi_counter|sset_path[0]
--operation mode is normal

J3_sset_path[0] = J3_sload_path[0] # !F1L52Q & !F1L11Q;


--J1_sset_path[0] is cnt15:1|lpm_counter:CNT5B_rtl_7|alt_synch_counter:wysi_counter|sset_path[0]
--operation mode is normal

J1_sset_path[0] = F1L01Q & J1_counter_cell[0];


--F1_CNT_S[3] is jtdkz:5|CNT_S[3]
--operation mode is normal

F1_CNT_S[3]_lut_out = F1L7 & F1_CNT_CLR;
F1_CNT_S[3] = DFFE(F1_CNT_S[3]_lut_out, E1_CNTER, , , );


--F1_CNT_S[1] is jtdkz:5|CNT_S[1]
--operation mode is normal

F1_CNT_S[1]_lut_out = F1L3 & F1_CNT_CLR;
F1_CNT_S[1] = DFFE(F1_CNT_S[1]_lut_out, E1_CNTER, , , );


--F1_CNT_S[0] is jtdkz:5|CNT_S[0]
--operation mode is normal

F1_CNT_S[0]_lut_out = F1L1 & F1_CNT_CLR;
F1_CNT_S[0] = DFFE(F1_CNT_S[0]_lut_out, E1_CNTER, , , );


--F1_CNT_S[4] is jtdkz:5|CNT_S[4]
--operation mode is normal

F1_CNT_S[4]_lut_out = F1L9 & F1_CNT_CLR;
F1_CNT_S[4] = DFFE(F1_CNT_S[4]_lut_out, E1_CNTER, , , );


--F1_CNT_S[2] is jtdkz:5|CNT_S[2]
--operation mode is normal

F1_CNT_S[2]_lut_out = F1L5 & F1_CNT_CLR;
F1_CNT_S[2] = DFFE(F1_CNT_S[2]_lut_out, E1_CNTER, , , );


--G1L96 is xskz:6|i~1879
--operation mode is normal

G1L96 = (F1L01Q & J1_counter_cell[3] & !F1L52Q & !F1L32Q) & CASCADE(G1L46);


--G1L46 is xskz:6|i~1792
--operation mode is normal

G1L46 = J1_counter_cell[0] & J1_counter_cell[1] & J1_counter_cell[2];


--G1L07 is xskz:6|i~1880
--operation mode is normal

G1L07 = (F1L11Q & G1L13 & !J3_sload_path[0] # !F1L11Q & G1L21) & CASCADE(G1L17);


--F1L73 is jtdkz:5|Select_87~57
--operation mode is normal

F1L73 = (F1L14Q # F1L93Q) & CASCADE(F1L13);


--SB is SB
--operation mode is input

SB = INPUT();


--SM is SM
--operation mode is input

SM = INPUT();


--CLK is CLK
--operation mode is input

CLK = INPUT();


--RST is RST
--operation mode is input

RST = INPUT();


--MR is MR
--operation mode is output

MR = OUTPUT(F1L42Q);


--BG is BG
--operation mode is output

BG = OUTPUT(F1L01Q);


--BY is BY
--operation mode is output

BY = OUTPUT(F1L11Q);


--BR is BR
--operation mode is output

BR = OUTPUT(!F1L42Q);


--MG is MG
--operation mode is output

MG = OUTPUT(F1L32Q);


--MY is MY
--operation mode is output

MY = OUTPUT(F1L52Q);


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

DOUTB[7] = OUTPUT(GND);


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

DOUTB[6] = OUTPUT(GND);


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

DOUTB[5] = OUTPUT(G1L1);


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

DOUTB[4] = OUTPUT(G1L2);


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

DOUTB[3] = OUTPUT(G1L3);


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

DOUTB[2] = OUTPUT(G1L4);


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

DOUTB[1] = OUTPUT(G1L5);


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

DOUTB[0] = OUTPUT(G1L6);


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

DOUTM[7] = OUTPUT(GND);


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

DOUTM[6] = OUTPUT(GND);


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

DOUTM[5] = OUTPUT(G1L7);


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

DOUTM[4] = OUTPUT(G1L8);


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

DOUTM[3] = OUTPUT(G1L9);


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

DOUTM[2] = OUTPUT(G1L01);


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

DOUTM[1] = OUTPUT(G1L11);


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

DOUTM[0] = OUTPUT(G1L21);