serial.map.eqn

一些Verilog学习程序B

A1L75_or_out = A1L75_p0_out # A1L75_p1_out # A1L75_p2_out # A1L75_p3_out # A1L75_p4_out;
A1L75 = !(A1L75_or_out);


--A1L85 is reduce_or~5282
A1L85_p0_out = rxd_buf[3] & !rxd_buf[7] & rxd_buf[4] & rxd_buf[5] & !rxd_buf[6] & !rxd_buf[1] & !rxd_buf[2];
A1L85_p1_out = !rxd_buf[3] & !rxd_buf[7] & !rxd_buf[4] & !rxd_buf[5] & rxd_buf[6] & !rxd_buf[1] & rxd_buf[0];
A1L85_p2_out = !rxd_buf[3] & !rxd_buf[7] & rxd_buf[4] & rxd_buf[5] & !rxd_buf[6] & !rxd_buf[0] & !rxd_buf[2];
A1L85_p3_out = !rxd_buf[3] & !rxd_buf[7] & rxd_buf[4] & rxd_buf[5] & !rxd_buf[6] & rxd_buf[1];
A1L85_p4_out = !rxd_buf[3] & !rxd_buf[7] & rxd_buf[4] & rxd_buf[5] & !rxd_buf[6] & rxd_buf[0] & rxd_buf[2];
A1L85_or_out = A1L66 # A1L85_p0_out # A1L85_p1_out # A1L85_p2_out # A1L85_p3_out # A1L85_p4_out;
A1L85 = !(A1L85_or_out);


--A1L95 is reduce_or~5284
A1L95 = EXP(rxd_buf[2] & !rxd_buf[3] & !rxd_buf[1] & !rxd_buf[7] & rxd_buf[5] & rxd_buf[4] & !rxd_buf[6]);


--A1L06 is reduce_or~5285
A1L06 = EXP(rxd_buf[2] & !rxd_buf[3] & !rxd_buf[7] & rxd_buf[5] & rxd_buf[4] & !rxd_buf[6] & !rxd_buf[0]);


--A1L16 is reduce_or~5286
A1L16 = EXP(!rxd_buf[3] & !rxd_buf[1] & !rxd_buf[7] & rxd_buf[5] & rxd_buf[4] & !rxd_buf[6] & !rxd_buf[0]);


--A1L26 is reduce_or~5291
A1L26_p1_out = A1L95 & A1L06 & A1L16;
A1L26_p0_out = A1L95 & A1L06 & A1L16 & !rxd_buf[3] & rxd_buf[1] & !rxd_buf[7] & !rxd_buf[5] & !rxd_buf[4] & rxd_buf[6] & !rxd_buf[0];
A1L26_p2_out = A1L95 & A1L06 & A1L16 & !rxd_buf[2] & rxd_buf[3] & !rxd_buf[1] & !rxd_buf[7] & rxd_buf[5] & rxd_buf[4] & !rxd_buf[6];
A1L26_p3_out = A1L95 & A1L06 & A1L16 & !rxd_buf[2] & !rxd_buf[3] & rxd_buf[1] & !rxd_buf[7] & !rxd_buf[5] & !rxd_buf[4] & rxd_buf[6];
A1L26_p4_out = A1L95 & A1L06 & A1L16 & !rxd_buf[3] & !rxd_buf[1] & !rxd_buf[7] & !rxd_buf[5] & !rxd_buf[4] & rxd_buf[6] & rxd_buf[0];
A1L26_or_out = A1L26_p0_out # A1L26_p2_out # A1L26_p3_out # A1L26_p4_out;
A1L26 = A1L26_p1_out $ A1L26_or_out;


--A1L36 is reduce_or~5294
A1L36 = EXP(!rxd_buf[1] & !rxd_buf[0]);


--A1L46 is reduce_or~5295
A1L46 = EXP(rxd_buf[1] & rxd_buf[0]);


--A1L56 is reduce_or~5300
A1L56_p1_out = !rxd_buf[2] & !rxd_buf[6] & rxd_buf[4] & !rxd_buf[1] & rxd_buf[5] & !rxd_buf[7] & !rxd_buf[0];
A1L56_p2_out = !rxd_buf[6] & rxd_buf[4] & rxd_buf[1] & rxd_buf[5] & !rxd_buf[7] & !rxd_buf[0] & !rxd_buf[3];
A1L56_p3_out = !rxd_buf[2] & rxd_buf[6] & !rxd_buf[4] & !rxd_buf[5] & !rxd_buf[7] & !rxd_buf[3] & A1L36;
A1L56_p4_out = rxd_buf[2] & rxd_buf[6] & !rxd_buf[4] & !rxd_buf[5] & !rxd_buf[7] & !rxd_buf[3] & A1L46;
A1L56_or_out = A1L56_p1_out # A1L56_p2_out # A1L56_p3_out # A1L56_p4_out;
A1L56 = !(A1L56_or_out);


