a8251.fit.eqn

8251的完整的功能的实现,可以进行编译,综合.

LB1L4 = !LB1_state.stop1 & !LB1_state.start;


--LB1L5 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|div_cnt_clr~480 at LC_X28_Y30_N7
--operation mode is normal

LB1L5 = V1L7 & !LB1_state.stop2 & LB1L4 # !K1_tx_resetn;


--LB1L6 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|div_cnt_clr~481 at LC_X29_Y31_N5
--operation mode is normal

LB1L6 = LB1_state.data # LB1_state.start # LB1_state.stop1 # LB1_state.parity;


--LB1L7 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|div_cnt_clr~482 at LC_X28_Y30_N2
--operation mode is normal

LB1L7 = JB1L52 & LB1L21 & LB1L6 # !LB1L33;


--LB1L8 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|div_cnt_clr~483 at LC_X27_Y30_N9
--operation mode is normal

LB1L8 = LB1L5 # !V1L7 & (LB1L43 # LB1L7);


--K1_rx_resetn is proc:i_procintf|proc_cmd_reg:I_proc_cmd_reg|rx_resetn at LC_X34_Y28_N1
--operation mode is normal

K1_rx_resetn_lut_out = VCC;
K1_rx_resetn = DFFEAS(K1_rx_resetn_lut_out, GLOBAL(nRxC), !GLOBAL(K1L71), , , , , , );


--L1L8 is proc:i_procintf|proc_dec:I_proc_dec|sts_read~2 at LC_X28_Y27_N8
--operation mode is normal

L1L8 = N1_init_done & !nRD & !nCS;


--X1L2 is rx:i_rx|rx_ready_reg:I_rx_ready_reg|reg_proc~1 at LC_X37_Y27_N9
--operation mode is normal

X1_frame_clr_qfbk = X1_frame_clr;
X1L2 = X1_frame_clr_qfbk # !CnD & L1L8 # !reset;

--X1_frame_clr is rx:i_rx|rx_ready_reg:I_rx_ready_reg|frame_clr at LC_X37_Y27_N9
--operation mode is normal

X1_frame_clr = DFFEAS(X1L2, K1_cmd_reg[4], !X1L4, , , Q3_error, , , VCC);


--K1_cmd_reg[2] is proc:i_procintf|proc_cmd_reg:I_proc_cmd_reg|cmd_reg[2] at LC_X32_Y30_N3
--operation mode is normal

