a8251.map.eqn

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

X1_rxrdy = DFFEAS(X1_rxrdy_lut_out, nRxC, !X1L2, , A1L15, , , , );


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

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


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

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


--AB1_syncrdy is rx:i_rx|rx_sync_stat:i_rx_sync_stat|syncrdy
--operation mode is normal

AB1_syncrdy_lut_out = AB1_syncrdy # V1L42 & !M1_int_dout[6] & K1_rx_resetn;
AB1_syncrdy = DFFEAS(AB1_syncrdy_lut_out, nRxC, !AB1L1, , , , , !K1_rx_resetn, );


--R1_space_sample_count[8] is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[8]
--operation mode is arithmetic

R1_space_sample_count[8]_carry_eqn = R1L24;
R1_space_sample_count[8]_lut_out = R1_space_sample_count[8] $ (!R1_space_sample_count[8]_carry_eqn);
R1_space_sample_count[8] = DFFEAS(R1_space_sample_count[8]_lut_out, nRxC, reset, , , , , rxd, );

--R1L44 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[8]~111
--operation mode is arithmetic

R1L44 = CARRY(R1_space_sample_count[8] & (!R1L24));


--R1_space_sample_count[2] is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[2]
--operation mode is arithmetic

R1_space_sample_count[2]_carry_eqn = R1L03;
R1_space_sample_count[2]_lut_out = R1_space_sample_count[2] $ (!R1_space_sample_count[2]_carry_eqn);
R1_space_sample_count[2] = DFFEAS(R1_space_sample_count[2]_lut_out, nRxC, reset, , , , , rxd, );

--R1L23 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[2]~115
--operation mode is arithmetic

R1L23 = CARRY(R1_space_sample_count[2] & (!R1L03));


--R1L7 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1847
--operation mode is normal

R1L7 = M1_int_dout[1] & R1_space_sample_count[8] # !M1_int_dout[1] & (R1_space_sample_count[2]);


--R1_space_sample_count[6] is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[6]
--operation mode is arithmetic

R1_space_sample_count[6]_carry_eqn = R1L83;
R1_space_sample_count[6]_lut_out = R1_space_sample_count[6] $ (!R1_space_sample_count[6]_carry_eqn);
R1_space_sample_count[6] = DFFEAS(R1_space_sample_count[6]_lut_out, nRxC, reset, , , , , rxd, );

--R1L04 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[6]~119
--operation mode is arithmetic

R1L04 = CARRY(R1_space_sample_count[6] & (!R1L83));


--R1L8 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1848
--operation mode is normal

R1L8 = M1_int_dout[0] & R1L7 # !M1_int_dout[0] & (R1_space_sample_count[6] & M1_int_dout[1]);


--R1L9 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1849
--operation mode is normal