--key_entry1 is key_entry1
key_entry1_p1_out = key_entry1 & !key_entry2 & GLOBAL(rst);
key_entry1_p2_out = !key_entry2 & GLOBAL(rst) & !key_input & !cnt_delay[4] & !cnt_delay[5] & !cnt_delay[0] & !cnt_delay[7] & !cnt_delay[15] & !cnt_delay[17] & !cnt_delay[9] & !cnt_delay[1] & !cnt_delay[6] & !cnt_delay[14] & !cnt_delay[2] & !cnt_delay[16] & !cnt_delay[3] & !cnt_delay[11] & cnt_delay[19] & cnt_delay[10] & cnt_delay[13] & cnt_delay[12] & cnt_delay[8] & cnt_delay[18];
key_entry1_or_out = key_entry1_p1_out # key_entry1_p2_out;
key_entry1_reg_input = key_entry1_or_out;
key_entry1 = DFFE(key_entry1_reg_input, GLOBAL(clk), , , );


--key_entry2 is key_entry2
key_entry2_p1_out = !key_entry1 & !key_entry2;
key_entry2_p2_out = key_entry2 & send_state[2] & send_state[0] & send_state[1] & !state_tras[2] & !state_tras[1] & !state_tras[0] & !state_tras[3];
key_entry2_or_out = key_entry2_p1_out # key_entry2_p2_out;
key_entry2_reg_input = !(key_entry2_or_out);
key_entry2 = DFFE(key_entry2_reg_input, clkbaud8x, GLOBAL(rst), , );


--state_tras[3] is state_tras[3]
state_tras[3]_p1_out = state_tras[2] & state_tras[1] & state_tras[0] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2;
state_tras[3]_or_out = state_tras[3]_p1_out;
state_tras[3]_reg_input = state_tras[3]_or_out;
state_tras[3] = TFFE(state_tras[3]_reg_input, clkbaud8x, GLOBAL(rst), , );


--A1L711 is trasstart~45
A1L711 = EXP(state_tras[3] & state_tras[2] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2);


--A1L911 is trasstart~47
A1L911 = EXP(state_tras[0] & state_tras[1]);


--trasstart is trasstart
trasstart_p0_out = div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & state_tras[3] & state_tras[2] & key_entry2 & A1L911;
trasstart_p1_out = div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & state_tras[3] & !state_tras[2] & state_tras[1] & key_entry2;
trasstart_p2_out = A1L711 & trasstart;
trasstart_p4_out = !state_tras[3] & !state_tras[2] & !state_tras[1] & key_entry2 & A1L811 & !state_tras[0];
trasstart_or_out = trasstart_p0_out # trasstart_p1_out # trasstart_p2_out # trasstart_p4_out;
trasstart_reg_input = trasstart_or_out;
trasstart = DFFE(trasstart_reg_input, clkbaud8x, GLOBAL(rst), , );


--div8_tras_reg[0] is div8_tras_reg[0]
div8_tras_reg[0]_or_out = trasstart;
div8_tras_reg[0]_reg_input = div8_tras_reg[0]_or_out;
div8_tras_reg[0] = TFFE(div8_tras_reg[0]_reg_input, clkbaud8x, GLOBAL(rst), , );


--div8_tras_reg[1] is div8_tras_reg[1]
div8_tras_reg[1]_p1_out = div8_tras_reg[0] & trasstart;
div8_tras_reg[1]_or_out = div8_tras_reg[1]_p1_out;
div8_tras_reg[1]_reg_input = div8_tras_reg[1]_or_out;
div8_tras_reg[1] = TFFE(div8_tras_reg[1]_reg_input, clkbaud8x, GLOBAL(rst), , );


--div8_tras_reg[2] is div8_tras_reg[2]
div8_tras_reg[2]_p1_out = div8_tras_reg[1] & div8_tras_reg[0] & trasstart;
div8_tras_reg[2]_or_out = div8_tras_reg[2]_p1_out;
div8_tras_reg[2]_reg_input = div8_tras_reg[2]_or_out;
div8_tras_reg[2] = TFFE(div8_tras_reg[2]_reg_input, clkbaud8x, GLOBAL(rst), , );


