ps2_keyboard_interface.map.eqn

本实验实现PS/2接口与RS-232接口的数据传输

B1L742 = CARRY(B1_timer_5usec_count[6] & (!B1L542));


--B1_timer_5usec_count[4] is ps2_keyboard_interface:inst|timer_5usec_count[4]
--operation mode is arithmetic

B1_timer_5usec_count[4]_carry_eqn = B1L142;
B1_timer_5usec_count[4]_lut_out = B1_timer_5usec_count[4] $ (!B1_timer_5usec_count[4]_carry_eqn);
B1_timer_5usec_count[4] = DFFEAS(B1_timer_5usec_count[4]_lut_out, C1_clk, VCC, , , , , !B1_m1_state.m1_tx_wait_clk_h, );

--B1L342 is ps2_keyboard_interface:inst|timer_5usec_count[4]~165
--operation mode is arithmetic

B1L342 = CARRY(B1_timer_5usec_count[4] & (!B1L142));


--B1_timer_5usec_count[5] is ps2_keyboard_interface:inst|timer_5usec_count[5]
--operation mode is arithmetic

B1_timer_5usec_count[5]_carry_eqn = B1L342;
B1_timer_5usec_count[5]_lut_out = B1_timer_5usec_count[5] $ (B1_timer_5usec_count[5]_carry_eqn);
B1_timer_5usec_count[5] = DFFEAS(B1_timer_5usec_count[5]_lut_out, C1_clk, VCC, , , , , !B1_m1_state.m1_tx_wait_clk_h, );

--B1L542 is ps2_keyboard_interface:inst|timer_5usec_count[5]~169
--operation mode is arithmetic