K1_cmd_reg[2]_lut_out = !K1_hunt & C1_LatchedData[2]$latch & (K1_int_proc_resetn1 # !K1_cmd_reg[6]);
K1_cmd_reg[2] = DFFEAS(K1_cmd_reg[2]_lut_out, GLOBAL(clk), GLOBAL(reset), , A1L34, , , , );


--CB1L31 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|Select~1366 at LC_X36_Y28_N6
--operation mode is normal

K1_int_hunt2_qfbk = K1_int_hunt2;
CB1L31 = K1_cmd_reg[2] & (K1_int_hunt2_qfbk # !K1_int_hunt1);

--K1_int_hunt2 is proc:i_procintf|proc_cmd_reg:I_proc_cmd_reg|int_hunt2 at LC_X36_Y28_N6
--operation mode is normal

K1_int_hunt2 = DFFEAS(CB1L31, GLOBAL(nRxC), GLOBAL(reset), , , K1_int_hunt1, , , VCC);


--CB1_state.sync_parity is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|state.sync_parity at LC_X35_Y28_N6
--operation mode is normal

CB1_state.sync_parity_lut_out = CB1L4 & CB1L81 & (K1_rx_resetn);
CB1_state.sync_parity = DFFEAS(CB1_state.sync_parity_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , , );


--CB1_state.sample_stop2 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|state.sample_stop2 at LC_X36_Y28_N2
--operation mode is normal

CB1_state.sample_stop2_lut_out = CB1_state.wait_stop2 & K1_rx_resetn & CB1L5;
CB1_state.sample_stop2 = DFFEAS(CB1_state.sample_stop2_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , , );


--CB1_state.db1_stop2 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|state.db1_stop2 at LC_X36_Y28_N7
--operation mode is normal

CB1_state.db1_stop2_lut_out = M1_int_dout[6] & K1_rx_resetn & M1_int_dout[7] & CB1_state.db1_stop1;
CB1_state.db1_stop2 = DFFEAS(CB1_state.db1_stop2_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , , );


--CB1L41 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|Select~1367 at LC_X36_Y28_N9
--operation mode is normal

CB1L41 = !CB1_state.db1_stop2 & !CB1_state.sample_stop2;


--CB1L01 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|reduce_nor~3 at LC_X37_Y27_N4
--operation mode is normal

CB1L01 = M1_int_dout[6] & M1_int_dout[7];


--CB1_state.db1_stop1 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|state.db1_stop1 at LC_X35_Y28_N0
--operation mode is normal

CB1_state.db1_stop1_lut_out = CB1_state.db1_parity # !M1_int_dout[4] & CB1_state.db1_data & T1L21;
CB1_state.db1_stop1 = DFFEAS(CB1_state.db1_stop1_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , !K1_rx_resetn, );


--CB1_state.sample_stop1 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|state.sample_stop1 at LC_X37_Y28_N8
--operation mode is normal

CB1_state.sample_stop1_lut_out = CB1L2 & BB1L32 & CB1_state.wait_stop1 & K1_rx_resetn;
CB1_state.sample_stop1 = DFFEAS(CB1_state.sample_stop1_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , , );


--CB1L51 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|Select~1368 at LC_X36_Y28_N0
--operation mode is normal

CB1L51 = CB1L41 & (CB1L01 # !CB1_state.db1_stop1 & !CB1_state.sample_stop1);


--CB1L61 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|Select~1369 at LC_X35_Y28_N4
--operation mode is normal

CB1L61 = CB1L31 & CB1_state.sync_parity # !CB1L51;


--CB1_state.sync_data is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|state.sync_data at LC_X34_Y29_N4
--operation mode is normal

CB1_state.sync_data_lut_out = CB1L02 # CB1_state.wait_sync # CB1L91 # CB1L12;
CB1_state.sync_data = DFFEAS(CB1_state.sync_data_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , !K1_rx_resetn, );


--T1_int_dout[2] is rx:i_rx|rx_data_cnt:i_rx_data_cnt|int_dout[2] at LC_X36_Y29_N8
--operation mode is arithmetic

T1_int_dout[2]_lut_out = T1_int_dout[2] $ (!T1L91);
T1_int_dout[2] = DFFEAS(T1_int_dout[2]_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , T1L5, );

--T1L22 is rx:i_rx|rx_data_cnt:i_rx_data_cnt|int_dout[2]~29 at LC_X36_Y29_N8
--operation mode is arithmetic

T1L22_cout_0 = T1_int_dout[2] & (!T1L91);
T1L22 = CARRY(T1L22_cout_0);

--T1L32 is rx:i_rx|rx_data_cnt:i_rx_data_cnt|int_dout[2]~29COUT1_51 at LC_X36_Y29_N8
--operation mode is arithmetic

T1L32_cout_1 = T1_int_dout[2] & (!T1L02);
T1L32 = CARRY(T1L32_cout_1);


--V1_state.hunt_sync is rx:i_rx|rx_det_cntrl:i_rx_det_cntrl|state.hunt_sync at LC_X33_Y29_N0
--operation mode is normal

V1_state.hunt_sync_lut_out = V1L21 # V1L01 # Z1L82 & V1L31;
V1_state.hunt_sync = DFFEAS(V1_state.hunt_sync_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , , );


--V1_state.find_sync2 is rx:i_rx|rx_det_cntrl:i_rx_det_cntrl|state.find_sync2 at LC_X33_Y29_N7
--operation mode is normal

V1_state.find_sync2_lut_out = V1L6 # !M1_int_dout[6] & !M1_int_dout[7] & V1L5;
V1_state.find_sync2 = DFFEAS(V1_state.find_sync2_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , , );


--T1L7 is rx:i_rx|rx_data_cnt:i_rx_data_cnt|comp_one~932 at LC_X33_Y29_N3
--operation mode is normal

T1L7 = M1_int_dout[6] # !V1_state.find_sync2 & !V1_state.hunt_sync # !M1_int_dout[4];


--T1L8 is rx:i_rx|rx_data_cnt:i_rx_data_cnt|comp_one~933 at LC_X33_Y28_N5
--operation mode is normal

T1L8 = !K1_rx_resetn # !M1_int_dout[3] # !M1_int_dout[2];


--T1_int_dout[3] is rx:i_rx|rx_data_cnt:i_rx_data_cnt|int_dout[3] at LC_X36_Y29_N9
--operation mode is normal

T1_int_dout[3]_lut_out = T1L22 $ T1_int_dout[3];
T1_int_dout[3] = DFFEAS(T1_int_dout[3]_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , T1L5, );


--T1L01 is rx:i_rx|rx_data_cnt:i_rx_data_cnt|data_tc~83 at LC_X34_Y28_N7
--operation mode is normal

T1L01 = T1_int_dout[2] & !T1_int_dout[3] & (T1L8 # T1L7) # !T1_int_dout[2] & !T1L8 & T1_int_dout[3] & !T1L7;


--T1_int_dout[1] is rx:i_rx|rx_data_cnt:i_rx_data_cnt|int_dout[1] at LC_X36_Y29_N7
--operation mode is arithmetic

T1_int_dout[1]_lut_out = T1_int_dout[1] $ (T1L61);
T1_int_dout[1] = DFFEAS(T1_int_dout[1]_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , T1L5, );

--T1L91 is rx:i_rx|rx_data_cnt:i_rx_data_cnt|int_dout[1]~37 at LC_X36_Y29_N7
--operation mode is arithmetic

T1L91_cout_0 = !T1L61 # !T1_int_dout[1];
T1L91 = CARRY(T1L91_cout_0);

--T1L02 is rx:i_rx|rx_data_cnt:i_rx_data_cnt|int_dout[1]~37COUT1_49 at LC_X36_Y29_N7
--operation mode is arithmetic

T1L02_cout_1 = !T1L71 # !T1_int_dout[1];
T1L02 = CARRY(T1L02_cout_1);


--V1L03 is rx:i_rx|rx_det_cntrl:i_rx_det_cntrl|sync_en~54 at LC_X34_Y28_N2
--operation mode is normal

V1L03 = !M1_int_dout[6] & K1_rx_resetn & (V1_state.find_sync2 # V1_state.hunt_sync);


--T1L6 is rx:i_rx|rx_data_cnt:i_rx_data_cnt|comp_one[1]~934 at LC_X34_Y28_N3
--operation mode is normal

T1L6 = M1_int_dout[3] $ (M1_int_dout[4] & M1_int_dout[2] & V1L03);


--T1_int_dout[0] is rx:i_rx|rx_data_cnt:i_rx_data_cnt|int_dout[0] at LC_X36_Y29_N6
--operation mode is arithmetic

T1_int_dout[0]_lut_out = F1L1 $ T1_int_dout[0];
T1_int_dout[0] = DFFEAS(T1_int_dout[0]_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , T1L5, );

--T1L61 is rx:i_rx|rx_data_cnt:i_rx_data_cnt|int_dout[0]~41 at LC_X36_Y29_N6
--operation mode is arithmetic

T1L61_cout_0 = F1L1 & T1_int_dout[0];
T1L61 = CARRY(T1L61_cout_0);

--T1L71 is rx:i_rx|rx_data_cnt:i_rx_data_cnt|int_dout[0]~41COUT1_48 at LC_X36_Y29_N6
--operation mode is arithmetic

T1L71_cout_1 = F1L1 & T1_int_dout[0];
T1L71 = CARRY(T1L71_cout_1);


--T1L31 is rx:i_rx|rx_data_cnt:i_rx_data_cnt|equal~0 at LC_X34_Y28_N6
--operation mode is normal

T1L31 = M1_int_dout[2] $ T1_int_dout[0] $ (M1_int_dout[4] & V1L03);


--T1L11 is rx:i_rx|rx_data_cnt:i_rx_data_cnt|data_tc~84 at LC_X34_Y28_N8
--operation mode is normal

T1L11 = !T1L31 & T1L01 & (T1_int_dout[1] $ !T1L6);


--CB1L71 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|Select~1370 at LC_X34_Y28_N9
--operation mode is normal

CB1L71 = !M1_int_dout[4] & CB1_state.sync_data & reset & T1L11;


--A1L15 is rtl~14 at LC_X35_Y31_N4
--operation mode is normal

A1L15 = CB1L61 # CB1L31 & CB1L71 # !K1_rx_resetn;


--V1L8 is rx:i_rx|rx_det_cntrl:i_rx_det_cntrl|next_state.hunt_sync~142 at LC_X34_Y28_N0
--operation mode is normal

V1L8 = reset & (V1_state.find_sync2 & T1L11);


--CB1L66 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|tran_en~47 at LC_X34_Y28_N4
--operation mode is normal

CB1L66 = K1_rx_resetn & (CB1L61 # CB1L31 & CB1L71);


--V1_state.synced2 is rx:i_rx|rx_det_cntrl:i_rx_det_cntrl|state.synced2 at LC_X33_Y29_N5
--operation mode is normal

V1_state.synced2_lut_out = V1L91 & (V1L71 # V1L02 & V1L61) # !V1L91 & V1L02 & V1L61;
V1_state.synced2 = DFFEAS(V1_state.synced2_lut_out, GLOBAL(nRxC), GLOBAL(reset), , , , , , );


--V1L12 is rx:i_rx|rx_det_cntrl:i_rx_det_cntrl|Select~240 at LC_X34_Y28_N5
--operation mode is normal

V1L12 = V1L8 # V1_state.synced2 & !K1_hunt & CB1L66;


--Y1_data[5] is rx:i_rx|rx_shift_reg:i_rx_shift_reg|data[5] at LC_X38_Y31_N0
--operation mode is normal

Y1_data[5]_lut_out = K1_rx_resetn & Y1_data[6];
Y1_data[5] = DFFEAS(Y1_data[5]_lut_out, GLOBAL(nRxC), GLOBAL(reset), , A1L55, , , , );


--Y1_data[7] is rx:i_rx|rx_shift_reg:i_rx_shift_reg|data[7] at LC_X38_Y29_N8
--operation mode is normal

Y1_data[7]_lut_out = K1_rx_resetn & Y1_data[8];
Y1_data[7] = DFFEAS(Y1_data[7]_lut_out, GLOBAL(nRxC), GLOBAL(reset), , A1L55, , , , );


--Y1L55 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|reduce_nor~27 at LC_X37_Y32_N9
--operation mode is normal

Y1L55 = M1_int_dout[2] # !reset # !M1_int_dout[3];


--Y1_data[8] is rx:i_rx|rx_shift_reg:i_rx_shift_reg|data[8] at LC_X38_Y29_N9
--operation mode is normal

Y1_data[8]_lut_out = K1_rx_resetn & rxd;
Y1_data[8] = DFFEAS(Y1_data[8]_lut_out, GLOBAL(nRxC), GLOBAL(reset), , A1L55, , , , );


--Y1L82 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4329 at LC_X37_Y32_N5
--operation mode is normal

Y1L82 = !M1_int_dout[3] & M1_int_dout[2] & reset & Y1L25;


--Y1_data[6] is rx:i_rx|rx_shift_reg:i_rx_shift_reg|data[6] at LC_X37_Y29_N5
--operation mode is normal

Y1_data[6]_lut_out = Y1_data[7] & (K1_rx_resetn);
Y1_data[6] = DFFEAS(Y1_data[6]_lut_out, GLOBAL(nRxC), GLOBAL(reset), , A1L55, , , , );


--Y1L62 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~45 at LC_X38_Y32_N9
--operation mode is normal

Y1L62 = reset & M1_int_dout[3] & M1_int_dout[4] & M1_int_dout[2];


--Y1L12 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out[5]~4330 at LC_X37_Y32_N8
--operation mode is normal

Y1L12 = Y1L62 & Y1_data[5] # !Y1L62 & (Y1L82 # Y1L45);


--EB1L81 is tx:i_tx|tx_data_mux:i_tx_data_mux|data~2470 at LC_X38_Y30_N5
--operation mode is normal

P2_int_dout[5]_qfbk = P2_int_dout[5];
EB1L81 = P2_int_dout[5]_qfbk & (M1_int_dout[2] # M1_int_dout[3]);

--P2_int_dout[5] is proc:i_procintf|proc_sync_reg:I_proc_sync_reg2|int_dout[5] at LC_X38_Y30_N5
--operation mode is normal

P2_int_dout[5] = DFFEAS(EB1L81, GLOBAL(clk), GLOBAL(reset), , A1L45, A1L25, , , VCC);


--Z1L02 is rx:i_rx|rx_sync_comp:i_rx_sync_comp|cmp_proc2~5 at LC_X36_Y32_N6
--operation mode is normal

Z1L02 = EB1L81 $ (V1L03 & (Y1L12) # !V1L03 & U1_int_dout[5]);


--Y1L92 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4331 at LC_X38_Y32_N8
--operation mode is normal