--state_tras[0] is state_tras[0]
state_tras[0]_p1_out = key_entry2 & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1];
state_tras[0]_p2_out = send_state[2] & send_state[0] & send_state[1] & !state_tras[2] & !state_tras[1] & !state_tras[3] & key_entry2 & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1];
state_tras[0]_p4_out = !state_tras[2] & !state_tras[1] & !state_tras[3] & key_entry2 & !trasstart & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1];
state_tras[0]_or_out = state_tras[0] # state_tras[0]_p2_out # state_tras[0]_p4_out;
state_tras[0]_reg_input = state_tras[0]_p1_out $ state_tras[0]_or_out;
state_tras[0] = DFFE(state_tras[0]_reg_input, clkbaud8x, GLOBAL(rst), , );


--state_tras[1] is state_tras[1]
state_tras[1]_p1_out = state_tras[0] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2;
state_tras[1]_or_out = state_tras[1]_p1_out;
state_tras[1]_reg_input = state_tras[1]_or_out;
state_tras[1] = TFFE(state_tras[1]_reg_input, clkbaud8x, GLOBAL(rst), , );


--state_tras[2] is state_tras[2]
state_tras[2]_p1_out = state_tras[1] & state_tras[0] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2;
state_tras[2]_or_out = state_tras[2]_p1_out;
state_tras[2]_reg_input = state_tras[2]_or_out;
state_tras[2] = TFFE(state_tras[2]_reg_input, clkbaud8x, GLOBAL(rst), , );


--txd_buf[6] is txd_buf[6]
txd_buf[6]_p0_out = div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2 & state_tras[2] & txd_buf[6] & !state_tras[3];
txd_buf[6]_p1_out = send_state[1] & send_state[2] & state_tras[0] & state_tras[1] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2 & state_tras[2] & txd_buf[6];
txd_buf[6]_p2_out = state_tras[0] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2 & txd_buf[6] & !state_tras[3];
txd_buf[6]_p4_out = state_tras[1] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2 & txd_buf[6] & !state_tras[3];
txd_buf[6]_or_out = A1L141 # txd_buf[6]_p0_out # txd_buf[6]_p1_out # txd_buf[6]_p2_out # txd_buf[6]_p4_out;
txd_buf[6]_reg_input = txd_buf[6]_or_out;
txd_buf[6] = TFFE(txd_buf[6]_reg_input, clkbaud8x, GLOBAL(rst), , );


--A1L631 is txd_buf[5]~355
A1L631 = EXP(!state_tras[2] & !state_tras[1] & !state_tras[0]);


--A1L731 is txd_buf[5]~356
A1L731 = EXP(key_entry2 & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1]);


--A1L831 is txd_buf[5]~357
A1L831 = EXP(send_state[1] & send_state[2]);


--txd_buf[5] is txd_buf[5]
txd_buf[5]_p0_out = !key_entry2 & key_entry1;
txd_buf[5]_p1_out = A1L731 & txd_buf[5];
txd_buf[5]_p2_out = A1L831 & key_entry2 & state_tras[0] & state_tras[1] & state_tras[3] & state_tras[2] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1];
txd_buf[5]_p4_out = txd_buf[5] & state_tras[3] & state_tras[2] & A1L911;
txd_buf[5]_or_out = A1L931 # txd_buf[5]_p0_out # txd_buf[5]_p1_out # txd_buf[5]_p2_out # txd_buf[5]_p4_out;
txd_buf[5]_reg_input = txd_buf[5]_or_out;
txd_buf[5] = DFFE(txd_buf[5]_reg_input, clkbaud8x, GLOBAL(rst), , );


--A1L331 is txd_buf[4]~367
A1L331 = EXP(!state_tras[1] & !state_tras[2]);


--txd_buf[4] is txd_buf[4]
txd_buf[4]_p0_out = state_tras[3] & key_entry2 & !txd_buf[4] & A1L331;
txd_buf[4]_p1_out = !state_tras[1] & !state_tras[3] & key_entry2 & !state_tras[2] & !state_tras[0] & !txd_buf[4];
txd_buf[4]_p2_out = !key_entry2 & !txd_buf[4] & !key_entry1;
txd_buf[4]_p4_out = !state_tras[3] & key_entry2 & A1L631 & !txd_buf[5] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1];
txd_buf[4]_or_out = A1L431 # txd_buf[4]_p0_out # txd_buf[4]_p1_out # txd_buf[4]_p2_out # txd_buf[4]_p4_out;
txd_buf[4]_reg_input = !(txd_buf[4]_or_out);
txd_buf[4] = DFFE(txd_buf[4]_reg_input, clkbaud8x, GLOBAL(rst), , );