B1L542 = CARRY(!B1L342 # !B1_timer_5usec_count[5]);


--B1_timer_5usec_count[7] is ps2_keyboard_interface:inst|timer_5usec_count[7]
--operation mode is normal

B1_timer_5usec_count[7]_carry_eqn = B1L742;
B1_timer_5usec_count[7]_lut_out = B1_timer_5usec_count[7] $ (B1_timer_5usec_count[7]_carry_eqn);
B1_timer_5usec_count[7] = DFFEAS(B1_timer_5usec_count[7]_lut_out, C1_clk, VCC, , , , , !B1_m1_state.m1_tx_wait_clk_h, );


--B1L152 is ps2_keyboard_interface:inst|timer_5usec_done~41
--operation mode is normal

B1L152 = B1_timer_5usec_count[6] # !B1_timer_5usec_count[7] # !B1_timer_5usec_count[5] # !B1_timer_5usec_count[4];


--B1_timer_5usec_count[3] is ps2_keyboard_interface:inst|timer_5usec_count[3]
--operation mode is arithmetic

B1_timer_5usec_count[3]_carry_eqn = B1L932;
B1_timer_5usec_count[3]_lut_out = B1_timer_5usec_count[3] $ (B1_timer_5usec_count[3]_carry_eqn);
B1_timer_5usec_count[3] = DFFEAS(B1_timer_5usec_count[3]_lut_out, C1_clk, VCC, , , , , !B1_m1_state.m1_tx_wait_clk_h, );

--B1L142 is ps2_keyboard_interface:inst|timer_5usec_count[3]~177
--operation mode is arithmetic

B1L142 = CARRY(!B1L932 # !B1_timer_5usec_count[3]);


--B1_timer_5usec_done is ps2_keyboard_interface:inst|timer_5usec_done
--operation mode is normal

B1_timer_5usec_done = B1_timer_5usec_count[2] # B1L052 # B1L152 # !B1_timer_5usec_count[3];


--B1_q[10] is ps2_keyboard_interface:inst|q[10]
--operation mode is normal

B1_q[10]_lut_out = reset & B1_ps2_data_s;
B1_q[10] = DFFEAS(B1_q[10]_lut_out, C1_clk, VCC, , B1L64, , , , );


--B1_tx_shifting_done is ps2_keyboard_interface:inst|tx_shifting_done
--operation mode is normal

B1_tx_shifting_done = B1_bit_count[0] # B1_bit_count[2] # !B1_bit_count[3] # !B1_bit_count[1];


--B1_m1_state.m1_rx_clk_l is ps2_keyboard_interface:inst|m1_state.m1_rx_clk_l
--operation mode is normal

B1_m1_state.m1_rx_clk_l_lut_out = B1_m1_state.m1_rx_falling_edge_marker # !B1_ps2_clk_s & (B1_m1_state.m1_rx_clk_l);
B1_m1_state.m1_rx_clk_l = DFFEAS(B1_m1_state.m1_rx_clk_l_lut_out, C1_clk, VCC, , , , , !reset, );


--B1L041 is ps2_keyboard_interface:inst|reduce_or~0
--operation mode is normal

B1L041 = !B1_m1_state.m1_rx_clk_l & (B1_m1_state.m1_rx_clk_h);


--B1_m1_state.m1_rx_rising_edge_marker is ps2_keyboard_interface:inst|m1_state.m1_rx_rising_edge_marker
--operation mode is normal

B1_m1_state.m1_rx_rising_edge_marker_lut_out = B1_m1_state.m1_rx_clk_l & reset & B1_ps2_clk_s;
B1_m1_state.m1_rx_rising_edge_marker = DFFEAS(B1_m1_state.m1_rx_rising_edge_marker_lut_out, C1_clk, VCC, , , , , , );


--B1_ps2_data_s is ps2_keyboard_interface:inst|ps2_data_s
--operation mode is normal

B1_ps2_data_s_lut_out = A1L5;
B1_ps2_data_s = DFFEAS(B1_ps2_data_s_lut_out, C1_clk, VCC, , , , , , );


--B1_m1_state.m1_tx_error_no_keyboard_ack is ps2_keyboard_interface:inst|m1_state.m1_tx_error_no_keyboard_ack
--operation mode is normal

B1_m1_state.m1_tx_error_no_keyboard_ack_lut_out = B1_ps2_data_s & !B1_ps2_clk_s & (B1_m1_state.m1_tx_error_no_keyboard_ack # B1_m1_state.m1_tx_wait_keyboard_ack) # !B1_ps2_data_s & B1_m1_state.m1_tx_error_no_keyboard_ack;
B1_m1_state.m1_tx_error_no_keyboard_ack = DFFEAS(B1_m1_state.m1_tx_error_no_keyboard_ack_lut_out, C1_clk, VCC, , , , , !reset, );


--B1_m1_state.m1_tx_done_recovery is ps2_keyboard_interface:inst|m1_state.m1_tx_done_recovery
--operation mode is normal

B1_m1_state.m1_tx_done_recovery_lut_out = B1_ps2_clk_s & (!B1_ps2_data_s & B1_m1_state.m1_tx_done_recovery) # !B1_ps2_clk_s & (B1_m1_state.m1_tx_done_recovery # B1_m1_state.m1_tx_wait_keyboard_ack & !B1_ps2_data_s);
B1_m1_state.m1_tx_done_recovery = DFFEAS(B1_m1_state.m1_tx_done_recovery_lut_out, C1_clk, VCC, , , , , !reset, );


--B1L82 is ps2_keyboard_interface:inst|m1_state~178
--operation mode is normal

B1L82 = B1_ps2_data_s & (B1_m1_state.m1_tx_error_no_keyboard_ack # B1_m1_state.m1_tx_done_recovery) # !B1_m1_state.m1_rx_clk_h;


--J1_tsr[3] is uart_if:inst3|uart:U1|txmit:u2|tsr[3]
--operation mode is normal

J1_tsr[3]_lut_out = J1L02 & J1_tsr[4] # !J1L02 & (J1_tbr[3]);
J1_tsr[3] = DFFEAS(J1_tsr[3]_lut_out, !J1_clkdiv[3], B1_rx_released, , J1L44, , , , );


--J1_tbr[2] is uart_if:inst3|uart:U1|txmit:u2|tbr[2]
--operation mode is normal

J1_tbr[2]_lut_out = E1_din[2];
J1_tbr[2] = DFFEAS(J1_tbr[2]_lut_out, E1_wrn, B1_rx_released, , , , , , );


--E1_din[1] is uart_if:inst3|din[1]
--operation mode is normal

E1_din[1]_lut_out = F1L3Q;
E1_din[1] = DFFEAS(E1_din[1]_lut_out, E1_cnt[3], B1_rx_released, , E1L64, , , , );


--F1L2Q is data_buf:inst4|data_in_buf[0]~reg0
--operation mode is normal

F1L2Q_lut_out = GND;
F1L2Q = DFFEAS(F1L2Q_lut_out, D1_acc[12], VCC, , F1L1, B1_rx_ascii[0], !B1_rx_released, , );


--E1_cnt[3] is uart_if:inst3|cnt[3]
--operation mode is normal

E1_cnt[3]_lut_out = !E1_cnt[3];
E1_cnt[3] = DFFEAS(E1_cnt[3]_lut_out, D1_acc[12], B1_rx_released, , E1L6, , , , );


--E1_read_once is uart_if:inst3|read_once
--operation mode is normal

E1_read_once_lut_out = E1_read_once # !E1L3 & !J1_tsre & !J1_tbre;
E1_read_once = DFFEAS(E1_read_once_lut_out, E1_cnt[3], VCC, , B1_rx_released, , , E1_read_en, );


--E1_read_en is uart_if:inst3|read_en
--operation mode is normal

E1_read_en_lut_out = !E1L15 & (H1_rbr[0] # !E1L35 # !E1L25);
E1_read_en = DFFEAS(E1_read_en_lut_out, E1_cnt[3], B1_rx_released, , , , , , );


--J1_tsre is uart_if:inst3|uart:U1|txmit:u2|tsre
--operation mode is normal

J1_tsre_lut_out = J1_no_bits_sent[3] & J1_tsre & (J1_no_bits_sent[0] # !J1_no_bits_sent[2]) # !J1_no_bits_sent[3] & (J1_tsre # !J1_no_bits_sent[2] & J1_no_bits_sent[0]);
J1_tsre = DFFEAS(J1_tsre_lut_out, !J1_clkdiv[3], B1_rx_released, , !J1_no_bits_sent[1], , , , );


--J1_tbre is uart_if:inst3|uart:U1|txmit:u2|tbre
--operation mode is normal

J1_tbre_lut_out = J1L2 # J1L63 & J1_tbre # !J1L12;
J1_tbre = DFFEAS(J1_tbre_lut_out, D1_acc[12], B1_rx_released, , , , , , );


--E1L64 is uart_if:inst3|din[6]~76
--operation mode is normal

E1L64 = !E1_read_once & !E1_read_en & !J1_tsre & !J1_tbre;


--D1_acc[10] is div_4:inst2|acc[10]
--operation mode is arithmetic

D1_acc[10]_carry_eqn = D1L12;
D1_acc[10]_lut_out = D1_acc[10] $ (!D1_acc[10]_carry_eqn);
D1_acc[10] = DFFEAS(D1_acc[10]_lut_out, mclk, VCC, , , , , , );

--D1L32 is div_4:inst2|acc[10]~100
--operation mode is arithmetic

D1L32 = CARRY(D1_acc[10] & (!D1L12));


--C1_count[5] is div_256:inst1|count[5]
--operation mode is normal

C1_count[5]_lut_out = C1L2;
C1_count[5] = DFFEAS(C1_count[5]_lut_out, mclk, reset, , , , , , );


--C1L4 is div_256:inst1|add~116
--operation mode is arithmetic

C1L4_carry_eqn = C1L7;
C1L4 = C1_count[4] $ (!C1L4_carry_eqn);

--C1L5 is div_256:inst1|add~118
--operation mode is arithmetic

C1L5 = CARRY(C1_count[4] & (!C1L7));


--J1_tsr[4] is uart_if:inst3|uart:U1|txmit:u2|tsr[4]
--operation mode is normal

J1_tsr[4]_lut_out = J1L02 & J1_tsr[5] # !J1L02 & (J1_tbr[4]);
J1_tsr[4] = DFFEAS(J1_tsr[4]_lut_out, !J1_clkdiv[3], B1_rx_released, , J1L44, , , , );


--J1_tbr[3] is uart_if:inst3|uart:U1|txmit:u2|tbr[3]
--operation mode is normal

J1_tbr[3]_lut_out = E1_din[3];
J1_tbr[3] = DFFEAS(J1_tbr[3]_lut_out, E1_wrn, B1_rx_released, , , , , , );


--E1_din[2] is uart_if:inst3|din[2]
--operation mode is normal

E1_din[2]_lut_out = F1L4Q;
E1_din[2] = DFFEAS(E1_din[2]_lut_out, E1_cnt[3], B1_rx_released, , E1L64, , , , );


--F1L3Q is data_buf:inst4|data_in_buf[1]~reg0
--operation mode is normal

F1L3Q_lut_out = GND;
F1L3Q = DFFEAS(F1L3Q_lut_out, D1_acc[12], VCC, , F1L1, B1_rx_ascii[1], !B1_rx_released, , );


--F1_i[3] is data_buf:inst4|i[3]
--operation mode is normal

F1_i[3]_lut_out = F1_i[3] # F1_i[2] & F1_i[1] & F1_i[0];
F1_i[3] = DFFEAS(F1_i[3]_lut_out, D1_acc[12], B1_rx_released, , , , , , );


--F1_i[2] is data_buf:inst4|i[2]
--operation mode is normal

F1_i[2]_lut_out = F1_i[2] & (F1_i[3] # !F1_i[0] # !F1_i[1]) # !F1_i[2] & (F1_i[1] & F1_i[0]);
F1_i[2] = DFFEAS(F1_i[2]_lut_out, D1_acc[12], B1_rx_released, , , , , , );


--F1_i[1] is data_buf:inst4|i[1]
--operation mode is normal

F1_i[1]_lut_out = F1_i[1] & (F1_i[3] & F1_i[2] # !F1_i[0]) # !F1_i[1] & (F1_i[0]);
F1_i[1] = DFFEAS(F1_i[1]_lut_out, D1_acc[12], B1_rx_released, , , , , , );


--F1L1 is data_buf:inst4|LessThan~60
--operation mode is normal

F1L1 = F1_i[3] & F1_i[2] & F1_i[1];


--E1_cnt[2] is uart_if:inst3|cnt[2]
--operation mode is normal

E1_cnt[2]_lut_out = !E1_cnt[2];
E1_cnt[2] = DFFEAS(E1_cnt[2]_lut_out, D1_acc[12], B1_rx_released, , E1L7, , , , );


--E1_cnt[1] is uart_if:inst3|cnt[1]
--operation mode is normal

E1_cnt[1]_lut_out = !E1_cnt[1];
E1_cnt[1] = DFFEAS(E1_cnt[1]_lut_out, D1_acc[12], B1_rx_released, , E1_cnt[0], , , , );


--E1_cnt[0] is uart_if:inst3|cnt[0]
--operation mode is normal

E1_cnt[0]_lut_out = !E1_cnt[0];
E1_cnt[0] = DFFEAS(E1_cnt[0]_lut_out, D1_acc[12], B1_rx_released, , , , , , );


--E1L6 is uart_if:inst3|add~202
--operation mode is normal

E1L6 = E1_cnt[2] & E1_cnt[1] & E1_cnt[0];


--E1_data_out_d[0] is uart_if:inst3|data_out_d[0]
--operation mode is arithmetic

E1_data_out_d[0]_lut_out = E1L3 $ E1_data_out_d[0];
E1_data_out_d[0] = DFFEAS(E1_data_out_d[0]_lut_out, E1_cnt[3], B1_rx_released, , E1L02, , , E1_read_en, );

--E1L42 is uart_if:inst3|data_out_d[0]~145
--operation mode is arithmetic

E1L42 = CARRY(E1L3 & E1_data_out_d[0]);


--E1_data_out_d[1] is uart_if:inst3|data_out_d[1]
--operation mode is arithmetic

E1_data_out_d[1]_carry_eqn = E1L42;
E1_data_out_d[1]_lut_out = E1_data_out_d[1] $ (E1_data_out_d[1]_carry_eqn);
E1_data_out_d[1] = DFFEAS(E1_data_out_d[1]_lut_out, E1_cnt[3], B1_rx_released, , E1L02, , , E1_read_en, );

--E1L62 is uart_if:inst3|data_out_d[1]~149
--operation mode is arithmetic

E1L62 = CARRY(!E1L42 # !E1_data_out_d[1]);


--E1_data_out_d[2] is uart_if:inst3|data_out_d[2]
--operation mode is arithmetic

E1_data_out_d[2]_carry_eqn = E1L62;
E1_data_out_d[2]_lut_out = E1_data_out_d[2] $ (!E1_data_out_d[2]_carry_eqn);
E1_data_out_d[2] = DFFEAS(E1_data_out_d[2]_lut_out, E1_cnt[3], B1_rx_released, , E1L02, , , E1_read_en, );

--E1L82 is uart_if:inst3|data_out_d[2]~153
--operation mode is arithmetic

E1L82 = CARRY(E1_data_out_d[2] & (!E1L62));


--E1_data_out_d[3] is uart_if:inst3|data_out_d[3]
--operation mode is arithmetic

E1_data_out_d[3]_carry_eqn = E1L82;
E1_data_out_d[3]_lut_out = E1_data_out_d[3] $ (E1_data_out_d[3]_carry_eqn);
E1_data_out_d[3] = DFFEAS(E1_data_out_d[3]_lut_out, E1_cnt[3], B1_rx_released, , E1L02, , , E1_read_en, );

--E1L03 is uart_if:inst3|data_out_d[3]~157
--operation mode is arithmetic

E1L03 = CARRY(!E1L82 # !E1_data_out_d[3]);


--E1L1 is uart_if:inst3|LessThan~225
--operation mode is normal

E1L1 = !E1_data_out_d[3] # !E1_data_out_d[2] # !E1_data_out_d[1] # !E1_data_out_d[0];


--E1_data_out_d[5] is uart_if:inst3|data_out_d[5]
--operation mode is arithmetic

E1_data_out_d[5]_carry_eqn = E1L23;
E1_data_out_d[5]_lut_out = E1_data_out_d[5] $ (E1_data_out_d[5]_carry_eqn);
E1_data_out_d[5] = DFFEAS(E1_data_out_d[5]_lut_out, E1_cnt[3], B1_rx_released, , E1L02, , , E1_read_en, );

--E1L43 is uart_if:inst3|data_out_d[5]~161
--operation mode is arithmetic

E1L43 = CARRY(!E1L23 # !E1_data_out_d[5]);


--E1_data_out_d[6] is uart_if:inst3|data_out_d[6]
--operation mode is arithmetic

E1_data_out_d[6]_carry_eqn = E1L43;
E1_data_out_d[6]_lut_out = E1_data_out_d[6] $ (!E1_data_out_d[6]_carry_eqn);
E1_data_out_d[6] = DFFEAS(E1_data_out_d[6]_lut_out, E1_cnt[3], B1_rx_released, , E1L02, , , E1_read_en, );

--E1L63 is uart_if:inst3|data_out_d[6]~165
--operation mode is arithmetic

E1L63 = CARRY(E1_data_out_d[6] & (!E1L43));


--E1L2 is uart_if:inst3|LessThan~226
--operation mode is normal

E1L2 = !E1_data_out_d[6] # !E1_data_out_d[5];


--E1_data_out_d[4] is uart_if:inst3|data_out_d[4]
--operation mode is arithmetic

E1_data_out_d[4]_carry_eqn = E1L03;
E1_data_out_d[4]_lut_out = E1_data_out_d[4] $ (!E1_data_out_d[4]_carry_eqn);
E1_data_out_d[4] = DFFEAS(E1_data_out_d[4]_lut_out, E1_cnt[3], B1_rx_released, , E1L02, , , E1_read_en, );

--E1L23 is uart_if:inst3|data_out_d[4]~169
--operation mode is arithmetic

E1L23 = CARRY(E1_data_out_d[4] & (!E1L03));


--E1_data_out_d[7] is uart_if:inst3|data_out_d[7]
--operation mode is normal

E1_data_out_d[7]_carry_eqn = E1L63;
E1_data_out_d[7]_lut_out = E1_data_out_d[7] $ (E1_data_out_d[7]_carry_eqn);
E1_data_out_d[7] = DFFEAS(E1_data_out_d[7]_lut_out, E1_cnt[3], B1_rx_released, , E1L02, , , E1_read_en, );


--E1L3 is uart_if:inst3|LessThan~227
--operation mode is normal

E1L3 = !E1_data_out_d[7] & (E1L1 # E1L2 # !E1_data_out_d[4]);


--E1L91Q is uart_if:inst3|data_out[6]~reg0
--operation mode is normal

E1L91Q_lut_out = E1_data_out_d[6] & (!E1_read_en);
E1L91Q = DFFEAS(E1L91Q_lut_out, E1_cnt[3], B1_rx_released, , E1L02, , , , );


--E1L81Q is uart_if:inst3|data_out[5]~reg0
--operation mode is normal

E1L81Q_lut_out = E1_data_out_d[5] & (!E1_read_en);
E1L81Q = DFFEAS(E1L81Q_lut_out, E1_cnt[3], B1_rx_released, , E1L02, , , , );


--E1L71Q is uart_if:inst3|data_out[4]~reg0
--operation mode is normal

E1L71Q_lut_out = E1_data_out_d[4] & (!E1_read_en);
E1L71Q = DFFEAS(E1L71Q_lut_out, E1_cnt[3], B1_rx_released, , E1L02, , , , );


--E1L61Q is uart_if:inst3|data_out[3]~reg0
--operation mode is normal

E1L61Q_lut_out = E1_data_out_d[3] & (!E1_read_en);
E1L61Q = DFFEAS(E1L61Q_lut_out, E1_cnt[3], B1_rx_released, , E1L02, , , , );


--E1L4 is uart_if:inst3|LessThan~22