serial.map.eqn

-- 本模块的功能是验证实现和PC机进行基本的串口通信的功能。需要在 --PC机上安装一个串口调试工具来验证程序的功能。 -- 程序实现了一个收发一帧10个bit（即无奇偶校验位）的串口控 --

B1_div_reg[3]_lut_out = B1L26 & (!B1L66);
B1_div_reg[3] = DFFEAS(B1_div_reg[3]_lut_out, clk, reset, , , , , , );


--B1_div_reg[1] is serial_test:inst|div_reg[1]
--operation mode is normal

B1_div_reg[1]_lut_out = B1L28 & (!B1L66);
B1_div_reg[1] = DFFEAS(B1_div_reg[1]_lut_out, clk, reset, , , , , , );


--B1_div_reg[2] is serial_test:inst|div_reg[2]
--operation mode is normal

B1_div_reg[2]_lut_out = B1L30;
B1_div_reg[2] = DFFEAS(B1_div_reg[2]_lut_out, clk, reset, , , , , , );


--B1_div_reg[0] is serial_test:inst|div_reg[0]
--operation mode is normal

B1_div_reg[0]_lut_out = B1L32 & (!B1L66);
B1_div_reg[0] = DFFEAS(B1_div_reg[0]_lut_out, clk, reset, , , , , , );


--B1L65 is serial_test:inst|Equal~280
--operation mode is normal

B1L65 = B1_div_reg[3] & B1_div_reg[1] & !B1_div_reg[2] & !B1_div_reg[0];


--B1L66 is serial_test:inst|Equal~281
--operation mode is normal

B1L66 = B1L62 & B1L63 & B1L64 & B1L65;


--B1_rxd_reg1 is serial_test:inst|rxd_reg1
--operation mode is normal

B1_rxd_reg1_lut_out = rxd_usb;
B1_rxd_reg1 = DFFEAS(B1_rxd_reg1_lut_out, B1_clkbaud8x, reset, , , , , , );


--B1_recstart is serial_test:inst|recstart
--operation mode is normal

