ps2tolcd.map.eqn

基于EPM1270的PS2键盘鼠标驱动源码Verilog

--B1L2 is div_256:inst1|add~111
--operation mode is arithmetic

B1L2_carry_eqn = B1L5;
B1L2 = B1_count[5] $ (B1L2_carry_eqn);

--B1L3 is div_256:inst1|add~113
--operation mode is arithmetic

B1L3 = CARRY(!B1L5 # !B1_count[5]);


--C1_timer_5usec_count[2] is ps2_keyboard_interface:inst3|timer_5usec_count[2]
--operation mode is arithmetic

C1_timer_5usec_count[2]_carry_eqn = C1L432;
C1_timer_5usec_count[2]_lut_out = C1_timer_5usec_count[2] $ (!C1_timer_5usec_count[2]_carry_eqn);
C1_timer_5usec_count[2] = DFFEAS(C1_timer_5usec_count[2]_lut_out, B1_clk, VCC, , , , , !C1_m1_state.m1_tx_wait_clk_h, );

--C1L632 is ps2_keyboard_interface:inst3|timer_5usec_count[2]~149
--operation mode is arithmetic

C1L632 = CARRY(C1_timer_5usec_count[2] & (!C1L432));


--C1_timer_5usec_count[1] is ps2_keyboard_interface:inst3|timer_5usec_count[1]
--operation mode is arithmetic

C1_timer_5usec_count[1]_carry_eqn = C1L232;
C1_timer_5usec_count[1]_lut_out = C1_timer_5usec_count[1] $ (C1_timer_5usec_count[1]_carry_eqn);
C1_timer_5usec_count[1] = DFFEAS(C1_timer_5usec_count[1]_lut_out, B1_clk, VCC, , , , , !C1_m1_state.m1_tx_wait_clk_h, );

--C1L432 is ps2_keyboard_interface:inst3|timer_5usec_count[1]~153
--operation mode is arithmetic

C1L432 = CARRY(!C1L232 # !C1_timer_5usec_count[1]);


--C1_timer_5usec_count[0] is ps2_keyboard_interface:inst3|timer_5usec_count[0]
--operation mode is arithmetic

C1_timer_5usec_count[0]_lut_out = C1_timer_5usec_done $ C1_timer_5usec_count[0];
C1_timer_5usec_count[0] = DFFEAS(C1_timer_5usec_count[0]_lut_out, B1_clk, VCC, , , , , !C1_m1_state.m1_tx_wait_clk_h, );

--C1L232 is ps2_keyboard_interface:inst3|timer_5usec_count[0]~157
--operation mode is arithmetic

C1L232 = CARRY(C1_timer_5usec_done & C1_timer_5usec_count[0]);


--C1L742 is ps2_keyboard_interface:inst3|timer_5usec_done~40
--operation mode is normal

C1L742 = C1_timer_5usec_count[1] # !C1_timer_5usec_count[0];


--C1_timer_5usec_count[6] is ps2_keyboard_interface:inst3|timer_5usec_count[6]
--operation mode is arithmetic

C1_timer_5usec_count[6]_carry_eqn = C1L242;
C1_timer_5usec_count[6]_lut_out = C1_timer_5usec_count[6] $ (!C1_timer_5usec_count[6]_carry_eqn);
C1_timer_5usec_count[6] = DFFEAS(C1_timer_5usec_count[6]_lut_out, B1_clk, VCC, , , , , !C1_m1_state.m1_tx_wait_clk_h, );

--C1L442 is ps2_keyboard_interface:inst3|timer_5usec_count[6]~161
--operation mode is arithmetic

C1L442 = CARRY(C1_timer_5usec_count[6] & (!C1L242));


--C1_timer_5usec_count[4] is ps2_keyboard_interface:inst3|timer_5usec_count[4]
--operation mode is arithmetic

C1_timer_5usec_count[4]_carry_eqn = C1L832;
C1_timer_5usec_count[4]_lut_out = C1_timer_5usec_count[4] $ (!C1_timer_5usec_count[4]_carry_eqn);
C1_timer_5usec_count[4] = DFFEAS(C1_timer_5usec_count[4]_lut_out, B1_clk, VCC, , , , , !C1_m1_state.m1_tx_wait_clk_h, );

--C1L042 is ps2_keyboard_interface:inst3|timer_5usec_count[4]~165
--operation mode is arithmetic

C1L042 = CARRY(C1_timer_5usec_count[4] & (!C1L832));


--C1_timer_5usec_count[5] is ps2_keyboard_interface:inst3|timer_5usec_count[5]
--operation mode is arithmetic

C1_timer_5usec_count[5]_carry_eqn = C1L042;
C1_timer_5usec_count[5]_lut_out = C1_timer_5usec_count[5] $ (C1_timer_5usec_count[5]_carry_eqn);
C1_timer_5usec_count[5] = DFFEAS(C1_timer_5usec_count[5]_lut_out, B1_clk, VCC, , , , , !C1_m1_state.m1_tx_wait_clk_h, );

--C1L242 is ps2_keyboard_interface:inst3|timer_5usec_count[5]~169
--operation mode is arithmetic

C1L242 = CARRY(!C1L042 # !C1_timer_5usec_count[5]);


--C1_timer_5usec_count[7] is ps2_keyboard_interface:inst3|timer_5usec_count[7]
--operation mode is normal

C1_timer_5usec_count[7]_carry_eqn = C1L442;
C1_timer_5usec_count[7]_lut_out = C1_timer_5usec_count[7] $ (C1_timer_5usec_count[7]_carry_eqn);
C1_timer_5usec_count[7] = DFFEAS(C1_timer_5usec_count[7]_lut_out, B1_clk, VCC, , , , , !C1_m1_state.m1_tx_wait_clk_h, );


--C1L842 is ps2_keyboard_interface:inst3|timer_5usec_done~41
--operation mode is normal

C1L842 = C1_timer_5usec_count[6] # !C1_timer_5usec_count[7] # !C1_timer_5usec_count[5] # !C1_timer_5usec_count[4];


--C1_timer_5usec_count[3] is ps2_keyboard_interface:inst3|timer_5usec_count[3]
--operation mode is arithmetic

C1_timer_5usec_count[3]_carry_eqn = C1L632;
C1_timer_5usec_count[3]_lut_out = C1_timer_5usec_count[3] $ (C1_timer_5usec_count[3]_carry_eqn);
C1_timer_5usec_count[3] = DFFEAS(C1_timer_5usec_count[3]_lut_out, B1_clk, VCC, , , , , !C1_m1_state.m1_tx_wait_clk_h, );

--C1L832 is ps2_keyboard_interface:inst3|timer_5usec_count[3]~177
--operation mode is arithmetic

C1L832 = CARRY(!C1L632 # !C1_timer_5usec_count[3]);


--C1_timer_5usec_done is ps2_keyboard_interface:inst3|timer_5usec_done
--operation mode is normal

C1_timer_5usec_done = C1_timer_5usec_count[2] # C1L742 # C1L842 # !C1_timer_5usec_count[3];


--C1L74 is ps2_keyboard_interface:inst3|reduce_nor~1
--operation mode is normal

C1L74 = !C1L63 # !C1_q[5];


--C1_q[10] is ps2_keyboard_interface:inst3|q[10]
--operation mode is normal

C1_q[10]_lut_out = reset & C1_ps2_data_s;
C1_q[10] = DFFEAS(C1_q[10]_lut_out, B1_clk, VCC, , C1L44, , , , );


--C1_tx_shifting_done is ps2_keyboard_interface:inst3|tx_shifting_done
--operation mode is normal

C1_tx_shifting_done = C1_bit_count[0] # C1_bit_count[2] # !C1_bit_count[3] # !C1_bit_count[1];


--C1_m1_state.m1_rx_clk_l is ps2_keyboard_interface:inst3|m1_state.m1_rx_clk_l
--operation mode is normal

C1_m1_state.m1_rx_clk_l_lut_out = C1_m1_state.m1_rx_falling_edge_marker # !C1_ps2_clk_s & (C1_m1_state.m1_rx_clk_l);
C1_m1_state.m1_rx_clk_l = DFFEAS(C1_m1_state.m1_rx_clk_l_lut_out, B1_clk, VCC, , , , , !reset, );


--C1L041 is ps2_keyboard_interface:inst3|reduce_or~0
--operation mode is normal

C1L041 = !C1_m1_state.m1_rx_clk_l & (C1_m1_state.m1_rx_clk_h);


--C1_m1_state.m1_rx_rising_edge_marker is ps2_keyboard_interface:inst3|m1_state.m1_rx_rising_edge_marker
--operation mode is normal

C1_m1_state.m1_rx_rising_edge_marker_lut_out = C1_m1_state.m1_rx_clk_l & reset & C1_ps2_clk_s;
C1_m1_state.m1_rx_rising_edge_marker = DFFEAS(C1_m1_state.m1_rx_rising_edge_marker_lut_out, B1_clk, VCC, , , , , , );


--C1_ps2_data_s is ps2_keyboard_interface:inst3|ps2_data_s
--operation mode is normal

C1_ps2_data_s_lut_out = A1L41;
C1_ps2_data_s = DFFEAS(C1_ps2_data_s_lut_out, B1_clk, VCC, , , , , , );


--C1_m1_state.m1_tx_error_no_keyboard_ack is ps2_keyboard_interface:inst3|m1_state.m1_tx_error_no_keyboard_ack
--operation mode is normal

C1_m1_state.m1_tx_error_no_keyboard_ack_lut_out = C1_ps2_data_s & !C1_ps2_clk_s & (C1_m1_state.m1_tx_error_no_keyboard_ack # C1_m1_state.m1_tx_wait_keyboard_ack) # !C1_ps2_data_s & C1_m1_state.m1_tx_error_no_keyboard_ack;
C1_m1_state.m1_tx_error_no_keyboard_ack = DFFEAS(C1_m1_state.m1_tx_error_no_keyboard_ack_lut_out, B1_clk, VCC, , , , , !reset, );


--C1_m1_state.m1_tx_done_recovery is ps2_keyboard_interface:inst3|m1_state.m1_tx_done_recovery
--operation mode is normal

C1_m1_state.m1_tx_done_recovery_lut_out = C1_ps2_clk_s & (!C1_ps2_data_s & C1_m1_state.m1_tx_done_recovery) # !C1_ps2_clk_s & (C1_m1_state.m1_tx_done_recovery # C1_m1_state.m1_tx_wait_keyboard_ack & !C1_ps2_data_s);
C1_m1_state.m1_tx_done_recovery = DFFEAS(C1_m1_state.m1_tx_done_recovery_lut_out, B1_clk, VCC, , , , , !reset, );


--C1L82 is ps2_keyboard_interface:inst3|m1_state~178
--operation mode is normal

C1L82 = C1_ps2_data_s & (C1_m1_state.m1_tx_error_no_keyboard_ack # C1_m1_state.m1_tx_done_recovery) # !C1_m1_state.m1_rx_clk_h;


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

B1_count[5]_lut_out = B1L2;
B1_count[5] = DFFEAS(B1_count[5]_lut_out, mclk, reset, , , , , , );


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

B1L4_carry_eqn = B1L7;
B1L4 = B1_count[4] $ (!B1L4_carry_eqn);

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

B1L5 = CARRY(B1_count[4] & (!B1L7));


--B1_count[4] is div_256:inst1|count[4]
--operation mode is normal

B1_count[4]_lut_out = B1L4;
B1_count[4] = DFFEAS(B1_count[4]_lut_out, mclk, reset, , , , , , );


--B1L6 is div_256:inst1|add~121
--operation mode is arithmetic

B1L6_carry_eqn = B1L9;
B1L6 = B1_count[3] $ (B1L6_carry_eqn);

--B1L7 is div_256:inst1|add~123
--operation mode is arithmetic

B1L7 = CARRY(!B1L9 # !B1_count[3]);


--B1_count[3] is div_256:inst1|count[3]
--operation mode is normal

B1_count[3]_lut_out = B1L6;
B1_count[3] = DFFEAS(B1_count[3]_lut_out, mclk, reset, , , , , , );


--B1L8 is div_256:inst1|add~126
--operation mode is arithmetic

B1L8_carry_eqn = B1L11;
B1L8 = B1_count[2] $ (!B1L8_carry_eqn);

--B1L9 is div_256:inst1|add~128
--operation mode is arithmetic

B1L9 = CARRY(B1_count[2] & (!B1L11));


--B1_count[2] is div_256:inst1|count[2]
--operation mode is normal

B1_count[2]_lut_out = B1L8;
B1_count[2] = DFFEAS(B1_count[2]_lut_out, mclk, reset, , , , , , );


--B1L01 is div_256:inst1|add~131
--operation mode is arithmetic

B1L01_carry_eqn = B1L31;
B1L01 = B1_count[1] $ (B1L01_carry_eqn);

--B1L11 is div_256:inst1|add~133
--operation mode is arithmetic

B1L11 = CARRY(!B1L31 # !B1_count[1]);


--B1_count[1] is div_256:inst1|count[1]
--operation mode is normal

B1_count[1]_lut_out = B1L01;
B1_count[1] = DFFEAS(B1_count[1]_lut_out, mclk, reset, , , , , , );


--B1L21 is div_256:inst1|add~136
--operation mode is arithmetic

B1L21 = !B1_count[0];

--B1L31 is div_256:inst1|add~138
--operation mode is arithmetic

B1L31 = CARRY(B1_count[0]);


--B1_count[0] is div_256:inst1|count[0]
--operation mode is normal

B1_count[0]_lut_out = B1L21;
B1_count[0] = DFFEAS(B1_count[0]_lut_out, mclk, reset, , , , , , );


--C1L131 is ps2_keyboard_interface:inst3|reduce_nor~4960
--operation mode is normal

C1L131 = C1_q[3] & !C1_q[2] & C1_q[4] & C1L28;


--C1L75 is ps2_keyboard_interface:inst3|reduce_nor~43
--operation mode is normal

C1L75 = !C1_left_shift_key & !C1_right_shift_key # !C1L18 # !C1L87;


--C1L231 is ps2_keyboard_interface:inst3|reduce_nor~4961
--operation mode is normal

C1L231 = C1_left_shift_key # C1_right_shift_key # !C1L18 # !C1L87;


--C1L212 is ps2_keyboard_interface:inst3|reduce_or~1324
--operation mode is normal

C1L212 = !C1_q[3] & (C1L27 # C1_q[4] & C1L09);


--C1L46 is ps2_keyboard_interface:inst3|reduce_nor~60
--operation mode is normal

C1L46 = !C1_left_shift_key & !C1_right_shift_key # !C1L601 # !C1L87;


--C1L312 is ps2_keyboard_interface:inst3|reduce_or~1325
--operation mode is normal

C1L312 = C1L551 & C1L651 & (!C1L58 # !C1L87);


--C1L331 is ps2_keyboard_interface:inst3|reduce_nor~4962
--operation mode is normal

C1L331 = !C1_left_shift_key & !C1_right_shift_key & C1_q[4] & C1L822;


--C1L431 is ps2_keyboard_interface:inst3|reduce_nor~4963
--operation mode is normal

C1L431 = C1_q[3] # !C1L49 # !C1_q[1] # !C1_q[2];


--C1L56 is ps2_keyboard_interface:inst3|reduce_nor~61
--operation mode is normal

C1L56 = !C1_left_shift_key & !C1_right_shift_key # !C1L49 # !C1L601;


--C1L531 is ps2_keyboard_interface:inst3|reduce_nor~4964
--operation mode is normal

C1L531 = !C1_left_shift_key & !C1_right_shift_key & C1L98;


--C1L631 is ps2_keyboard_interface:inst3|reduce_nor~4965
--operation mode is normal

C1L631 = C1L87 & (C1_left_shift_key # C1_right_shift_key);


--C1L65 is ps2_keyboard_interface:inst3|reduce_nor~41
--operation mode is normal

C1L65 = C1_q[1] # !C1_left_shift_key & !C1_right_shift_key # !C1L131;


--C1L731 is ps2_keyboard_interface:inst3|reduce_nor~4966
--operation mode is normal

C1L731 = C1_q[4] & C1L822 & (C1_left_shift_key # C1_right_shift_key);


--C1L831 is ps2_keyboard_interface:inst3|reduce_nor~4967
--operation mode is normal

C1L831 = C1L722 & (C1L58 # C1L29 # C1L19);


--C1L931 is ps2_keyboard_interface:inst3|reduce_nor~4968
--operation mode is normal

C1L931 = C1L59 # C1L831 # !C1L99 # !C1L201;


--C1L412 is ps2_keyboard_interface:inst3|reduce_or~1326
--operation mode is normal

C1L412 = C1L451 # C1L68 & C1_q[3] # !C1L05;


--C1L512 is ps2_keyboard_interface:inst3|reduce_or~1327
--operation mode is normal

C1L512 = C1L412 # C1L58 & (C1L87 # C1L722);


--reset is reset
--operation mode is input

reset = INPUT();


--mclk is mclk
--operation mode is input

mclk = INPUT();


--led[7] is led[7]
--operation mode is output

led[7] = OUTPUT(GND);


--led[6] is led[6]
--operation mode is output

led[6] = OUTPUT(C1_rx_ascii[6]);


--led[5] is led[5]
--operation mode is output

led[5] = OUTPUT(C1_rx_ascii[5]);


--led[4] is led[4]
--operation mode is output

led[4] = OUTPUT(C1_rx_ascii[4]);


--led[3] is led[3]
--operation mode is output

led[3] = OUTPUT(C1_rx_ascii[3]);


--led[2] is led[2]
--operation mode is output

led[2] = OUTPUT(C1_rx_ascii[2]);


--led[1] is led[1]
--operation mode is output

led[1] = OUTPUT(C1_rx_ascii[1]);


--led[0] is led[0]
--operation mode is output

led[0] = OUTPUT(C1_rx_ascii[0]);


--A1L21 is ps2_clk~0
--operation mode is bidir

A1L21 = ps2_clk;

--ps2_clk is ps2_clk
--operation mode is bidir

ps2_clk = BIDIR(OPNDRN(VCC));


--A1L41 is ps2_data~0
--operation mode is bidir

A1L41 = ps2_data;

--ps2_data is ps2_data
--operation mode is bidir

ps2_data = BIDIR(OPNDRN(C1L03));