R1L9 = M1_int_dout[2] & (M1_int_dout[7] # M1_int_dout[4]) # !M1_int_dout[2] & M1_int_dout[7] & M1_int_dout[4];


--R1L01 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1850
--operation mode is normal

R1L01 = M1_int_dout[6] & (M1_int_dout[3] $ (!R1L9)) # !M1_int_dout[6] & M1_int_dout[7] & (M1_int_dout[3] $ !R1L9);


--R1L11 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1851
--operation mode is normal

R1L11 = R1_space_sample_count[8] & M1_int_dout[1] & (!M1_int_dout[0]);


--R1_space_sample_count[10] is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[10]
--operation mode is normal

R1_space_sample_count[10]_carry_eqn = R1L64;
R1_space_sample_count[10]_lut_out = R1_space_sample_count[10] $ (!R1_space_sample_count[10]_carry_eqn);
R1_space_sample_count[10] = DFFEAS(R1_space_sample_count[10]_lut_out, nRxC, reset, , , , , rxd, );


--R1_space_sample_count[4] is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[4]
--operation mode is arithmetic

R1_space_sample_count[4]_carry_eqn = R1L43;
R1_space_sample_count[4]_lut_out = R1_space_sample_count[4] $ (!R1_space_sample_count[4]_carry_eqn);
R1_space_sample_count[4] = DFFEAS(R1_space_sample_count[4]_lut_out, nRxC, reset, , , , , rxd, );

--R1L63 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[4]~127
--operation mode is arithmetic

R1L63 = CARRY(R1_space_sample_count[4] & (!R1L43));


--R1L21 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1852
--operation mode is normal

R1L21 = M1_int_dout[0] & (M1_int_dout[1] & R1_space_sample_count[10] # !M1_int_dout[1] & (R1_space_sample_count[4]));


--R1L31 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1853
--operation mode is normal

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


--R1L41 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1854
--operation mode is normal

R1L41 = !M1_int_dout[3] & !M1_int_dout[2] & !M1_int_dout[4];


--R1L51 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1855
--operation mode is normal

R1L51 = M1_int_dout[7] & (!R1L41) # !M1_int_dout[7] & M1_int_dout[6] & !R1L31;


--R1L3 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|equal~4
--operation mode is normal

R1L3 = reset & (R1L51 $ (R1L11 # R1L21));


--R1L42 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|reduce_nor~102
--operation mode is normal

R1L42 = !R1L3 & (R1L8 $ !R1L01 # !reset);


--R1_space_sample_count[7] is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[7]
--operation mode is arithmetic

R1_space_sample_count[7]_carry_eqn = R1L04;
R1_space_sample_count[7]_lut_out = R1_space_sample_count[7] $ (R1_space_sample_count[7]_carry_eqn);
R1_space_sample_count[7] = DFFEAS(R1_space_sample_count[7]_lut_out, nRxC, reset, , , , , rxd, );

--R1L24 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[7]~131
--operation mode is arithmetic

R1L24 = CARRY(!R1L04 # !R1_space_sample_count[7]);


--R1L61 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1856
--operation mode is normal

R1L61 = R1_space_sample_count[7] & M1_int_dout[1] & (!M1_int_dout[0]);


--R1_space_sample_count[9] is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[9]
--operation mode is arithmetic

R1_space_sample_count[9]_carry_eqn = R1L44;
R1_space_sample_count[9]_lut_out = R1_space_sample_count[9] $ (R1_space_sample_count[9]_carry_eqn);
R1_space_sample_count[9] = DFFEAS(R1_space_sample_count[9]_lut_out, nRxC, reset, , , , , rxd, );

--R1L64 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[9]~135
--operation mode is arithmetic

R1L64 = CARRY(!R1L44 # !R1_space_sample_count[9]);


--R1_space_sample_count[3] is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[3]
--operation mode is arithmetic

R1_space_sample_count[3]_carry_eqn = R1L23;
R1_space_sample_count[3]_lut_out = R1_space_sample_count[3] $ (R1_space_sample_count[3]_carry_eqn);
R1_space_sample_count[3] = DFFEAS(R1_space_sample_count[3]_lut_out, nRxC, reset, , , , , rxd, );

--R1L43 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[3]~139
--operation mode is arithmetic

R1L43 = CARRY(!R1L23 # !R1_space_sample_count[3]);


--R1L71 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1857
--operation mode is normal

R1L71 = M1_int_dout[0] & (M1_int_dout[1] & R1_space_sample_count[9] # !M1_int_dout[1] & (R1_space_sample_count[3]));


--R1L81 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1858
--operation mode is normal

R1L81 = M1_int_dout[7] & R1L41 # !M1_int_dout[7] & (M1_int_dout[6] & R1L31);


--R1L2 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|equal~3
--operation mode is normal

R1L2 = reset & (R1L81 $ (R1L61 # R1L71));


--R1_space_sample_count[5] is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[5]
--operation mode is arithmetic

R1_space_sample_count[5]_carry_eqn = R1L63;
R1_space_sample_count[5]_lut_out = R1_space_sample_count[5] $ (R1_space_sample_count[5]_carry_eqn);
R1_space_sample_count[5] = DFFEAS(R1_space_sample_count[5]_lut_out, nRxC, reset, , , , , rxd, );

--R1L83 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[5]~143
--operation mode is arithmetic

R1L83 = CARRY(!R1L63 # !R1_space_sample_count[5]);


--R1L91 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1859
--operation mode is normal

R1L91 = R1_space_sample_count[5] & M1_int_dout[1] & (!M1_int_dout[0]);


--R1_space_sample_count[1] is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[1]
--operation mode is arithmetic

R1_space_sample_count[1]_carry_eqn = R1L82;
R1_space_sample_count[1]_lut_out = R1_space_sample_count[1] $ (R1_space_sample_count[1]_carry_eqn);
R1_space_sample_count[1] = DFFEAS(R1_space_sample_count[1]_lut_out, nRxC, reset, , , , , rxd, );

--R1L03 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[1]~147
--operation mode is arithmetic

R1L03 = CARRY(!R1L82 # !R1_space_sample_count[1]);


--R1L02 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1860
--operation mode is normal

R1L02 = M1_int_dout[0] & (M1_int_dout[1] & R1_space_sample_count[7] # !M1_int_dout[1] & (R1_space_sample_count[1]));


--R1L12 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|Mux~1861
--operation mode is normal

R1L12 = M1_int_dout[7] & (M1_int_dout[2] $ !M1_int_dout[4]) # !M1_int_dout[7] & M1_int_dout[6] & (M1_int_dout[2] $ M1_int_dout[4]);


--R1L1 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|equal~1
--operation mode is normal

R1L1 = reset & (R1L12 $ (R1L91 # R1L02));


--R1_space_sample_count[0] is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[0]
--operation mode is arithmetic

R1_space_sample_count[0]_lut_out = R1_space_sample_count[0] $ R1L84;
R1_space_sample_count[0] = DFFEAS(R1_space_sample_count[0]_lut_out, nRxC, reset, , , , , rxd, );

--R1L82 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|space_sample_count[0]~151
--operation mode is arithmetic

R1L82 = CARRY(R1_space_sample_count[0] & R1L84);


--R1L4 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|equal~230
--operation mode is normal

R1L4 = M1_int_dout[1] & (R1_space_sample_count[6] # !M1_int_dout[0]) # !M1_int_dout[1] & M1_int_dout[0] & (R1_space_sample_count[0]);


--R1L5 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|equal~231
--operation mode is normal

R1L5 = R1L4 & (R1_space_sample_count[4] # M1_int_dout[0]);


--R1L6 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|equal~232
--operation mode is normal

R1L6 = reset & (R1L5 $ (M1_int_dout[6] & !M1_int_dout[7]));


--R1L52 is rx:i_rx|rx_break_cnt:i_rx_break_cnt|reduce_nor~103
--operation mode is normal

R1L52 = !R1L2 & !R1L1 & !R1L6;


--F1L2 is rx:i_rx|syn_brk~11
--operation mode is normal

F1L2 = V1L7 & AB1_syncrdy # !V1L7 & (R1L42 & R1L52);


--A1L53 is nEN~2
--operation mode is normal

A1L53 = !nCS & !nRD;


--U1_int_dout[0] is rx:i_rx|rx_data_reg:i_rx_data_reg|int_dout[0]
--operation mode is normal

U1_int_dout[0]_lut_out = K1_rx_resetn & (Y1L75 & Y1L83 # !Y1L75 & (Y1L11));
U1_int_dout[0] = DFFEAS(U1_int_dout[0]_lut_out, nRxC, reset, , A1L15, , , , );


--D1L1 is dout_mux:i_dout_mux|dout[0]~64
--operation mode is normal

D1L1 = CnD & (!H1_ef_n) # !CnD & U1_int_dout[0];


--U1_int_dout[1] is rx:i_rx|rx_data_reg:i_rx_data_reg|int_dout[1]
--operation mode is normal

U1_int_dout[1]_lut_out = K1_rx_resetn & (Y1L75 & Y1L24 # !Y1L75 & (Y1L31));
U1_int_dout[1] = DFFEAS(U1_int_dout[1]_lut_out, nRxC, reset, , A1L15, , , , );


--D1L2 is dout_mux:i_dout_mux|dout[1]~65
--operation mode is normal

D1L2 = CnD & X1_rxrdy # !CnD & (U1_int_dout[1]);


--U1_int_dout[2] is rx:i_rx|rx_data_reg:i_rx_data_reg|int_dout[2]
--operation mode is normal

U1_int_dout[2]_lut_out = K1_rx_resetn & (Y1L75 & Y1L43 # !Y1L75 & (Y1L51));
U1_int_dout[2] = DFFEAS(U1_int_dout[2]_lut_out, nRxC, reset, , A1L15, , , , );


--D1L3 is dout_mux:i_dout_mux|dout[2]~66
--operation mode is normal

D1L3 = CnD & (!A1L72) # !CnD & U1_int_dout[2];


--Q1_error is rx:i_rx|rx_error_reg:i1_rx_error_reg|error
--operation mode is normal

Q1_error_lut_out = VCC;
Q1_error = DFFEAS(Q1_error_lut_out, nRxC, !Q1L3, , Q1L1, , , , );


--U1_int_dout[3] is rx:i_rx|rx_data_reg:i_rx_data_reg|int_dout[3]
--operation mode is normal

U1_int_dout[3]_lut_out = K1_rx_resetn & (Y1L75 & Y1L05 # !Y1L75 & (Y1L71));
U1_int_dout[3] = DFFEAS(U1_int_dout[3]_lut_out, nRxC, reset, , A1L15, , , , );


--D1L4 is dout_mux:i_dout_mux|dout[3]~67
--operation mode is normal

D1L4 = CnD & Q1_error # !CnD & (U1_int_dout[3]);


--Q2_error is rx:i_rx|rx_error_reg:i2_rx_error_reg|error
--operation mode is normal

Q2_error_lut_out = VCC;
Q2_error = DFFEAS(Q2_error_lut_out, nRxC, !Q1L3, , CB1L8, , , , );


--U1_int_dout[4] is rx:i_rx|rx_data_reg:i_rx_data_reg|int_dout[4]
--operation mode is normal

U1_int_dout[4]_lut_out = K1_rx_resetn & (Y1L75 & Y1L64 # !Y1L75 & (Y1L91));
U1_int_dout[4] = DFFEAS(U1_int_dout[4]_lut_out, nRxC, reset, , A1L15, , , , );


--D1L5 is dout_mux:i_dout_mux|dout[4]~68
--operation mode is normal

D1L5 = CnD & Q2_error # !CnD & (U1_int_dout[4]);


--Q3_error is rx:i_rx|rx_error_reg:i3_rx_error_reg|error
--operation mode is normal

Q3_error_lut_out = VCC;
Q3_error = DFFEAS(Q3_error_lut_out, nRxC, !Q1L3, , CB1L3, , , , );


--U1_int_dout[5] is rx:i_rx|rx_data_reg:i_rx_data_reg|int_dout[5]
--operation mode is normal

U1_int_dout[5]_lut_out = R1L32 & (Y1L62 & (Y1_data[5]) # !Y1L62 & Y1L15);
U1_int_dout[5] = DFFEAS(U1_int_dout[5]_lut_out, nRxC, reset, , A1L15, , , !K1_rx_resetn, );


--D1L6 is dout_mux:i_dout_mux|dout[5]~69
--operation mode is normal

D1L6 = CnD & Q3_error # !CnD & (U1_int_dout[5]);


--U1_int_dout[6] is rx:i_rx|rx_data_reg:i_rx_data_reg|int_dout[6]
--operation mode is normal

U1_int_dout[6]_lut_out = Y1L42 & !T1L9 & (R1L32);
U1_int_dout[6] = DFFEAS(U1_int_dout[6]_lut_out, nRxC, reset, , A1L15, , , !K1_rx_resetn, );


--D1L7 is dout_mux:i_dout_mux|dout[6]~70
--operation mode is normal