ps2tolcd.map.eqn

VHDL语言实现的程序

--D1_clkcnt[14] is lcd:inst2|clkcnt[14]
D1_clkcnt[14] = DFFEAS(D1L69, C1_count[3],  ,  ,  ,  ,  , D1L47,  );


--D1_clkcnt[12] is lcd:inst2|clkcnt[12]
D1_clkcnt[12] = DFFEAS(D1L09, C1_count[3],  ,  ,  ,  ,  , D1L47,  );


--D1_clkcnt[15] is lcd:inst2|clkcnt[15]
D1_clkcnt[15] = DFFEAS(D1L99, C1_count[3],  ,  ,  ,  ,  , D1L47,  );


--D1L341 is lcd:inst2|reduce_nor~110
D1L341 = D1_clkcnt[13] # D1_clkcnt[14] # !D1_clkcnt[15] # !D1_clkcnt[12];


--D1L441 is lcd:inst2|reduce_nor~111
D1L441 = !D1L041 & !D1L141 & !D1L241 & !D1L341;


--D1L92 is lcd:inst2|add~419
D1L92 = D1_count[0] $ VCC;

--D1L03 is lcd:inst2|add~420
D1L03 = CARRY(D1_count[0]);


--D1L13 is lcd:inst2|add~421
D1L13 = D1_count[1] & !D1L03 # !D1_count[1] & (D1L03 # GND);

