a8251.fit.eqn

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

--EB1L5 is tx:i_tx|tx_data_mux:i_tx_data_mux|data[2]~2466 at LC_X34_Y30_N1
--operation mode is normal

H1_q[2]_qfbk = H1_q[2];
EB1L5 = LB1L45 & (LB1L02 & P2_int_dout[2] # !LB1L02 & (H1_q[2]_qfbk)) # !LB1L45 & (H1_q[2]_qfbk);

--H1_q[2] is tx_fifo:i_tx_fifo|q[2] at LC_X34_Y30_N1
--operation mode is normal

H1_q[2] = DFFEAS(EB1L5, GLOBAL(L1L7), !GLOBAL(H1L5), , , C1_LatchedData[2]$latch, , , VCC);


--EB1L6 is tx:i_tx|tx_data_mux:i_tx_data_mux|data[2]~2467 at LC_X34_Y30_N2
--operation mode is normal

P1_int_dout[2]_qfbk = P1_int_dout[2];
EB1L6 = LB1L15 & (LB1L25 & P1_int_dout[2]_qfbk # !LB1L25 & (EB1L5)) # !LB1L15 & (EB1L5);

--P1_int_dout[2] is proc:i_procintf|proc_sync_reg:I_proc_sync_reg1|int_dout[2] at LC_X34_Y30_N2
--operation mode is normal

P1_int_dout[2] = DFFEAS(EB1L6, GLOBAL(clk), GLOBAL(reset), , A1L35, A1L84, , , VCC);


--EB1L7 is tx:i_tx|tx_data_mux:i_tx_data_mux|data[3]~2468 at LC_X35_Y30_N1
--operation mode is normal

H1_q[3]_qfbk = H1_q[3];
EB1L7 = LB1L45 & (LB1L02 & P2_int_dout[3] # !LB1L02 & (H1_q[3]_qfbk)) # !LB1L45 & (H1_q[3]_qfbk);

--H1_q[3] is tx_fifo:i_tx_fifo|q[3] at LC_X35_Y30_N1
--operation mode is normal

H1_q[3] = DFFEAS(EB1L7, GLOBAL(L1L7), !GLOBAL(H1L5), , , C1_LatchedData[3]$latch, , , VCC);


--EB1L8 is tx:i_tx|tx_data_mux:i_tx_data_mux|data[3]~2469 at LC_X34_Y30_N3
--operation mode is normal

P1_int_dout[3]_qfbk = P1_int_dout[3];
EB1L8 = LB1L15 & (LB1L25 & P1_int_dout[3]_qfbk # !LB1L25 & (EB1L7)) # !LB1L15 & (EB1L7);

--P1_int_dout[3] is proc:i_procintf|proc_sync_reg:I_proc_sync_reg1|int_dout[3] at LC_X34_Y30_N3
--operation mode is normal

P1_int_dout[3] = DFFEAS(EB1L8, GLOBAL(clk), GLOBAL(reset), , A1L35, A1L24, , , VCC);


--GB1L2 is tx:i_tx|tx_par_gen:i_tx_par_gen|local_par~80 at LC_X33_Y30_N3
--operation mode is normal

GB1L2 = EB1L4 $ EB1L6 $ EB1L8 $ EB1L01;


--LB1L23 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1345 at LC_X30_Y28_N2
--operation mode is normal

LB1L23 = !M1_int_dout[4] & KB1_bit_cnt[2] & reset & LB1L1;


--LB1L33 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1346 at LC_X31_Y31_N7
--operation mode is normal

LB1L33 = nCTS # LB1_state.init # !K1_cmd_reg[0] # !H1_ef_n;


--LB1L64 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|sr_load_en~442 at LC_X30_Y28_N9
--operation mode is normal

LB1L64 = V1L7 & (LB1_state.parity # LB1L94) # !LB1L33;


--LB1L43 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1347 at LC_X29_Y30_N0
--operation mode is normal

LB1L43 = LB1_state.stop2 & LB1L21 & (LB1L56 # LB1L36);


--LB1L53 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1348 at LC_X29_Y30_N5
--operation mode is normal

LB1L53 = !M1_int_dout[7] & LB1_state.stop1 & JB1L52 & LB1L21;


--LB1L63 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1349 at LC_X32_Y29_N9
--operation mode is normal

LB1L63 = K1_cmd_reg[0] & !nCTS & H1_ef_n;


--LB1L52 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|next_tx_fifo_rd_n~268 at LC_X29_Y30_N1
--operation mode is normal

LB1L52 = !LB1L53 & !LB1L43 # !LB1L63;


--LB1L74 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|sr_load_en~443 at LC_X33_Y30_N2
--operation mode is normal

LB1L74 = K1_tx_resetn & (LB1L64 # !V1L7 & !LB1L52);


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

K1_cmd_reg[6]_lut_out = A1L34 & A1L94 & (!K1_hunt) # !A1L34 & (K1_cmd_reg[6]);
K1_cmd_reg[6] = DFFEAS(K1_cmd_reg[6]_lut_out, GLOBAL(clk), GLOBAL(reset), , , , , , );


--K1_proc_resetn is proc:i_procintf|proc_cmd_reg:I_proc_cmd_reg|proc_resetn at LC_X36_Y30_N4
--operation mode is normal

K1_int_proc_resetn1_qfbk = K1_int_proc_resetn1;
K1_proc_resetn = K1_int_proc_resetn1_qfbk # !K1_cmd_reg[6];

--K1_int_proc_resetn1 is proc:i_procintf|proc_cmd_reg:I_proc_cmd_reg|int_proc_resetn1 at LC_X36_Y30_N4
--operation mode is normal

K1_int_proc_resetn1 = DFFEAS(K1_proc_resetn, GLOBAL(clk), GLOBAL(reset), , , K1_cmd_reg[6], , , VCC);


--L1_cmd_mode_write1 is proc:i_procintf|proc_dec:I_proc_dec|cmd_mode_write1 at LC_X37_Y30_N3
--operation mode is normal

L1_cmd_mode_write1_lut_out = B1_LatchedAddr$latch & J1L1Q;
L1_cmd_mode_write1 = DFFEAS(L1_cmd_mode_write1_lut_out, GLOBAL(clk), GLOBAL(reset), , , , , , );


--L1_cmd_mode_write is proc:i_procintf|proc_dec:I_proc_dec|cmd_mode_write at LC_X37_Y30_N2
--operation mode is normal

L1_cmd_mode_write = L1_cmd_mode_write1 & L1_cmd_mode_write2;


--LB1L41 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|next_state.init~547 at LC_X30_Y29_N4
--operation mode is normal

LB1L41 = A1L92 & !LB1_state.parity & (LB1L31) # !A1L92 & (LB1L23 # LB1L31);


--LB1L51 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|next_state.init~548 at LC_X30_Y29_N5
--operation mode is normal

LB1L51 = V1L7 & LB1L33 & LB1L41 # !K1_tx_resetn;


--LB1L61 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|next_state.init~549 at LC_X30_Y31_N7
--operation mode is normal

LB1L61 = !LB1L63 & (LB1L43 # LB1L53 # !LB1_state.init);


--LB1L91 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|next_state.stop2~276 at LC_X30_Y31_N0
--operation mode is normal

LB1L91 = JB1L52 & M1_int_dout[7] & LB1_state.stop1 & LB1L9;


--LB1L66 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|statetran~301 at LC_X28_Y30_N4
--operation mode is normal

LB1L66 = LB1L36 # LB1L56;


--LB1L81 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|next_state.stop1~329 at LC_X30_Y31_N2
--operation mode is normal

LB1L81 = LB1_state.parity # LB1L23 & LB1_state.data;


--N1_init_done is proc:i_procintf|proc_sm:I_proc_sm|init_done at LC_X33_Y27_N7
--operation mode is normal

N1_init_done_lut_out = K1_proc_resetn & (N1L3 # L1_cmd_mode_write & N1L4);
N1_init_done = DFFEAS(N1_init_done_lut_out, GLOBAL(clk), GLOBAL(reset), , , , , , );


--K1L71 is proc:i_procintf|proc_cmd_reg:I_proc_cmd_reg|rxsync_proc2~0 at LC_X28_Y25_N2
--operation mode is normal

K1L71 = !reset # !N1_init_done;


--LB1L73 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1350 at LC_X30_Y28_N8
--operation mode is normal

LB1L73 = LB1_state.data & (!KB1_bit_cnt[2] # !LB1L1 # !reset);


--LB1L83 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1351 at LC_X30_Y28_N7
--operation mode is normal

LB1L83 = LB1L73 # LB1L63 & LB1L23 & LB1L13;


--LB1L93 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1352 at LC_X30_Y28_N4
--operation mode is normal

LB1L93 = reset & LB1_state.sync2 & LB1L1 & KB1_bit_cnt[2];


--LB1L04 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1353 at LC_X30_Y28_N6
--operation mode is normal

LB1L04 = LB1_state.parity # !M1_int_dout[4] & (LB1_state.data # LB1L93);


--LB1L14 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1354 at LC_X30_Y28_N5
--operation mode is normal

LB1L14 = LB1L83 # LB1L63 & (LB1L04 # !LB1_state.init);


--LB1L2 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|data_cnt_clr~111 at LC_X29_Y29_N5
--operation mode is normal

LB1L2 = LB1L1 & KB1_bit_cnt[2];


--LB1L24 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1355 at LC_X29_Y31_N7
--operation mode is normal

LB1L24 = !LB1L9 # !JB1L52 # !LB1L2 # !reset;


--LB1L34 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1356 at LC_X29_Y31_N3
--operation mode is normal

LB1L34 = LB1_state.data & (LB1L24 # LB1_state.start & JB1L72) # !LB1_state.data & LB1_state.start & (JB1L72);


--HB1_data_int[1] is tx:i_tx|tx_shift_reg:i_tx_shift_reg|data_int[1] at LC_X30_Y30_N1
--operation mode is normal

HB1_data_int[1]_lut_out = K1_tx_resetn & (LB1L05 & (EB1L4) # !LB1L05 & HB1_data_int[2]) # !K1_tx_resetn & HB1_data_int[2];
HB1_data_int[1] = DFFEAS(HB1_data_int[1]_lut_out, !GLOBAL(nTxC), GLOBAL(reset), , A1L44, , , !K1_tx_resetn, );


--LB1L84 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|sr_load_en~444 at LC_X29_Y30_N9
--operation mode is normal

LB1L84 = !V1L7 & LB1L63 & (LB1L53 # LB1L43);


--LB1L44 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|shift_en~153 at LC_X30_Y30_N2
--operation mode is normal

LB1L44 = LB1L54 # JB1L52 & LB1L21 & LB1L3;


--A1L44 is rtl~4 at LC_X30_Y30_N3
--operation mode is normal

A1L44 = LB1L64 # LB1L84 # LB1L44 # !K1_tx_resetn;


--K1_hunt is proc:i_procintf|proc_cmd_reg:I_proc_cmd_reg|hunt at LC_X36_Y28_N3
--operation mode is normal

K1_int_hunt1_qfbk = K1_int_hunt1;
K1_hunt = K1_int_hunt1_qfbk & !K1_int_hunt2;

--K1_int_hunt1 is proc:i_procintf|proc_cmd_reg:I_proc_cmd_reg|int_hunt1 at LC_X36_Y28_N3
--operation mode is normal

K1_int_hunt1 = DFFEAS(K1_hunt, GLOBAL(nRxC), GLOBAL(reset), , , K1_cmd_reg[7], , , VCC);


--L1_cmd_write1 is proc:i_procintf|proc_dec:I_proc_dec|cmd_write1 at LC_X36_Y30_N2
--operation mode is normal

L1_cmd_write1_lut_out = J1L1Q & B1_LatchedAddr$latch & N1_init_done;
L1_cmd_write1 = DFFEAS(L1_cmd_write1_lut_out, GLOBAL(clk), GLOBAL(reset), , , , , , );


--L1_cmd_write is proc:i_procintf|proc_dec:I_proc_dec|cmd_write at LC_X36_Y30_N1
--operation mode is normal

L1_cmd_write2_qfbk = L1_cmd_write2;
L1_cmd_write = L1_cmd_write2_qfbk & L1_cmd_write1;

--L1_cmd_write2 is proc:i_procintf|proc_dec:I_proc_dec|cmd_write2 at LC_X36_Y30_N1
--operation mode is normal

L1_cmd_write2 = DFFEAS(L1_cmd_write, GLOBAL(clk), GLOBAL(reset), , , L1_cmd_write1, , , VCC);


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

K1_cmd_reg[4]_lut_out = !K1_cmd_reg[4] & C1_LatchedData[4]$latch & K1_proc_resetn & A1L85;
K1_cmd_reg[4] = DFFEAS(K1_cmd_reg[4]_lut_out, GLOBAL(clk), GLOBAL(reset), , , , , , );


--A1L34 is rtl~3 at LC_X32_Y30_N2
--operation mode is normal

A1L34 = !K1_hunt & L1_cmd_write & !K1_cmd_reg[4] # !K1_proc_resetn;


--L1L7 is proc:i_procintf|proc_dec:I_proc_dec|decode~51 at LC_X28_Y27_N4
--operation mode is normal

L1L7 = CnD # nWR # nCS # !N1_init_done;


--H1L4 is tx_fifo:i_tx_fifo|ff_wr_proc~1 at LC_X31_Y31_N8
--operation mode is normal

H1_ff_clr_qfbk = H1_ff_clr;
H1L4 = H1_ff_clr_qfbk # !reset # !K1_tx_resetn;

--H1_ff_clr is tx_fifo:i_tx_fifo|ff_clr at LC_X31_Y31_N8
--operation mode is normal

H1_ff_clr = DFFEAS(H1L4, GLOBAL(nTxC), !H1L3, , , LB1_tx_fifo_rd_n, , , VCC);


--LB1L12 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|next_state.sync1~590 at LC_X30_Y29_N3
--operation mode is normal

LB1L12 = LB1L13 # !KB1L9 & (LB1_state.data # LB1_state.sync2);


--LB1L22 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|next_state.sync1~591 at LC_X30_Y29_N1
--operation mode is normal

LB1L22 = A1L82 & (LB1_state.parity # !M1_int_dout[4] & LB1L12);


--LB1L32 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|next_state.sync2~191 at LC_X31_Y28_N2
--operation mode is normal

LB1L32 = LB1_state.sync2 & (!reset # !KB1_bit_cnt[2] # !LB1L1);


--LB1L42 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|next_state.sync2~192 at LC_X31_Y29_N9
--operation mode is normal

LB1L42 = K1_cmd_reg[0] & !nCTS & !M1_int_dout[7] & LB1_state.sync1;


--KB1L1 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_data_cnt:i_tx_data_cnt|add~128 at LC_X29_Y28_N6
--operation mode is normal

KB1L1 = KB1_bit_cnt[0] & LB1L44 & K1_tx_resetn;


--KB1L6 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_data_cnt:i_tx_data_cnt|comb_proc~138 at LC_X29_Y28_N4
--operation mode is normal

KB1L6 = !K1_tx_resetn # !LB1_state.init # !reset;


--KB1L7 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_data_cnt:i_tx_data_cnt|comb_proc~139 at LC_X29_Y28_N0
--operation mode is normal

KB1L7 = KB1L6 # !KB1L9 & V1L7 & !LB1L31;


--KB1L8 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_data_cnt:i_tx_data_cnt|comb_proc~140 at LC_X29_Y28_N1
--operation mode is normal

KB1L8 = KB1L7 # LB1L3 & LB1L2 & JB1L72;


--LB1L4 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|div_cnt_clr~479 at LC_X29_Y31_N9
--operation mode is normal