a8251.map.eqn

来自「8251的完整的功能的实现,可以进行编译,综合.」· EQN 代码 · 共 2,099 行 · 第 1/5 页

--operation mode is normal

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


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

K1_int_proc_resetn1_lut_out = K1_cmd_reg[6];
K1_int_proc_resetn1 = DFFEAS(K1_int_proc_resetn1_lut_out, clk, reset, , , , , , );


--K1_cmd_reg[6] is proc:i_procintf|proc_cmd_reg:I_proc_cmd_reg|cmd_reg[6]
--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, clk, reset, , , , , , );


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

K1_proc_resetn = K1_int_proc_resetn1 # !K1_cmd_reg[6];


--N1_mode_gate is proc:i_procintf|proc_sm:I_proc_sm|mode_gate
--operation mode is normal

N1_mode_gate_lut_out = N1L6;
N1_mode_gate = DFFEAS(N1_mode_gate_lut_out, clk, reset, , , , , , );


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

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


--L1_cmd_mode_write2 is proc:i_procintf|proc_dec:I_proc_dec|cmd_mode_write2
--operation mode is normal

L1_cmd_mode_write2_lut_out = L1_cmd_mode_write1;
L1_cmd_mode_write2 = DFFEAS(L1_cmd_mode_write2_lut_out, clk, reset, , , , , , );


--L1_cmd_mode_write is proc:i_procintf|proc_dec:I_proc_dec|cmd_mode_write
--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
--operation mode is normal

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


--LB1L51 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|next_state.init~548
--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
--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
--operation mode is normal

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


--LB1L66 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|statetran~301
--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
--operation mode is normal

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


--N1_init_done is proc:i_procintf|proc_sm:I_proc_sm|init_done
--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, clk, reset, , , , , , );


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

K1L71 = !N1_init_done # !reset;


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

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


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

LB1L83 = LB1L73 # LB1L63 & LB1L13 & LB1L23;


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

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


--LB1L04 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|Select~1353
--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
--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
--operation mode is normal

LB1L2 = KB1_bit_cnt[2] & LB1L1;


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

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


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

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


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

HB1_data_int[1]_lut_out = LB1L05 & (K1_tx_resetn & EB1L4 # !K1_tx_resetn & (HB1_data_int[2])) # !LB1L05 & (HB1_data_int[2]);
HB1_data_int[1] = DFFEAS(HB1_data_int[1]_lut_out, !nTxC, 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
--operation mode is normal

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


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

LB1L44 = LB1L54 # JB1L81 & LB1L21 & LB1L3;


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

A1L44 = LB1L84 # LB1L64 # LB1L44 # !K1_tx_resetn;


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

K1_int_hunt1_lut_out = K1_cmd_reg[7];
K1_int_hunt1 = DFFEAS(K1_int_hunt1_lut_out, nRxC, reset, , , , , , );


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

K1_int_hunt2_lut_out = K1_int_hunt1;
K1_int_hunt2 = DFFEAS(K1_int_hunt2_lut_out, nRxC, reset, , , , , , );


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

K1_hunt = K1_int_hunt1 & (!K1_int_hunt2);


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

L1_cmd_write2_lut_out = L1_cmd_write1;
L1_cmd_write2 = DFFEAS(L1_cmd_write2_lut_out, clk, reset, , , , , , );


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

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


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

L1_cmd_write = L1_cmd_write2 & L1_cmd_write1;


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

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


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

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


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

L1L7 = nCS # CnD # nWR # !N1_init_done;


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

H1_ff_clr_lut_out = LB1_tx_fifo_rd_n;
H1_ff_clr = DFFEAS(H1_ff_clr_lut_out, nTxC, !H1L3, , , , , , );


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

H1L4 = H1_ff_clr # !reset # !K1_tx_resetn;


--LB1L12 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|next_state.sync1~590
--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
--operation mode is normal

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


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

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


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

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


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

KB1L1 = K1_tx_resetn & KB1_bit_cnt[0] & LB1L44;


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

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


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

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


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

KB1L8 = KB1L7 # LB1L2 & JB1L02 & LB1L3;


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

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


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

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


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

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


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

LB1L7 = JB1L81 & LB1L21 & LB1L6 # !LB1L33;


--LB1L8 is tx:i_tx|tx_cntrl:i_tx_cntrl|tx_state_mach:i_tx_state_mach|div_cnt_clr~483
--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
--operation mode is normal

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


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

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


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

L1L8 = N1_init_done & (!nCS & !nRD);


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

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


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

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


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

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


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

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


--CB1_state.sample_stop2 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|state.sample_stop2
--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, nRxC, reset, , , , , , );


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

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


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

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


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

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


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

CB1_state.db1_stop1_lut_out = CB1_state.db1_parity # CB1_state.db1_data & !M1_int_dout[4] & T1L21;
CB1_state.db1_stop1 = DFFEAS(CB1_state.db1_stop1_lut_out, nRxC, 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
--operation mode is normal

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


--CB1L51 is rx:i_rx|rx_cntrl:i_rx_cntrl|rx_cntrl_sm:i_rx_cntrlsm|Select~1368
--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
--operation mode is normal

CB1L61 = CB1L31 & CB1_state.sync_parity # !CB1L51;