--D1L23 is lcd:inst2|add~422
D1L23 = CARRY(!D1L03 # !D1_count[1]);


--D1L33 is lcd:inst2|add~423
D1L33 = D1_count[2] & (D1L23 $ GND) # !D1_count[2] & !D1L23 & VCC;

--D1L43 is lcd:inst2|add~424
D1L43 = CARRY(D1_count[2] & !D1L23);


--D1L53 is lcd:inst2|add~425
D1L53 = D1_count[3] & !D1L43 # !D1_count[3] & (D1L43 # GND);

--D1L63 is lcd:inst2|add~426
D1L63 = CARRY(!D1L43 # !D1_count[3]);


--D1L73 is lcd:inst2|add~427
D1L73 = D1_count[4] & (D1L63 $ GND) # !D1_count[4] & !D1L63 & VCC;

--D1L83 is lcd:inst2|add~428
D1L83 = CARRY(D1_count[4] & !D1L63);


--D1L93 is lcd:inst2|add~429
D1L93 = D1_count[5] & !D1L83 # !D1_count[5] & (D1L83 # GND);

--D1L04 is lcd:inst2|add~430
D1L04 = CARRY(!D1L83 # !D1_count[5]);


--D1L211 is lcd:inst2|count~386
D1L211 = D1L74 & D1L93 & (D1L1 # !D1_count[6]);


--D1L111 is lcd:inst2|count[6]~21
D1L111 = E1_rx_released & D1_state.SETDDRAM;


--D1L311 is lcd:inst2|count~387
D1L311 = D1L74 & D1L53 & (D1L1 # !D1_count[6]);


--D1L411 is lcd:inst2|count~388
D1L411 = D1L64 & D1L92 # !D1L64 & (D1L84 & D1L92 # !D1L84 & (D1L34));


--D1L511 is lcd:inst2|count~389
D1L511 = D1L74 & D1L33 & (D1L1 # !D1_count[6]);


--D1L611 is lcd:inst2|count~390
D1L611 = D1L74 & D1L13 & (D1L1 # !D1_count[6]);


--D1_data_in_buf[6] is lcd:inst2|data_in_buf[6]
D1_data_in_buf[6] = E1_rx_released & (D1_data_in_buf[6]) # !E1_rx_released & E1_rx_ascii[6];


--D1_data_in_buf[5] is lcd:inst2|data_in_buf[5]
D1_data_in_buf[5] = E1_rx_released & (D1_data_in_buf[5]) # !E1_rx_released & E1_rx_ascii[5];


--D1_data_in_buf[4] is lcd:inst2|data_in_buf[4]
D1_data_in_buf[4] = E1_rx_released & (D1_data_in_buf[4]) # !E1_rx_released & E1_rx_ascii[4];


--D1_data_in_buf[3] is lcd:inst2|data_in_buf[3]
D1_data_in_buf[3] = E1_rx_released & (D1_data_in_buf[3]) # !E1_rx_released & E1_rx_ascii[3];


--D1_data_in_buf[2] is lcd:inst2|data_in_buf[2]
D1_data_in_buf[2] = E1_rx_released & (D1_data_in_buf[2]) # !E1_rx_released & E1_rx_ascii[2];


--D1_data_in_buf[1] is lcd:inst2|data_in_buf[1]
D1_data_in_buf[1] = E1_rx_released & (D1_data_in_buf[1]) # !E1_rx_released & E1_rx_ascii[1];


--D1_data_in_buf[0] is lcd:inst2|data_in_buf[0]
D1_data_in_buf[0] = E1_rx_released & (D1_data_in_buf[0]) # !E1_rx_released & E1_rx_ascii[0];


--D1L711 is lcd:inst2|count~391
D1L711 = D1L74 & D1L73 & (D1L1 # !D1_count[6]);


--D1L14 is lcd:inst2|add~431
D1L14 = D1_count[6] $ !D1L04;


--D1L811 is lcd:inst2|count~392
D1L811 = D1L64 & D1L14 # !D1L64 & (D1L84 & D1L14 # !D1L84 & (D1L34));


--D1L05 is lcd:inst2|clk_int~12
D1L05 = !D1_clk_int & E1_rx_released;


--D1_flag is lcd:inst2|flag
D1_flag = DFFEAS(VCC, D1_clk_int, !E1_rx_released,  , !D1_state.IDLE,  ,  ,  ,  );


--D1L751 is lcd:inst2|state~69
D1L751 = !D1_state.IDLE & !D1_flag;


--D1L82 is lcd:inst2|Select~1059
D1L82 = D1_state.WRITERAM # D1_flag & !D1_state.IDLE;


--D1L651 is lcd:inst2|state~4
D1L651 = D1_state.SWITCHMODE # D1_state.CLEAR;


--C1_count[6] is div_256:inst1|count[6]
C1_count[6] = DFFEAS(C1L31, mclk, !reset,  ,  ,  ,  ,  ,  );


--C1_count[5] is div_256:inst1|count[5]
C1_count[5] = DFFEAS(C1L11, mclk, !reset,  ,  ,  ,  ,  ,  );


--C1_count[4] is div_256:inst1|count[4]
C1_count[4] = DFFEAS(C1L9, mclk, !reset,  ,  ,  ,  ,  ,  );


--C1_count[3] is div_256:inst1|count[3]
C1_count[3] = DFFEAS(C1L7, mclk, !reset,  ,  ,  ,  ,  ,  );


--C1_count[2] is div_256:inst1|count[2]
C1_count[2] = DFFEAS(C1L5, mclk, !reset,  ,  ,  ,  ,  ,  );


--C1_count[1] is div_256:inst1|count[1]
C1_count[1] = DFFEAS(C1L3, mclk, !reset,  ,  ,  ,  ,  ,  );


--C1_count[0] is div_256:inst1|count[0]
C1_count[0] = DFFEAS(C1L1, mclk, !reset,  ,  ,  ,  ,  ,  );


--C1L1 is div_256:inst1|add~106
C1L1 = C1_count[0] $ VCC;

--C1L2 is div_256:inst1|add~107
C1L2 = CARRY(C1_count[0]);


--C1L3 is div_256:inst1|add~108
C1L3 = C1_count[1] & !C1L2 # !C1_count[1] & (C1L2 # GND);

--C1L4 is div_256:inst1|add~109
C1L4 = CARRY(!C1L2 # !C1_count[1]);


--C1L5 is div_256:inst1|add~110
C1L5 = C1_count[2] & (C1L4 $ GND) # !C1_count[2] & !C1L4 & VCC;

--C1L6 is div_256:inst1|add~111
C1L6 = CARRY(C1_count[2] & !C1L4);


--C1L7 is div_256:inst1|add~112
C1L7 = C1_count[3] & !C1L6 # !C1_count[3] & (C1L6 # GND);

--C1L8 is div_256:inst1|add~113
C1L8 = CARRY(!C1L6 # !C1_count[3]);


--C1L9 is div_256:inst1|add~114
C1L9 = C1_count[4] & (C1L8 $ GND) # !C1_count[4] & !C1L8 & VCC;

--C1L01 is div_256:inst1|add~115
C1L01 = CARRY(C1_count[4] & !C1L8);


--C1L11 is div_256:inst1|add~116
C1L11 = C1_count[5] & !C1L01 # !C1_count[5] & (C1L01 # GND);

--C1L21 is div_256:inst1|add~117
C1L21 = CARRY(!C1L01 # !C1_count[5]);


--C1L31 is div_256:inst1|add~118
C1L31 = C1_count[6] $ !C1L21;


--E1L56 is ps2_keyboard_interface:inst3|q~6019
E1L56 = E1_q[7] & reset;


--E1_m1_state.m1_tx_rising_edge_marker is ps2_keyboard_interface:inst3|m1_state.m1_tx_rising_edge_marker
E1_m1_state.m1_tx_rising_edge_marker = DFFEAS(E1L14, C1_clk,  ,  ,  ,  ,  ,  ,  );


--E1_m1_state.m1_rx_falling_edge_marker is ps2_keyboard_interface:inst3|m1_state.m1_rx_falling_edge_marker
E1_m1_state.m1_rx_falling_edge_marker = DFFEAS(E1L24, C1_clk,  ,  ,  ,  ,  ,  ,  );


--E1L85 is ps2_keyboard_interface:inst3|q[4]~6020
E1L85 = E1_m1_state.m1_tx_rising_edge_marker # E1_m1_state.m1_rx_falling_edge_marker # !reset;


--E1L66 is ps2_keyboard_interface:inst3|q~6021
E1L66 = E1_q[4] & reset;


--E1L76 is ps2_keyboard_interface:inst3|q~6022
E1L76 = E1_q[3] & reset;


--E1L86 is ps2_keyboard_interface:inst3|q~6023
E1L86 = E1_q[5] & reset;


--E1L2 is ps2_keyboard_interface:inst3|always10~33
E1L2 = E1_rx_shifting_done # !E1L911;


--E1L22 is ps2_keyboard_interface:inst3|left_shift_key~148
E1L22 = E1L2 & E1_left_shift_key # !E1L2 & (E1L111 & (!E1_hold_released) # !E1L111 & E1_left_shift_key);


--E1L3 is ps2_keyboard_interface:inst3|always11~33
E1L3 = E1_rx_shifting_done # !E1L011;


--E1L342 is ps2_keyboard_interface:inst3|right_shift_key~148
E1L342 = E1L3 & E1_right_shift_key # !E1L3 & (E1L001 & (!E1_hold_released) # !E1L001 & E1_right_shift_key);


--E1L96 is ps2_keyboard_interface:inst3|q~6024
E1L96 = E1_q[2] & reset;


--E1L07 is ps2_keyboard_interface:inst3|q~6025
E1L07 = E1_q[6] & reset;


--E1_q[9] is ps2_keyboard_interface:inst3|q[9]
E1_q[9] = DFFEAS(E1L37, C1_clk,  ,  , E1L85,  ,  ,  ,  );


--E1L17 is ps2_keyboard_interface:inst3|q~6026
E1L17 = reset & E1_q[9];


--E1L27 is ps2_keyboard_interface:inst3|q~6027
E1L27 = E1_q[8] & reset;


--E1L1 is ps2_keyboard_interface:inst3|always5~4
E1L1 = E1_m1_state.m1_tx_rising_edge_marker # E1_m1_state.m1_rx_falling_edge_marker;


--E1L6 is ps2_keyboard_interface:inst3|bit_count[0]~171
E1L6 = E1_bit_count[0] & (E1L1 $ VCC) # !E1_bit_count[0] & E1L1 & VCC;

--E1L7 is ps2_keyboard_interface:inst3|bit_count[0]~172
E1L7 = CARRY(E1_bit_count[0] & E1L1);


--E1L11 is ps2_keyboard_interface:inst3|bit_count[1]~173
E1L11 = E1_bit_count[1] & !E1L7 # !E1_bit_count[1] & (E1L7 # GND);

--E1L21 is ps2_keyboard_interface:inst3|bit_count[1]~174
E1L21 = CARRY(!E1L7 # !E1_bit_count[1]);


--E1L41 is ps2_keyboard_interface:inst3|bit_count[2]~175
E1L41 = E1_bit_count[2] & (E1L21 $ GND) # !E1_bit_count[2] & !E1L21 & VCC;

--E1L51 is ps2_keyboard_interface:inst3|bit_count[2]~176
E1L51 = CARRY(E1_bit_count[2] & !E1L21);


--E1_m1_state.m1_tx_wait_keyboard_ack is ps2_keyboard_interface:inst3|m1_state.m1_tx_wait_keyboard_ack
E1_m1_state.m1_tx_wait_keyboard_ack = DFFEAS(E1L34, C1_clk,  ,  ,  ,  ,  , !reset,  );


--E1L8 is ps2_keyboard_interface:inst3|bit_count[0]~177
E1L8 = reset & E1_rx_shifting_done & !E1_m1_state.m1_tx_wait_keyboard_ack;


--E1_timer_60usec_count[1] is ps2_keyboard_interface:inst3|timer_60usec_count[1]
E1_timer_60usec_count[1] = DFFEAS(E1L392, C1_clk,  ,  ,  ,  ,  , E1L661,  );


--E1_timer_60usec_count[3] is ps2_keyboard_interface:inst3|timer_60usec_count[3]
E1_timer_60usec_count[3] = DFFEAS(E1L992, C1_clk,  ,  ,  ,  ,  , E1L661,  );


--E1_timer_60usec_count[0] is ps2_keyboard_interface:inst3|timer_60usec_count[0]
E1_timer_60usec_count[0] = DFFEAS(E1L092, C1_clk,  ,  ,  ,  ,  , E1L661,  );


--E1_timer_60usec_count[2] is ps2_keyboard_interface:inst3|timer_60usec_count[2]
E1_timer_60usec_count[2] = DFFEAS(E1L692, C1_clk,  ,  ,  ,  ,  , E1L661,  );


--E1L523 is ps2_keyboard_interface:inst3|timer_60usec_done~79
E1L523 = E1_timer_60usec_count[1] # E1_timer_60usec_count[3] # !E1_timer_60usec_count[2] # !E1_timer_60usec_count[0];


--E1_timer_60usec_count[4] is ps2_keyboard_interface:inst3|timer_60usec_count[4]
E1_timer_60usec_count[4] = DFFEAS(E1L203, C1_clk,  ,  ,  ,  ,  , E1L661,  );


--E1_timer_60usec_count[5] is ps2_keyboard_interface:inst3|timer_60usec_count[5]
E1_timer_60usec_count[5] = DFFEAS(E1L503, C1_clk,  ,  ,  ,  ,  , E1L661,  );


--E1_timer_60usec_count[6] is ps2_keyboard_interface:inst3|timer_60usec_count[6]
E1_timer_60usec_count[6] = DFFEAS(E1L803, C1_clk,  ,  ,  ,  ,  , E1L661,  );


--E1_timer_60usec_count[7] is ps2_keyboard_interface:inst3|timer_60usec_count[7]
E1_timer_60usec_count[7] = DFFEAS(E1L113, C1_clk,  ,  ,  ,  ,  , E1L661,  );


--E1L623 is ps2_keyboard_interface:inst3|timer_60usec_done~80
E1L623 = E1_timer_60usec_count[4] # E1_timer_60usec_count[5] # E1_timer_60usec_count[6] # !E1_timer_60usec_count[7];


--E1_timer_60usec_count[10] is ps2_keyboard_interface:inst3|timer_60usec_count[10]
E1_timer_60usec_count[10] = DFFEAS(E1L023, C1_clk,  ,  ,  ,  ,  , E1L661,  );


--E1_timer_60usec_count[8] is ps2_keyboard_interface:inst3|timer_60usec_count[8]
E1_timer_60usec_count[8] = DFFEAS(E1L413, C1_clk,  ,  ,  ,  ,  , E1L661,  );


--E1_timer_60usec_count[9] is ps2_keyboard_interface:inst3|timer_60usec_count[9]
E1_timer_60usec_count[9] = DFFEAS(E1L713, C1_clk,  ,  ,  ,  ,  , E1L661,  );


--E1_timer_60usec_count[11] is ps2_keyboard_interface:inst3|timer_60usec_count[11]
E1_timer_60usec_count[11] = DFFEAS(E1L323, C1_clk,  ,  ,  ,  ,  , E1L661,  );


--E1L723 is ps2_keyboard_interface:inst3|timer_60usec_done~81
E1L723 = E1_timer_60usec_count[10] # !E1_timer_60usec_count[11] # !E1_timer_60usec_count[9] # !E1_timer_60usec_count[8];


--E1L823 is ps2_keyboard_interface:inst3|timer_60usec_done~82
E1L823 = E1L523 # E1L623 # E1L723;


--E1_m1_state.m1_rx_clk_h is ps2_keyboard_interface:inst3|m1_state.m1_rx_clk_h
E1_m1_state.m1_rx_clk_h = DFFEAS(E1L54, C1_clk,  ,  ,  ,  ,  ,  ,  );


--E1_ps2_clk_s is ps2_keyboard_interface:inst3|ps2_clk_s
E1_ps2_clk_s = DFFEAS(A1L42, C1_clk,  ,  ,  ,  ,  ,  ,  );


--E1L9 is ps2_keyboard_interface:inst3|bit_count[0]~178
E1L9 = !E1L823 & !E1_m1_state.m1_rx_clk_h & E1_ps2_clk_s # !E1L8;


--E1L71 is ps2_keyboard_interface:inst3|bit_count[3]~179
E1L71 = E1_bit_count[3] $ E1L51;


--E1_q[0] is ps2_keyboard_interface:inst3|q[0]
E1_q[0] = DFFEAS(E1L47, C1_clk,  ,  , E1L85,  ,  ,  ,  );


--E1_m1_state.m1_tx_clk_h is ps2_keyboard_interface:inst3|m1_state.m1_tx_clk_h
E1_m1_state.m1_tx_clk_h = DFFEAS(E1L42, C1_clk,  ,  ,  ,  ,  , !reset,  );


--E1L53 is ps2_keyboard_interface:inst3|m1_state.m1_tx_clk_l~33
E1L53 = !E1_m1_state.m1_tx_rising_edge_marker & !E1_m1_state.m1_tx_clk_h;


--E1_m1_state.m1_tx_wait_clk_h is ps2_keyboard_interface:inst3|m1_state.m1_tx_wait_clk_h
E1_m1_state.m1_tx_wait_clk_h = DFFEAS(E1L82, C1_clk,  ,  ,  ,  ,  , !reset,  );


--E1_m1_state.m1_tx_clk_l is ps2_keyboard_interface:inst3|m1_state.m1_tx_clk_l
E1_m1_state.m1_tx_clk_l = DFFEAS(E1L52, C1_clk,  ,  ,  ,  ,  , !reset,  );


--E1L84 is ps2_keyboard_interface:inst3|ps2_data_hi_z~29
E1L84 = E1_q[0] # E1L53 & !E1_m1_state.m1_tx_wait_clk_h & !E1_m1_state.m1_tx_clk_l;


--E1L67 is ps2_keyboard_interface:inst3|reduce_nor~1
E1L67 = !E1L45 # !E1_q[5];


--E1L02 is ps2_keyboard_interface:inst3|hold_released~62
E1L02 = !E1L642 & (E1_hold_released # !E1L67 & !E1_rx_shifting_done);


--D1L35 is lcd:inst2|clkcnt[0]~357
D1L35 = D1_clkcnt[0] $ VCC;

--D1L45 is lcd:inst2|clkcnt[0]~358
D1L45 = CARRY(D1_clkcnt[0]);


--D1L47 is lcd:inst2|clkcnt[7]~359
D1L47 = D1L441 # !E1_rx_released;


--D1L65 is lcd:inst2|clkcnt[1]~360
D1L65 = D1_clkcnt[1] & !D1L45 # !D1_clkcnt[1] & (D1L45 # GND);

--D1L75 is lcd:inst2|clkcnt[1]~361
D1L75 = CARRY(!D1L45 # !D1_clkcnt[1]);


--D1L95 is lcd:inst2|clkcnt[2]~362
D1L95 = D1_clkcnt[2] & (D1L75 $ GND) # !D1_clkcnt[2] & !D1L75 & VCC;

--D1L06 is lcd:inst2|clkcnt[2]~363
D1L06 = CARRY(D1_clkcnt[2] & !D1L75);


--D1L26 is lcd:inst2|clkcnt[3]~364
D1L26 = D1_clkcnt[3] & !D1L06 # !D1_clkcnt[3] & (D1L06 # GND);

--D1L36 is lcd:inst2|clkcnt[3]~365
D1L36 = CARRY(!D1L06 # !D1_clkcnt[3]);


--D1L56 is lcd:inst2|clkcnt[4]~366
D1L56 = D1_clkcnt[4] & (D1L36 $ GND) # !D1_clkcnt[4] & !D1L36 & VCC;

--D1L66 is lcd:inst2|clkcnt[4]~367
D1L66 = CARRY(D1_clkcnt[4] & !D1L36);


--D1L86 is lcd:inst2|clkcnt[5]~368
D1L86 = D1_clkcnt[5] & !D1L66 # !D1_clkcnt[5] & (D1L66 # GND);

--D1L96 is lcd:inst2|clkcnt[5]~369
D1L96 = CARRY(!D1L66 # !D1_clkcnt[5]);


--D1L17 is lcd:inst2|clkcnt[6]~370
D1L17 = D1_clkcnt[6] & (D1L96 $ GND) # !D1_clkcnt[6] & !D1L96 & VCC;

--D1L27 is lcd:inst2|clkcnt[6]~371
D1L27 = CARRY(D1_clkcnt[6] & !D1L96);


--D1L57 is lcd:inst2|clkcnt[7]~372
D1L57 = D1_clkcnt[7] & !D1L27 # !D1_clkcnt[7] & (D1L27 # GND);

--D1L67 is lcd:inst2|clkcnt[7]~373
D1L67 = CARRY(!D1L27 # !D1_clkcnt[7]);


--D1L87 is lcd:inst2|clkcnt[8]~374
D1L87 = D1_clkcnt[8] & (D1L67 $ GND) # !D1_clkcnt[8] & !D1L67 & VCC;

--D1L97 is lcd:inst2|clkcnt[8]~375
D1L97 = CARRY(D1_clkcnt[8] & !D1L67);


--D1L18 is lcd:inst2|clkcnt[9]~376
D1L18 = D1_clkcnt[9] & !D1L97 # !D1_clkcnt[9] & (D1L97 # GND);

--D1L28 is lcd:inst2|clkcnt[9]~377
D1L28 = CARRY(!D1L97 # !D1_clkcnt[9]);


--D1L48 is lcd:inst2|clkcnt[10]~378
D1L48 = D1_clkcnt[10] & (D1L28 $ GND) # !D1_clkcnt[10] & !D1L28 & VCC;

--D1L58 is lcd:inst2|clkcnt[10]~379
D1L58 = CARRY(D1_clkcnt[10] & !D1L28);


--D1L78 is lcd:inst2|clkcnt[11]~380
D1L78 = D1_clkcnt[11] & !D1L58 # !D1_clkcnt[11] & (D1L58 # GND);

--D1L88 is lcd:inst2|clkcnt[11]~381
D1L88 = CARRY(!D1L58 # !D1_clkcnt[11]);


--D1L09 is lcd:inst2|clkcnt[12]~382
D1L09 = D1_clkcnt[12] & (D1L88 $ GND) # !D1_clkcnt[12] & !D1L88 & VCC;

--D1L19 is lcd:inst2|clkcnt[12]~383