uart.map.eqn

在ＶＨＤＬ上编写了UART通信协议

--A1L50 is over[1]~231
--operation mode is normal

A1L50 = !cs & (A1L71 # !rd);


--A1L155 is txdcnt[3]~186
--operation mode is normal

A1L155 = sst[1] & (!sst[2] & !cs);


--rbuf[0] is rbuf[0]
--operation mode is normal

rbuf[0]_lut_out = r_shift[1];
rbuf[0] = DFFEAS(rbuf[0]_lut_out, clk16, VCC, , A1L70, , , , );


--rbuf[1] is rbuf[1]
--operation mode is normal

rbuf[1]_lut_out = r_shift[2];
rbuf[1] = DFFEAS(rbuf[1]_lut_out, clk16, VCC, , A1L70, , , , );


--rbuf[2] is rbuf[2]
--operation mode is normal

rbuf[2]_lut_out = r_shift[3];
rbuf[2] = DFFEAS(rbuf[2]_lut_out, clk16, VCC, , A1L70, , , , );


--rbuf[3] is rbuf[3]
--operation mode is normal

rbuf[3]_lut_out = r_shift[4];
rbuf[3] = DFFEAS(rbuf[3]_lut_out, clk16, VCC, , A1L70, , , , );


--rbuf[4] is rbuf[4]
--operation mode is normal

rbuf[4]_lut_out = r_shift[5];
rbuf[4] = DFFEAS(rbuf[4]_lut_out, clk16, VCC, , A1L70, , , , );


--rbuf[5] is rbuf[5]
--operation mode is normal

rbuf[5]_lut_out = r_shift[6];
rbuf[5] = DFFEAS(rbuf[5]_lut_out, clk16, VCC, , A1L70, , , , );


--rbuf[6] is rbuf[6]
--operation mode is normal

rbuf[6]_lut_out = r_shift[7];
rbuf[6] = DFFEAS(rbuf[6]_lut_out, clk16, VCC, , A1L70, , , , );


--rbuf[7] is rbuf[7]
--operation mode is normal

rbuf[7]_lut_out = r_shift[8];
rbuf[7] = DFFEAS(rbuf[7]_lut_out, clk16, VCC, , A1L70, , , , );


--t_shift[2] is t_shift[2]
--operation mode is normal

t_shift[2]_lut_out = sst[1] & (sst[2] & tbuf[1] # !sst[2] & (t_shift[3])) # !sst[1] & tbuf[1];
t_shift[2] = DFFEAS(t_shift[2]_lut_out, clk1, VCC, , A1L90, , , , );


--cnt[0] is cnt[0]
--operation mode is normal

cnt[0]_lut_out = !cnt[0] & (A1L91 # !receive);
cnt[0] = DFFEAS(cnt[0]_lut_out, clk16, !A1L156, , A1L10, , , , );


--cnt[3] is cnt[3]
--operation mode is normal

cnt[3]_lut_out = A1L91 & (cnt[3] $ A1L92) # !A1L91 & !receive & (cnt[3] $ A1L92);
cnt[3] = DFFEAS(cnt[3]_lut_out, clk16, !A1L156, , A1L10, , , , );


--cnt[2] is cnt[2]
--operation mode is normal

cnt[2]_lut_out = A1L91 & (cnt[2] $ A1L2) # !A1L91 & !receive & (cnt[2] $ A1L2);
cnt[2] = DFFEAS(cnt[2]_lut_out, clk16, !A1L156, , A1L10, , , , );


--cnt[1] is cnt[1]
--operation mode is normal

cnt[1]_lut_out = A1L91 & (cnt[0] $ cnt[1]) # !A1L91 & !receive & (cnt[0] $ cnt[1]);
cnt[1] = DFFEAS(cnt[1]_lut_out, clk16, !A1L156, , A1L10, , , , );


--A1L64 is r_shift[9]~229
--operation mode is normal

A1L64 = cnt[3] & (!cnt[2] & !cnt[1]);


--A1L65 is r_shift[9]~230
--operation mode is normal

A1L65 = cnt[0] & A1L64 & (!cs);


--tem8 is tem8
--operation mode is normal

tem8_lut_out = A1L147 & (cs & tem8 # !cs & (rxd)) # !A1L147 & tem8;
tem8 = DFFEAS(tem8_lut_out, clk16, !A1L156, , , , , , );


--rxd is rxd
rxd = INPUT();


--tem7 is tem7
--operation mode is normal

tem7_lut_out = A1L145 & (cnt[3] & tem7 # !cnt[3] & (rxd)) # !A1L145 & tem7;
tem7 = DFFEAS(tem7_lut_out, clk16, !A1L156, , , , , , );


--A1L147 is tem8~89
--operation mode is normal

A1L147 = cnt[3] & !cnt[0] & !cnt[2] & !cnt[1];


--A1L104 is sm2~374
--operation mode is normal

A1L104 = r_shift[1] & r_shift[10];


--A1L105 is sm2~375
--operation mode is normal

A1L105 = receive & A1L104 & !cs & !A1L91;


--A1L106 is sm2~376
--operation mode is normal

A1L106 = r_shift[4] & r_shift[3] & r_shift[2] # !r_shift[4] & (r_shift[3] # r_shift[2]);


--A1L107 is sm2~377
--operation mode is normal

A1L107 = r_shift[8] & (r_shift[7] & r_shift[4] # !sm2) # !r_shift[8] & !sm2 & (r_shift[7] # r_shift[4]);


--A1L108 is sm2~378
--operation mode is normal

A1L108 = r_shift[6] & r_shift[5] & A1L106 & A1L107 # !r_shift[6] & (r_shift[5] # A1L106 # A1L107);


--A1L85 is rtl~13
--operation mode is normal

A1L85 = cnt[0] & cnt[3] & cnt[2] & cnt[1];


--A1L70 is rbuf[0]~7
--operation mode is normal

A1L70 = rst & A1L71 & !cs & !A1L53;


--t_shift[3] is t_shift[3]
--operation mode is normal

t_shift[3]_lut_out = sst[1] & (sst[2] & tbuf[2] # !sst[2] & (t_shift[4])) # !sst[1] & tbuf[2];
t_shift[3] = DFFEAS(t_shift[3]_lut_out, clk1, VCC, , A1L90, , , , );


--A1L10 is cnt[3]~238
--operation mode is normal

A1L10 = !cs & (receive # !rxd);


--A1L92 is rtl~218
--operation mode is normal

A1L92 = cnt[0] & cnt[2] & cnt[1];


--A1L2 is add~278
--operation mode is normal

A1L2 = cnt[0] & cnt[1];


--A1L145 is tem7~93
--operation mode is normal

A1L145 = cnt[0] & cnt[2] & cnt[1] & !cs;


--t_shift[4] is t_shift[4]
--operation mode is normal

t_shift[4]_lut_out = sst[1] & (sst[2] & tbuf[3] # !sst[2] & (t_shift[5])) # !sst[1] & tbuf[3];
t_shift[4] = DFFEAS(t_shift[4]_lut_out, clk1, VCC, , A1L90, , , , );


--t_shift[5] is t_shift[5]
--operation mode is normal

t_shift[5]_lut_out = sst[1] & (sst[2] & tbuf[4] # !sst[2] & (t_shift[6])) # !sst[1] & tbuf[4];
t_shift[5] = DFFEAS(t_shift[5]_lut_out, clk1, VCC, , A1L90, , , , );


--t_shift[6] is t_shift[6]
--operation mode is normal

t_shift[6]_lut_out = sst[1] & (sst[2] & tbuf[5] # !sst[2] & (t_shift[7])) # !sst[1] & tbuf[5];
t_shift[6] = DFFEAS(t_shift[6]_lut_out, clk1, VCC, , A1L90, , , , );


--t_shift[7] is t_shift[7]
--operation mode is normal

t_shift[7]_lut_out = sst[1] & (sst[2] & tbuf[6] # !sst[2] & (t_shift[8])) # !sst[1] & tbuf[6];
t_shift[7] = DFFEAS(t_shift[7]_lut_out, clk1, VCC, , A1L90, , , , );


--t_shift[8] is t_shift[8]
--operation mode is normal

t_shift[8]_lut_out = sst[1] & (sst[2] & tbuf[7] # !sst[2] & (t_shift[9])) # !sst[1] & tbuf[7];
t_shift[8] = DFFEAS(t_shift[8]_lut_out, clk1, VCC, , A1L90, , , , );


--t_shift[9] is t_shift[9]
--operation mode is normal

t_shift[9]_lut_out = A1L89 & t_shift[10] # !A1L89 & (A1L133 $ A1L134);
t_shift[9] = DFFEAS(t_shift[9]_lut_out, clk1, VCC, , A1L90, , , , );


--t_shift[10] is t_shift[10]
--operation mode is normal

t_shift[10]_lut_out = ad # sst[1] & (!sst[2]);
t_shift[10] = DFFEAS(t_shift[10]_lut_out, clk1, VCC, , A1L90, , , , );


--A1L133 is t_shift~481
--operation mode is normal

A1L133 = tbuf[0] $ tbuf[1] $ tbuf[2] $ tbuf[3];


--A1L134 is t_shift~482
--operation mode is normal

A1L134 = tbuf[4] $ tbuf[5] $ tbuf[6] $ tbuf[7];


--ad is ad
ad = INPUT();


--tbuf[0] is tbuf[0]
--operation mode is normal

tbuf[0] = wr & (tbuf[0]) # !wr & A1L14;


--tbuf[1] is tbuf[1]
--operation mode is normal

tbuf[1] = wr & (tbuf[1]) # !wr & A1L18;


--tbuf[2] is tbuf[2]
--operation mode is normal

tbuf[2] = wr & (tbuf[2]) # !wr & A1L22;


--tbuf[3] is tbuf[3]
--operation mode is normal

tbuf[3] = wr & (tbuf[3]) # !wr & A1L26;


--tbuf[4] is tbuf[4]
--operation mode is normal

tbuf[4] = wr & (tbuf[4]) # !wr & A1L30;


--tbuf[5] is tbuf[5]
--operation mode is normal

tbuf[5] = wr & (tbuf[5]) # !wr & A1L34;


--tbuf[6] is tbuf[6]
--operation mode is normal

tbuf[6] = wr & (tbuf[6]) # !wr & A1L38;


--tbuf[7] is tbuf[7]
--operation mode is normal

tbuf[7] = wr & (tbuf[7]) # !wr & A1L42;


--A1L14 is data[0]~7
--operation mode is bidir

A1L14 = A1L16;

--A1L16 is data[0]~32
--operation mode is bidir

A1L16_tri_out = TRI(rbuf[0], !rd);
A1L16 = BIDIR(A1L16_tri_out);


--A1L18 is data[1]~6
--operation mode is bidir

A1L18 = A1L20;

--A1L20 is data[1]~33
--operation mode is bidir

A1L20_tri_out = TRI(rbuf[1], !rd);
A1L20 = BIDIR(A1L20_tri_out);


--A1L22 is data[2]~5
--operation mode is bidir

A1L22 = A1L24;

--A1L24 is data[2]~34
--operation mode is bidir

A1L24_tri_out = TRI(rbuf[2], !rd);
A1L24 = BIDIR(A1L24_tri_out);


--A1L26 is data[3]~4
--operation mode is bidir

A1L26 = A1L28;

--A1L28 is data[3]~35
--operation mode is bidir

A1L28_tri_out = TRI(rbuf[3], !rd);
A1L28 = BIDIR(A1L28_tri_out);


--A1L30 is data[4]~3
--operation mode is bidir

A1L30 = A1L32;

--A1L32 is data[4]~36
--operation mode is bidir

A1L32_tri_out = TRI(rbuf[4], !rd);
A1L32 = BIDIR(A1L32_tri_out);


--A1L34 is data[5]~2
--operation mode is bidir

A1L34 = A1L36;

--A1L36 is data[5]~37
--operation mode is bidir

A1L36_tri_out = TRI(rbuf[5], !rd);
A1L36 = BIDIR(A1L36_tri_out);


--A1L38 is data[6]~1
--operation mode is bidir

A1L38 = A1L40;

--A1L40 is data[6]~38
--operation mode is bidir

A1L40_tri_out = TRI(rbuf[6], !rd);
A1L40 = BIDIR(A1L40_tri_out);


--A1L42 is data[7]~0
--operation mode is bidir

A1L42 = A1L44;

--A1L44 is data[7]~39
--operation mode is bidir

A1L44_tri_out = TRI(rbuf[7], !rd);
A1L44 = BIDIR(A1L44_tri_out);


--A1L93 is rtl~219
--operation mode is normal

A1L93 = !A1L86;


--A1L157 is txd~32
--operation mode is normal

A1L157 = !A1L158Q;