a8251.map.eqn

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

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

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


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

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

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

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


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

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


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

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


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

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


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

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


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

T1_int_dout[3]_carry_eqn = T1L02;
T1_int_dout[3]_lut_out = T1_int_dout[3] $ (T1_int_dout[3]_carry_eqn);
T1_int_dout[3] = DFFEAS(T1_int_dout[3]_lut_out, nRxC, reset, , , , , T1L5, );


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

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


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

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

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

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


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

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


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

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


--T1_int_dout[0] is rx:i_rx|rx_data_cnt:i_rx_data_cnt|int_dout[0]
--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, nRxC, reset, , , , , T1L5, );

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

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


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

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


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

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


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

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


--A1L15 is rtl~14
--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
--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
--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
--operation mode is normal

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


--Y1L12 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out[5]~4330
--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
--operation mode is normal

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


--Z1L02 is rx:i_rx|rx_sync_comp:i_rx_sync_comp|cmp_proc2~5
--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
--operation mode is normal

Y1L92 = M1_int_dout[4] $ (reset & M1_int_dout[2]);


--Y1L03 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4332
--operation mode is normal

Y1L03 = reset & M1_int_dout[3];


--Y1L13 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4333
--operation mode is normal

Y1L13 = Y1L92 & (Y1L03 & Y1_data[6] # !Y1L03 & (Y1_data[5])) # !Y1L92 & Y1_data[6];


--Y1_data[3] is rx:i_rx|rx_shift_reg:i_rx_shift_reg|data[3]
--operation mode is normal

Y1_data[3]_lut_out = K1_rx_resetn & Y1_data[4];
Y1_data[3] = DFFEAS(Y1_data[3]_lut_out, nRxC, reset, , A1L55, , , , );


--Y1_data[4] is rx:i_rx|rx_shift_reg:i_rx_shift_reg|data[4]
--operation mode is normal

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


--Y1L23 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4334
--operation mode is normal

Y1L23 = Y1L55 & (M1_int_dout[4]) # !Y1L55 & (M1_int_dout[4] & Y1_data[3] # !M1_int_dout[4] & (Y1_data[4]));


--Y1L65 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|reduce_nor~28
--operation mode is normal

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


--Y1L33 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4335
--operation mode is normal

Y1L33 = Y1L65 & Y1L13 # !Y1L65 & (Y1_data[4]);


--Y1L43 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4336
--operation mode is normal

Y1L43 = Y1L55 & (Y1L23 & (Y1L33) # !Y1L23 & Y1L13) # !Y1L55 & (Y1L23);


--Y1_data[2] is rx:i_rx|rx_shift_reg:i_rx_shift_reg|data[2]
--operation mode is normal

Y1_data[2]_lut_out = K1_rx_resetn & Y1_data[3];
Y1_data[2] = DFFEAS(Y1_data[2]_lut_out, nRxC, reset, , A1L55, , , , );


--Y1L51 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out[2]~4337
--operation mode is normal

Y1L51 = M1_int_dout[4] & Y1_data[2] # !M1_int_dout[4] & (Y1_data[3]);


--Y1L75 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|reduce_nor~29
--operation mode is normal

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


--Y1L61 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out[2]~4338
--operation mode is normal

Y1L61 = Y1L75 & Y1L43 # !Y1L75 & (Y1L51);


--Z1L81 is rx:i_rx|rx_sync_comp:i_rx_sync_comp|cmp_proc2~2
--operation mode is normal

Z1L81 = P2_int_dout[2] $ (V1L03 & (Y1L61) # !V1L03 & U1_int_dout[2]);


--Y1L53 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4339
--operation mode is normal

Y1L53 = Y1L92 & (Y1L03 & Y1_data[4] # !Y1L03 & (Y1_data[3])) # !Y1L92 & Y1_data[4];


--Y1_data[1] is rx:i_rx|rx_shift_reg:i_rx_shift_reg|data[1]
--operation mode is normal

Y1_data[1]_lut_out = K1_rx_resetn & Y1_data[2];
Y1_data[1] = DFFEAS(Y1_data[1]_lut_out, nRxC, reset, , A1L55, , , , );


--Y1L63 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4340
--operation mode is normal

Y1L63 = Y1L55 & (M1_int_dout[4]) # !Y1L55 & (M1_int_dout[4] & Y1_data[1] # !M1_int_dout[4] & (Y1_data[2]));


--Y1L73 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4341
--operation mode is normal

Y1L73 = Y1L65 & Y1L53 # !Y1L65 & (Y1_data[2]);


--Y1L83 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4342
--operation mode is normal

Y1L83 = Y1L55 & (Y1L63 & (Y1L73) # !Y1L63 & Y1L53) # !Y1L55 & (Y1L63);


--Y1_data[0] is rx:i_rx|rx_shift_reg:i_rx_shift_reg|data[0]
--operation mode is normal

Y1_data[0]_lut_out = K1_rx_resetn & Y1_data[1];
Y1_data[0] = DFFEAS(Y1_data[0]_lut_out, nRxC, reset, , A1L55, , , , );


--Y1L11 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out[0]~4343
--operation mode is normal

Y1L11 = M1_int_dout[4] & Y1_data[0] # !M1_int_dout[4] & (Y1_data[1]);


--Y1L21 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out[0]~4344
--operation mode is normal

Y1L21 = Y1L75 & Y1L83 # !Y1L75 & (Y1L11);


--Z1L1 is rx:i_rx|rx_sync_comp:i_rx_sync_comp|cmp_dat[0]~1918
--operation mode is normal

Z1L1 = V1L03 & Y1L21 # !V1L03 & (U1_int_dout[0]);


--Y1L22 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out[6]~4345
--operation mode is normal

Y1L22 = M1_int_dout[4] & Y1_data[6] # !M1_int_dout[4] & (Y1_data[7]);


--Y1L32 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out[6]~4346
--operation mode is normal

Y1L32 = M1_int_dout[4] & Y1_data[7] # !M1_int_dout[4] & (Y1_data[8]);


--Y1L42 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out[6]~4347
--operation mode is normal

Y1L42 = Y1L75 & (Y1L32 & !Y1L55) # !Y1L75 & Y1L22;


--Z1L5 is rx:i_rx|rx_sync_comp:i_rx_sync_comp|cmp_dat[6]~1919
--operation mode is normal

Z1L5 = V1L03 & Y1L42 # !V1L03 & (U1_int_dout[6]);


--Y1L52 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out[7]~4348
--operation mode is normal

Y1L52 = !Y1L75 & (M1_int_dout[4] & Y1_data[7] # !M1_int_dout[4] & (Y1_data[8]));


--Z1L7 is rx:i_rx|rx_sync_comp:i_rx_sync_comp|cmp_dat[7]~1920
--operation mode is normal

Z1L7 = V1L03 & Y1L52 # !V1L03 & (U1_int_dout[7]);


--Z1L12 is rx:i_rx|rx_sync_comp:i_rx_sync_comp|reduce_nor~327
--operation mode is normal

Z1L12 = Z1L7 $ (M1_int_dout[3] & M1_int_dout[2] & P2_int_dout[7]);


--Z1L22 is rx:i_rx|rx_sync_comp:i_rx_sync_comp|reduce_nor~328
--operation mode is normal

Z1L22 = Z1L12 # Z1L5 $ (P2_int_dout[6] & M1_int_dout[3]);


--Z1L32 is rx:i_rx|rx_sync_comp:i_rx_sync_comp|reduce_nor~329
--operation mode is normal

Z1L32 = Z1L81 # Z1L22 # P2_int_dout[0] $ Z1L1;


--Y1L93 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4349
--operation mode is normal

Y1L93 = Y1L92 & (Y1L03 & Y1_data[5] # !Y1L03 & (Y1_data[4])) # !Y1L92 & Y1_data[5];


--Y1L04 is rx:i_rx|rx_shift_reg:i_rx_shift_reg|par_out~4350
--operation mode is normal

Y1L04 = Y1L55 & (M1_int_dout[4]) # !Y1L55 & (M1_int_dout[4] & Y1_data[2] # !M1_int_dout[4]