B1_recstart_lut_out = B1L67 & (B1_recstart_tmp # B1_recstart & B1L79) # !B1L67 & B1_recstart & B1L79;
B1_recstart = DFFEAS(B1_recstart_lut_out, B1_clkbaud8x, reset, , , , , , );


--B1L101 is serial_test:inst|state_rec[1]~865
--operation mode is normal

B1L101 = B1_state_rec[3] & (!B1_div8_rec_reg[1] # !B1L61) # !B1_state_rec[3] & !B1_div8_rec_reg[1] & (B1_state_rec[0] # !B1L61);


--B1L67 is serial_test:inst|Equal~282
--operation mode is normal

B1L67 = !B1_state_rec[3] & !B1_state_rec[0] & !B1_state_rec[2] & !B1_state_rec[1];


--B1_recstart_tmp is serial_test:inst|recstart_tmp
--operation mode is normal

B1_recstart_tmp_lut_out = B1_recstart_tmp & (!B1L67) # !B1_recstart_tmp & B1_rxd_reg2 & !B1_rxd_reg1 & B1L67;
B1_recstart_tmp = DFFEAS(B1_recstart_tmp_lut_out, B1_clkbaud8x, reset, , , , , , );


--B1L102 is serial_test:inst|state_rec[1]~866
--operation mode is normal

B1L102 = B1L67 & (!B1_recstart_tmp) # !B1L67 & (!B1_div8_rec_reg[0] # !B1_div8_rec_reg[2]);


--B1L103 is serial_test:inst|state_rec[1]~867
--operation mode is normal

B1L103 = B1L101 # B1L102;


--B1L1 is serial_test:inst|add~596
--operation mode is normal

B1L1 = B1_state_rec[0] & B1_state_rec[1];


--B1L106 is serial_test:inst|state_rec~868
--operation mode is normal

B1L106 = B1_state_rec[3] & (B1_state_rec[0] # B1_state_rec[2] # B1_state_rec[1]);


--B1L2 is serial_test:inst|add~597
--operation mode is normal

B1L2 = B1_state_rec[0] & B1_state_rec[2] & B1_state_rec[1];


--B1L74 is serial_test:inst|Mux~2294
--operation mode is normal

B1L74 = B1_state_tras[3] & B1_state_tras[1];


--B1L75 is serial_test:inst|Mux~2295
--operation mode is normal

B1L75 = B1_send_state[1] & (!B1_send_state[2]);


--B1_txd_buf[2] is serial_test:inst|txd_buf[2]
--operation mode is normal

B1_txd_buf[2]_lut_out = B1L122 & !B1_txd_buf[3] # !B1L122 & (!B1L76);
B1_txd_buf[2] = DFFEAS(B1_txd_buf[2]_lut_out, B1_clkbaud8x, reset, , B1L124, , , , );


--B1L3 is serial_test:inst|add~598
--operation mode is normal

B1L3_carry_eqn = B1L5;
B1L3 = B1_div_reg[15] $ (B1L3_carry_eqn);


--B1L4 is serial_test:inst|add~603
--operation mode is arithmetic

B1L4_carry_eqn = B1L7;
B1L4 = B1_div_reg[14] $ (!B1L4_carry_eqn);

--B1L5 is serial_test:inst|add~605
--operation mode is arithmetic

B1L5 = CARRY(B1_div_reg[14] & (!B1L7));


--B1L6 is serial_test:inst|add~608
--operation mode is arithmetic

B1L6_carry_eqn = B1L9;
B1L6 = B1_div_reg[13] $ (B1L6_carry_eqn);

--B1L7 is serial_test:inst|add~610
--operation mode is arithmetic

B1L7 = CARRY(!B1L9 # !B1_div_reg[13]);


--B1L8 is serial_test:inst|add~613
--operation mode is arithmetic

B1L8_carry_eqn = B1L11;
B1L8 = B1_div_reg[12] $ (!B1L8_carry_eqn);

--B1L9 is serial_test:inst|add~615
--operation mode is arithmetic

B1L9 = CARRY(B1_div_reg[12] & (!B1L11));


--B1L10 is serial_test:inst|add~618
--operation mode is arithmetic

B1L10_carry_eqn = B1L13;
B1L10 = B1_div_reg[11] $ (B1L10_carry_eqn);

--B1L11 is serial_test:inst|add~620
--operation mode is arithmetic

B1L11 = CARRY(!B1L13 # !B1_div_reg[11]);


--B1L12 is serial_test:inst|add~623
--operation mode is arithmetic

B1L12_carry_eqn = B1L15;
B1L12 = B1_div_reg[10] $ (!B1L12_carry_eqn);

--B1L13 is serial_test:inst|add~625
--operation mode is arithmetic

B1L13 = CARRY(B1_div_reg[10] & (!B1L15));


--B1L14 is serial_test:inst|add~628
--operation mode is arithmetic

B1L14_carry_eqn = B1L17;
B1L14 = B1_div_reg[9] $ (B1L14_carry_eqn);

--B1L15 is serial_test:inst|add~630
--operation mode is arithmetic

B1L15 = CARRY(!B1L17 # !B1_div_reg[9]);


--B1L16 is serial_test:inst|add~633
--operation mode is arithmetic

B1L16_carry_eqn = B1L21;
B1L16 = B1_div_reg[8] $ (!B1L16_carry_eqn);

--B1L17 is serial_test:inst|add~635
--operation mode is arithmetic

B1L17 = CARRY(B1_div_reg[8] & (!B1L21));


--B1L18 is serial_test:inst|add~638
--operation mode is arithmetic

B1L18_carry_eqn = B1L27;
B1L18 = B1_div_reg[4] $ (!B1L18_carry_eqn);

--B1L19 is serial_test:inst|add~640
--operation mode is arithmetic

B1L19 = CARRY(B1_div_reg[4] & (!B1L27));


--B1L20 is serial_test:inst|add~643
--operation mode is arithmetic

B1L20_carry_eqn = B1L23;
B1L20 = B1_div_reg[7] $ (B1L20_carry_eqn);

--B1L21 is serial_test:inst|add~645
--operation mode is arithmetic

B1L21 = CARRY(!B1L23 # !B1_div_reg[7]);


--B1L22 is serial_test:inst|add~648
--operation mode is arithmetic

B1L22_carry_eqn = B1L25;
B1L22 = B1_div_reg[6] $ (!B1L22_carry_eqn);

--B1L23 is serial_test:inst|add~650
--operation mode is arithmetic

B1L23 = CARRY(B1_div_reg[6] & (!B1L25));


--B1L24 is serial_test:inst|add~653
--operation mode is arithmetic

B1L24_carry_eqn = B1L19;
B1L24 = B1_div_reg[5] $ (B1L24_carry_eqn);

--B1L25 is serial_test:inst|add~655
--operation mode is arithmetic

B1L25 = CARRY(!B1L19 # !B1_div_reg[5]);


--B1L26 is serial_test:inst|add~658
--operation mode is arithmetic

B1L26_carry_eqn = B1L31;
B1L26 = B1_div_reg[3] $ (B1L26_carry_eqn);

--B1L27 is serial_test:inst|add~660
--operation mode is arithmetic

B1L27 = CARRY(!B1L31 # !B1_div_reg[3]);


--B1L28 is serial_test:inst|add~663
--operation mode is arithmetic

B1L28_carry_eqn = B1L33;
B1L28 = B1_div_reg[1] $ (B1L28_carry_eqn);

--B1L29 is serial_test:inst|add~665
--operation mode is arithmetic

B1L29 = CARRY(!B1L33 # !B1_div_reg[1]);


--B1L30 is serial_test:inst|add~668
--operation mode is arithmetic

B1L30_carry_eqn = B1L29;
B1L30 = B1_div_reg[2] $ (!B1L30_carry_eqn);

--B1L31 is serial_test:inst|add~670
--operation mode is arithmetic

B1L31 = CARRY(B1_div_reg[2] & (!B1L29));


--B1L32 is serial_test:inst|add~673
--operation mode is arithmetic

B1L32 = !B1_div_reg[0];

--B1L33 is serial_test:inst|add~675
--operation mode is arithmetic

B1L33 = CARRY(B1_div_reg[0]);


--B1L79 is serial_test:inst|recstart~195
--operation mode is normal

B1L79 = !B1L89 # !B1L61 # !B1_state_rec[0] # !B1_state_rec[3];


--B1_txd_buf[3] is serial_test:inst|txd_buf[3]
--operation mode is normal

B1_txd_buf[3]_lut_out = B1L124 & (B1L126 # B1L127) # !B1L124 & B1_txd_buf[3];
B1_txd_buf[3] = DFFEAS(B1_txd_buf[3]_lut_out, B1_clkbaud8x, reset, , , , , , );


--B1L76 is serial_test:inst|Mux~2297
--operation mode is normal

B1L76 = B1_send_state[0] & !B1_send_state[2] # !B1_send_state[1] # !B1_state_tras[1];


--B1L126 is serial_test:inst|txd_buf[3]~2388
--operation mode is normal

B1L126 = B1L70 & (B1_send_state[0] & (!B1_send_state[2]) # !B1_send_state[0] & !B1_send_state[1] & B1_send_state[2]);


--B1_txd_buf[4] is serial_test:inst|txd_buf[4]
--operation mode is normal

B1_txd_buf[4]_lut_out = B1L60 & (B1L123 & (B1_txd_buf[4]) # !B1L123 & !B1L129) # !B1L60 & (B1_txd_buf[4]);
B1_txd_buf[4] = DFFEAS(B1_txd_buf[4]_lut_out, B1_clkbaud8x, reset, , , , , , );


--B1L127 is serial_test:inst|txd_buf[3]~2389
--operation mode is normal

B1L127 = !B1_txd_buf[4] & (!B1_state_tras[2] & !B1_state_tras[0] # !B1_state_tras[3]);


--B1_txd_buf[5] is serial_test:inst|txd_buf[5]
--operation mode is normal

B1_txd_buf[5]_lut_out = B1L74 & B1L138 & (B1_txd_buf[6] # !B1L122) # !B1L74 & (B1_txd_buf[6] # !B1L122);
B1_txd_buf[5] = DFFEAS(B1_txd_buf[5]_lut_out, B1_clkbaud8x, reset, , B1L124, , , , );


--B1L129 is serial_test:inst|txd_buf[4]~2391
--operation mode is normal

B1L129 = B1_state_tras[3] & !B1_state_tras[2] & (B1_state_tras[0] # !B1_txd_buf[5]) # !B1_state_tras[3] & (!B1_txd_buf[5]);


--B1L138 is serial_test:inst|txd_reg~775
--operation mode is normal

B1L138 = B1_send_state[2] & B1_send_state[1];


--B1_txd_buf[6] is serial_test:inst|txd_buf[6]
--operation mode is normal

B1_txd_buf[6]_lut_out = B1L122 # B1_send_state[2] & B1_send_state[1] & B1_state_tras[1];
B1_txd_buf[6] = DFFEAS(B1_txd_buf[6]_lut_out, B1_clkbaud8x, reset, , B1L124, , , , );


--B1L124 is serial_test:inst|txd_buf[2]~2393
--operation mode is normal

B1L124 = B1_div8_tras_reg[2] & B1_div8_tras_reg[1] & B1_div8_tras_reg[0] & !B1L123;


--B1L116 is serial_test:inst|trasstart~477
--operation mode is normal

B1L116 = B1L60 & (B1_state_tras[1] & (!B1_state_tras[2] # !B1_state_tras[0]) # !B1_state_tras[1] & (B1_state_tras[2])) # !B1L60 & (B1_state_tras[2]);


--B1L117 is serial_test:inst|trasstart~478
--operation mode is normal

B1L117 = B1L116 & B1_state_tras[3] & (B1L60 # B1_trasstart);


--reset is reset
--operation mode is input

reset = INPUT();


--clk is clk
--operation mode is input

clk = INPUT();


--rxd_usb is rxd_usb
--operation mode is input

rxd_usb = INPUT();


--txd_usb is txd_usb
--operation mode is output

txd_usb = OUTPUT(!B1_txd_reg);


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

led[7] = OUTPUT(B1_rxd_buf[7]);


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

led[6] = OUTPUT(B1_rxd_buf[6]);


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

led[5] = OUTPUT(B1_rxd_buf[5]);


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

led[4] = OUTPUT(B1_rxd_buf[4]);


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

led[3] = OUTPUT(B1_rxd_buf[3]);


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

led[2] = OUTPUT(B1_rxd_buf[2]);


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

led[1] = OUTPUT(B1_rxd_buf[1]);


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

led[0] = OUTPUT(B1_rxd_buf[0]);