--txd_buf[3] is txd_buf[3]
txd_buf[3]_p0_out = key_entry2 & state_tras[3] & state_tras[2] & txd_buf[3] & A1L911;
txd_buf[3]_p1_out = key_entry2 & state_tras[3] & !state_tras[2] & state_tras[1] & txd_buf[3];
txd_buf[3]_p2_out = !key_entry2 & txd_buf[3] & !key_entry1;
txd_buf[3]_p4_out = key_entry2 & !state_tras[3] & A1L631 & txd_buf[4] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1];
txd_buf[3]_or_out = A1L131 # txd_buf[3]_p0_out # txd_buf[3]_p1_out # txd_buf[3]_p2_out # txd_buf[3]_p4_out;
txd_buf[3]_reg_input = txd_buf[3]_or_out;
txd_buf[3] = DFFE(txd_buf[3]_reg_input, clkbaud8x, GLOBAL(rst), , );


--txd_buf[2] is txd_buf[2]
txd_buf[2]_p0_out = txd_buf[2] & !send_state[1] & txd_buf[3];
txd_buf[2]_p1_out = txd_buf[2] & A1L94;
txd_buf[2]_p2_out = state_tras[0] & state_tras[3] & !state_tras[2] & txd_buf[2];
txd_buf[2]_p4_out = state_tras[3] & state_tras[2] & txd_buf[2] & !send_state[1];
txd_buf[2]_or_out = A1L821 # txd_buf[2]_p0_out # txd_buf[2]_p1_out # txd_buf[2]_p2_out # txd_buf[2]_p4_out;
txd_buf[2]_reg_input = txd_buf[2]_or_out;
txd_buf[2] = DFFE(txd_buf[2]_reg_input, clkbaud8x, GLOBAL(rst), , );


--txd_buf[1] is txd_buf[1]
txd_buf[1]_p0_out = !key_entry2 & key_entry1;
txd_buf[1]_p1_out = A1L631 & txd_buf[2] & key_entry2 & !state_tras[3] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1];
txd_buf[1]_p2_out = A1L731 & txd_buf[1];
txd_buf[1]_p4_out = state_tras[3] & txd_buf[1] & A1L911 & state_tras[2];
txd_buf[1]_or_out = A1L421 # txd_buf[1]_p0_out # txd_buf[1]_p1_out # txd_buf[1]_p2_out # txd_buf[1]_p4_out;
txd_buf[1]_reg_input = txd_buf[1]_or_out;
txd_buf[1] = DFFE(txd_buf[1]_reg_input, clkbaud8x, GLOBAL(rst), , );


--A1L86 is rtl~4791
A1L86_p1_out = !state_tras[2] & !state_tras[1] & !state_tras[0];
A1L86_p2_out = state_tras[2] & state_tras[1] & state_tras[0] & div8_tras_reg[1] & div8_tras_reg[0] & div8_tras_reg[2] & send_state[1] & send_state[2];
A1L86_p3_out = state_tras[2] & state_tras[1] & state_tras[0] & div8_tras_reg[1] & div8_tras_reg[0] & div8_tras_reg[2] & !send_state[1] & !send_state[2] & send_state[0];
A1L86_or_out = A1L86_p1_out # A1L86_p2_out # A1L86_p3_out # !state_tras[3];
A1L86 = A1L86_or_out;


--A1L96 is rtl~4797
A1L96_p1_out = state_tras[0] & key_entry2;
A1L96_p2_out = key_entry2 & state_tras[3];
A1L96_p3_out = key_entry2 & state_tras[2];
A1L96_p4_out = key_entry2 & state_tras[1];
A1L96_or_out = A1L96_p1_out # A1L96_p2_out # A1L96_p3_out # A1L96_p4_out;
A1L96 = A1L96_or_out;


--A1L27 is rtl~4807
A1L27_p0_out = key_entry2 & !state_tras[3] & state_tras[2];
A1L27_p1_out = key_entry1 & !key_entry2;
A1L27_p2_out = key_entry2 & state_tras[3] & !state_tras[0] & !state_tras[2] & !state_tras[1];
A1L27_p3_out = key_entry2 & state_tras[0] & !state_tras[2] & !state_tras[1] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1];
A1L27_p4_out = key_entry2 & state_tras[0] & state_tras[2] & state_tras[1] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1];
A1L27_or_out = A1L37 # A1L27_p0_out # A1L27_p1_out # A1L27_p2_out # A1L27_p3_out # A1L27_p4_out;
A1L27 = A1L27_or_out;


--txd_buf[0] is txd_buf[0]
txd_buf[0]_p1_out = A1L86 & A1L96 & A1L27 & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & A1L07 & A1L17;
txd_buf[0]_p2_out = A1L86 & A1L96 & !txd_buf[0] & A1L07 & A1L17;
txd_buf[0]_p4_out = !A1L27 & !txd_buf[0];
txd_buf[0]_or_out = txd_buf[0]_p1_out # txd_buf[0]_p2_out # txd_buf[0]_p4_out;
txd_buf[0]_reg_input = !(txd_buf[0]_or_out);
txd_buf[0] = DFFE(txd_buf[0]_reg_input, clkbaud8x, GLOBAL(rst), , );


--A1L341 is txd_reg~60
A1L341 = EXP(div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2);


--txd_reg is txd_reg
txd_reg_p0_out = state_tras[3] & A1L331 & !txd_reg;
txd_reg_p1_out = A1L631 & div8_tras_reg[2] & div8_tras_reg[0] & !state_tras[3] & div8_tras_reg[1] & !txd_buf[0] & key_entry2;
txd_reg_p2_out = div8_tras_reg[2] & div8_tras_reg[0] & !state_tras[3] & div8_tras_reg[1] & key_entry2 & A1L811 & !state_tras[2] & !state_tras[1] & trasstart & !state_tras[0];
txd_reg_or_out = A1L441 # txd_reg_p0_out # txd_reg_p1_out # txd_reg_p2_out;
txd_reg_reg_input = !(txd_reg_or_out);
txd_reg = DFFE(txd_reg_reg_input, clkbaud8x, , rst, );


--A1L66 is reduce_or~5302
A1L66_p1_out = !rxd_buf[3] & !rxd_buf[7] & !rxd_buf[4] & !rxd_buf[5] & rxd_buf[6] & rxd_buf[2] & rxd_buf[1] & !rxd_buf[0];
A1L66_p2_out = !rxd_buf[3] & !rxd_buf[7] & !rxd_buf[4] & !rxd_buf[5] & rxd_buf[6] & !rxd_buf[2] & rxd_buf[0];
A1L66 = A1L66_p1_out # A1L66_p2_out;


--A1L141 is txd_buf[6]~405
A1L141_p0_out = !state_tras[0] & !state_tras[1] & state_tras[3] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2 & !state_tras[2] & txd_buf[6];
A1L141_p1_out = !send_state[1] & state_tras[0] & state_tras[1] & state_tras[3] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2 & state_tras[2] & !txd_buf[6];
A1L141_p2_out = state_tras[0] & state_tras[1] & state_tras[3] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2 & state_tras[2] & !txd_buf[6] & !send_state[2];
A1L141_p3_out = state_tras[0] & !state_tras[1] & state_tras[3] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1] & key_entry2 & !state_tras[2] & !txd_buf[6];
A1L141_p4_out = !key_entry2 & !txd_buf[6] & key_entry1;
A1L141 = A1L141_p0_out # A1L141_p1_out # A1L141_p2_out # A1L141_p3_out # A1L141_p4_out;


--A1L931 is txd_buf[5]~411
A1L931_p0_out = txd_buf[6] & key_entry2 & !state_tras[3] & A1L631 & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1];
A1L931_p1_out = !state_tras[0] & txd_buf[6] & txd_buf[5];
A1L931_p2_out = !state_tras[0] & txd_buf[6] & key_entry2 & !state_tras[1] & state_tras[3] & !state_tras[2] & div8_tras_reg[2] & div8_tras_reg[0] & div8_tras_reg[1];
A1L931_p3_out = !state_tras[0] & txd_buf[5] & !state_tras[1] & !state_tras[3] & !state_tras[2];
A1L931_p4_out = txd_buf[5] & state_tras[1] & state_tras[3] & !state_tras[2];
A1L931 = A1L931_p0_out # A1L931_p1_out # A1L931_p2_out # A1L931_p3_out # A1L931_p4_out;