ps2tolcd.map.eqn

VHDL语言实现的程序

D1L19 = CARRY(D1_clkcnt[12] & !D1L88);


--D1L39 is lcd:inst2|clkcnt[13]~384
D1L39 = D1_clkcnt[13] & !D1L19 # !D1_clkcnt[13] & (D1L19 # GND);

--D1L49 is lcd:inst2|clkcnt[13]~385
D1L49 = CARRY(!D1L19 # !D1_clkcnt[13]);


--D1L69 is lcd:inst2|clkcnt[14]~386
D1L69 = D1_clkcnt[14] & (D1L49 $ GND) # !D1_clkcnt[14] & !D1L49 & VCC;

--D1L79 is lcd:inst2|clkcnt[14]~387
D1L79 = CARRY(D1_clkcnt[14] & !D1L49);


--D1L99 is lcd:inst2|clkcnt[15]~388
D1L99 = D1_clkcnt[15] $ D1L79;


--E1_timer_5usec_count[1] is ps2_keyboard_interface:inst3|timer_5usec_count[1]
E1_timer_5usec_count[1] = DFFEAS(E1L562, C1_clk,  ,  ,  ,  ,  , !E1_m1_state.m1_tx_wait_clk_h,  );


--E1_timer_5usec_count[0] is ps2_keyboard_interface:inst3|timer_5usec_count[0]
E1_timer_5usec_count[0] = DFFEAS(E1L262, C1_clk,  ,  ,  ,  ,  , !E1_m1_state.m1_tx_wait_clk_h,  );


--E1L682 is ps2_keyboard_interface:inst3|timer_5usec_done~44
E1L682 = E1_timer_5usec_count[1] # !E1_timer_5usec_count[0];


--E1_timer_5usec_count[2] is ps2_keyboard_interface:inst3|timer_5usec_count[2]
E1_timer_5usec_count[2] = DFFEAS(E1L862, C1_clk,  ,  ,  ,  ,  , !E1_m1_state.m1_tx_wait_clk_h,  );


--E1_timer_5usec_count[6] is ps2_keyboard_interface:inst3|timer_5usec_count[6]
E1_timer_5usec_count[6] = DFFEAS(E1L082, C1_clk,  ,  ,  ,  ,  , !E1_m1_state.m1_tx_wait_clk_h,  );


--E1_timer_5usec_count[4] is ps2_keyboard_interface:inst3|timer_5usec_count[4]
E1_timer_5usec_count[4] = DFFEAS(E1L472, C1_clk,  ,  ,  ,  ,  , !E1_m1_state.m1_tx_wait_clk_h,  );


--E1_timer_5usec_count[5] is ps2_keyboard_interface:inst3|timer_5usec_count[5]
E1_timer_5usec_count[5] = DFFEAS(E1L772, C1_clk,  ,  ,  ,  ,  , !E1_m1_state.m1_tx_wait_clk_h,  );


--E1_timer_5usec_count[7] is ps2_keyboard_interface:inst3|timer_5usec_count[7]
E1_timer_5usec_count[7] = DFFEAS(E1L382, C1_clk,  ,  ,  ,  ,  , !E1_m1_state.m1_tx_wait_clk_h,  );


--E1L782 is ps2_keyboard_interface:inst3|timer_5usec_done~45
E1L782 = E1_timer_5usec_count[6] # !E1_timer_5usec_count[7] # !E1_timer_5usec_count[5] # !E1_timer_5usec_count[4];


--E1_timer_5usec_count[3] is ps2_keyboard_interface:inst3|timer_5usec_count[3]
E1_timer_5usec_count[3] = DFFEAS(E1L172, C1_clk,  ,  ,  ,  ,  , !E1_m1_state.m1_tx_wait_clk_h,  );


--E1_timer_5usec_done is ps2_keyboard_interface:inst3|timer_5usec_done
E1_timer_5usec_done = E1L682 # E1_timer_5usec_count[2] # E1L782 # !E1_timer_5usec_count[3];


--E1L14 is ps2_keyboard_interface:inst3|m1_state~196
E1L14 = reset & E1_ps2_clk_s & E1_m1_state.m1_tx_wait_clk_h & !E1_timer_5usec_done;


--E1L24 is ps2_keyboard_interface:inst3|m1_state~197
E1L24 = !E1_ps2_clk_s & !E1_m1_state.m1_rx_clk_h & reset;


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


--E1L37 is ps2_keyboard_interface:inst3|q~6028
E1L37 = reset & E1_q[10];


--E1_tx_shifting_done is ps2_keyboard_interface:inst3|tx_shifting_done
E1_tx_shifting_done = E1_bit_count[0] # E1_bit_count[2] # !E1_bit_count[3] # !E1_bit_count[1];


--E1L34 is ps2_keyboard_interface:inst3|m1_state~198
E1L34 = E1_ps2_clk_s & (E1_m1_state.m1_tx_wait_keyboard_ack # E1_m1_state.m1_tx_clk_h & !E1_tx_shifting_done) # !E1_ps2_clk_s & (E1_m1_state.m1_tx_clk_h & !E1_tx_shifting_done);


--E1L092 is ps2_keyboard_interface:inst3|timer_60usec_count[0]~232
E1L092 = E1L823 & (E1_timer_60usec_count[0] $ VCC) # !E1L823 & E1_timer_60usec_count[0] & VCC;

--E1L192 is ps2_keyboard_interface:inst3|timer_60usec_count[0]~233
E1L192 = CARRY(E1L823 & E1_timer_60usec_count[0]);


--E1L392 is ps2_keyboard_interface:inst3|timer_60usec_count[1]~234
E1L392 = E1_timer_60usec_count[1] & !E1L192 # !E1_timer_60usec_count[1] & (E1L192 # GND);

--E1L492 is ps2_keyboard_interface:inst3|timer_60usec_count[1]~235
E1L492 = CARRY(!E1L192 # !E1_timer_60usec_count[1]);


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


--E1L661 is ps2_keyboard_interface:inst3|reduce_or~0
E1L661 = !E1_m1_state.m1_rx_clk_l & E1_m1_state.m1_rx_clk_h;


--E1L692 is ps2_keyboard_interface:inst3|timer_60usec_count[2]~236
E1L692 = E1_timer_60usec_count[2] & (E1L492 $ GND) # !E1_timer_60usec_count[2] & !E1L492 & VCC;

--E1L792 is ps2_keyboard_interface:inst3|timer_60usec_count[2]~237
E1L792 = CARRY(E1_timer_60usec_count[2] & !E1L492);


--E1L992 is ps2_keyboard_interface:inst3|timer_60usec_count[3]~238
E1L992 = E1_timer_60usec_count[3] & !E1L792 # !E1_timer_60usec_count[3] & (E1L792 # GND);

--E1L003 is ps2_keyboard_interface:inst3|timer_60usec_count[3]~239
E1L003 = CARRY(!E1L792 # !E1_timer_60usec_count[3]);


--E1L203 is ps2_keyboard_interface:inst3|timer_60usec_count[4]~240
E1L203 = E1_timer_60usec_count[4] & (E1L003 $ GND) # !E1_timer_60usec_count[4] & !E1L003 & VCC;

--E1L303 is ps2_keyboard_interface:inst3|timer_60usec_count[4]~241
E1L303 = CARRY(E1_timer_60usec_count[4] & !E1L003);


--E1L503 is ps2_keyboard_interface:inst3|timer_60usec_count[5]~242
E1L503 = E1_timer_60usec_count[5] & !E1L303 # !E1_timer_60usec_count[5] & (E1L303 # GND);

--E1L603 is ps2_keyboard_interface:inst3|timer_60usec_count[5]~243
E1L603 = CARRY(!E1L303 # !E1_timer_60usec_count[5]);


--E1L803 is ps2_keyboard_interface:inst3|timer_60usec_count[6]~244
E1L803 = E1_timer_60usec_count[6] & (E1L603 $ GND) # !E1_timer_60usec_count[6] & !E1L603 & VCC;

--E1L903 is ps2_keyboard_interface:inst3|timer_60usec_count[6]~245
E1L903 = CARRY(E1_timer_60usec_count[6] & !E1L603);


--E1L113 is ps2_keyboard_interface:inst3|timer_60usec_count[7]~246
E1L113 = E1_timer_60usec_count[7] & !E1L903 # !E1_timer_60usec_count[7] & (E1L903 # GND);

--E1L213 is ps2_keyboard_interface:inst3|timer_60usec_count[7]~247
E1L213 = CARRY(!E1L903 # !E1_timer_60usec_count[7]);


--E1L413 is ps2_keyboard_interface:inst3|timer_60usec_count[8]~248
E1L413 = E1_timer_60usec_count[8] & (E1L213 $ GND) # !E1_timer_60usec_count[8] & !E1L213 & VCC;

--E1L513 is ps2_keyboard_interface:inst3|timer_60usec_count[8]~249
E1L513 = CARRY(E1_timer_60usec_count[8] & !E1L213);


--E1L713 is ps2_keyboard_interface:inst3|timer_60usec_count[9]~250
E1L713 = E1_timer_60usec_count[9] & !E1L513 # !E1_timer_60usec_count[9] & (E1L513 # GND);

--E1L813 is ps2_keyboard_interface:inst3|timer_60usec_count[9]~251
E1L813 = CARRY(!E1L513 # !E1_timer_60usec_count[9]);


--E1L023 is ps2_keyboard_interface:inst3|timer_60usec_count[10]~252
E1L023 = E1_timer_60usec_count[10] & (E1L813 $ GND) # !E1_timer_60usec_count[10] & !E1L813 & VCC;

--E1L123 is ps2_keyboard_interface:inst3|timer_60usec_count[10]~253
E1L123 = CARRY(E1_timer_60usec_count[10] & !E1L813);


--E1L323 is ps2_keyboard_interface:inst3|timer_60usec_count[11]~254
E1L323 = E1_timer_60usec_count[11] $ E1L123;


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


--E1_ps2_data_s is ps2_keyboard_interface:inst3|ps2_data_s
E1_ps2_data_s = DFFEAS(A1L62, C1_clk,  ,  ,  ,  ,  ,  ,  );


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


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


--E1L44 is ps2_keyboard_interface:inst3|m1_state~199
E1L44 = E1_ps2_data_s & (E1_m1_state.m1_tx_error_no_keyboard_ack # E1_m1_state.m1_tx_done_recovery) # !E1_m1_state.m1_rx_clk_h;


--E1L54 is ps2_keyboard_interface:inst3|m1_state~200
E1L54 = !E1_m1_state.m1_rx_rising_edge_marker & reset & (!E1L44 # !E1_ps2_clk_s);


--E1L47 is ps2_keyboard_interface:inst3|q~6029
E1L47 = E1_q[1] & reset;


--E1L42 is ps2_keyboard_interface:inst3|m1_next_state.m1_tx_clk_h~47
E1L42 = E1_m1_state.m1_tx_rising_edge_marker # E1_ps2_clk_s & E1_m1_state.m1_tx_clk_h & E1_tx_shifting_done;


--E1L82 is ps2_keyboard_interface:inst3|m1_next_state.m1_tx_wait_clk_h~119
E1L82 = E1_ps2_clk_s & (E1_m1_state.m1_tx_clk_l # E1_m1_state.m1_tx_wait_clk_h & E1_timer_5usec_done) # !E1_ps2_clk_s & E1_m1_state.m1_tx_wait_clk_h;


--E1L52 is ps2_keyboard_interface:inst3|m1_next_state.m1_tx_clk_l~94
E1L52 = !E1_ps2_clk_s & (E1_m1_state.m1_tx_clk_l # E1_m1_state.m1_tx_clk_h & E1_tx_shifting_done);


--E1L262 is ps2_keyboard_interface:inst3|timer_5usec_count[0]~156
E1L262 = E1_timer_5usec_done & (E1_timer_5usec_count[0] $ VCC) # !E1_timer_5usec_done & E1_timer_5usec_count[0] & VCC;

--E1L362 is ps2_keyboard_interface:inst3|timer_5usec_count[0]~157
E1L362 = CARRY(E1_timer_5usec_done & E1_timer_5usec_count[0]);


--E1L562 is ps2_keyboard_interface:inst3|timer_5usec_count[1]~158
E1L562 = E1_timer_5usec_count[1] & !E1L362 # !E1_timer_5usec_count[1] & (E1L362 # GND);

--E1L662 is ps2_keyboard_interface:inst3|timer_5usec_count[1]~159
E1L662 = CARRY(!E1L362 # !E1_timer_5usec_count[1]);


--E1L862 is ps2_keyboard_interface:inst3|timer_5usec_count[2]~160
E1L862 = E1_timer_5usec_count[2] & (E1L662 $ GND) # !E1_timer_5usec_count[2] & !E1L662 & VCC;

--E1L962 is ps2_keyboard_interface:inst3|timer_5usec_count[2]~161
E1L962 = CARRY(E1_timer_5usec_count[2] & !E1L662);


--E1L172 is ps2_keyboard_interface:inst3|timer_5usec_count[3]~162
E1L172 = E1_timer_5usec_count[3] & !E1L962 # !E1_timer_5usec_count[3] & (E1L962 # GND);

--E1L272 is ps2_keyboard_interface:inst3|timer_5usec_count[3]~163
E1L272 = CARRY(!E1L962 # !E1_timer_5usec_count[3]);


--E1L472 is ps2_keyboard_interface:inst3|timer_5usec_count[4]~164
E1L472 = E1_timer_5usec_count[4] & (E1L272 $ GND) # !E1_timer_5usec_count[4] & !E1L272 & VCC;

--E1L572 is ps2_keyboard_interface:inst3|timer_5usec_count[4]~165
E1L572 = CARRY(E1_timer_5usec_count[4] & !E1L272);


--E1L772 is ps2_keyboard_interface:inst3|timer_5usec_count[5]~166
E1L772 = E1_timer_5usec_count[5] & !E1L572 # !E1_timer_5usec_count[5] & (E1L572 # GND);

--E1L872 is ps2_keyboard_interface:inst3|timer_5usec_count[5]~167
E1L872 = CARRY(!E1L572 # !E1_timer_5usec_count[5]);


--E1L082 is ps2_keyboard_interface:inst3|timer_5usec_count[6]~168
E1L082 = E1_timer_5usec_count[6] & (E1L872 $ GND) # !E1_timer_5usec_count[6] & !E1L872 & VCC;

--E1L182 is ps2_keyboard_interface:inst3|timer_5usec_count[6]~169
E1L182 = CARRY(E1_timer_5usec_count[6] & !E1L872);


--E1L382 is ps2_keyboard_interface:inst3|timer_5usec_count[7]~170
E1L382 = E1_timer_5usec_count[7] $ E1L182;


--E1L57 is ps2_keyboard_interface:inst3|q~6030
E1L57 = reset & E1_ps2_data_s;


--E1L32 is ps2_keyboard_interface:inst3|m1_next_state.m1_rx_clk_l~8
E1L32 = E1_m1_state.m1_rx_falling_edge_marker # E1_m1_state.m1_rx_clk_l & !E1_ps2_clk_s;


--E1L64 is ps2_keyboard_interface:inst3|m1_state~201
E1L64 = reset & E1_ps2_clk_s & E1_m1_state.m1_rx_clk_l;


--E1L72 is ps2_keyboard_interface:inst3|m1_next_state.m1_tx_error_no_keyboard_ack~52
E1L72 = E1_ps2_data_s & !E1_ps2_clk_s & (E1_m1_state.m1_tx_error_no_keyboard_ack # E1_m1_state.m1_tx_wait_keyboard_ack) # !E1_ps2_data_s & E1_m1_state.m1_tx_error_no_keyboard_ack;


--E1L62 is ps2_keyboard_interface:inst3|m1_next_state.m1_tx_done_recovery~62
E1L62 = E1_m1_state.m1_tx_done_recovery & (!E1_ps2_data_s # !E1_ps2_clk_s) # !E1_m1_state.m1_tx_done_recovery & E1_m1_state.m1_tx_wait_keyboard_ack & !E1_ps2_clk_s & !E1_ps2_data_s;


--E1L551 is ps2_keyboard_interface:inst3|reduce_nor~4976
E1L551 = !E1_left_shift_key & !E1_right_shift_key & E1L201;


--E1L651 is ps2_keyboard_interface:inst3|reduce_nor~4977
E1L651 = E1L111 & (E1_left_shift_key # E1_right_shift_key);


--E1L751 is ps2_keyboard_interface:inst3|reduce_nor~4978
E1L751 = E1L301 & (E1_left_shift_key # E1_right_shift_key);


--E1L632 is ps2_keyboard_interface:inst3|reduce_or~1309
E1L632 = !E1_left_shift_key & !E1_right_shift_key & E1L652 & E1L001;


--E1L851 is ps2_keyboard_interface:inst3|reduce_nor~4979
E1L851 = E1L701 & (E1_left_shift_key # E1_right_shift_key);


--E1L48 is ps2_keyboard_interface:inst3|reduce_nor~43
E1L48 = !E1_left_shift_key & !E1_right_shift_key # !E1L801 # !E1L701;


--E1L951 is ps2_keyboard_interface:inst3|reduce_nor~4980
E1L951 = E1_left_shift_key # E1_right_shift_key # !E1L801 # !E1L701;


--E1L061 is ps2_keyboard_interface:inst3|reduce_nor~4981
E1L061 = E1L752 & E1L652 & (E1_left_shift_key # E1_right_shift_key);


--E1L161 is ps2_keyboard_interface:inst3|reduce_nor~4982
E1L161 = !E1L511 & !E1L911 & !E1L921 # !E1L652;


--E1L97 is ps2_keyboard_interface:inst3|reduce_nor~15
E1L97 = E1_left_shift_key # E1_right_shift_key # !E1L011 # !E1L911;


--E1L261 is ps2_keyboard_interface:inst3|reduce_nor~4983
E1L261 = !E1_left_shift_key & !E1_right_shift_key & E1_q[4] & E1L752;


--E1L361 is ps2_keyboard_interface:inst3|reduce_nor~4984
E1L361 = E1_q[3] # !E1L301 # !E1_q[1] # !E1_q[2];


--E1L732 is ps2_keyboard_interface:inst3|reduce_or~1310
E1L732 = E1L261 # !E1_left_shift_key & !E1_right_shift_key & E1L101;


--E1L832 is ps2_keyboard_interface:inst3|reduce_or~1311
E1L832 = E1_left_shift_key & (E1L911) # !E1_left_shift_key & (E1_right_shift_key & E1L911 # !E1_right_shift_key & !E1L911 & E1L801);


--E1L461 is ps2_keyboard_interface:inst3|reduce_nor~4985
E1L461 = E1_q[2] & E1_q[4] & !E1L552 & !E1_q[1];


--E1L561 is ps2_keyboard_interface:inst3|reduce_nor~4986
E1L561 = E1_q[2] & E1L552 & E1_q[4] & !E1_q[1];


--E1L932 is ps2_keyboard_interface:inst3|reduce_or~1312
E1L932 = !E1_q[1] & E1_q[4] & E1_q[2] & !E1_q[3];


--E1L042 is ps2_keyboard_interface:inst3|reduce_or~1313
E1L042 = E1L511 & (E1L652 # E1L701) # !E1L511 & (E1L611 & E1L701);


--E1L142 is ps2_keyboard_interface:inst3|reduce_or~1314
E1L142 = E1L042 # E1L711 & E1_q[3];


--D1L941 is lcd:inst2|state.IDLE~16
D1L941 = !D1_state.SHIFT;


--reset is reset
--operation mode is input

reset = INPUT();


--mclk is mclk
--operation mode is input

mclk = INPUT();


--lcd_e is lcd_e
--operation mode is output

lcd_e = OUTPUT(D1_lcd_e);


--lcd_rw is lcd_rw
--operation mode is output

lcd_rw = OUTPUT(GND);


--lcd_rs is lcd_rs
--operation mode is output

lcd_rs = OUTPUT(D1_lcd_rs);


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

data[7] = OUTPUT(D1_data[7]);


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

data[6] = OUTPUT(D1_data[6]);


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

data[5] = OUTPUT(D1_data[5]);


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

data[4] = OUTPUT(D1_data[4]);


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

data[3] = OUTPUT(D1_data[3]);


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

data[2] = OUTPUT(D1_data[2]);


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

data[1] = OUTPUT(D1_data[1]);


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

data[0] = OUTPUT(D1_data[0]);


--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(E1_rx_ascii[6]);


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

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


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

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


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

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


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

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


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

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


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

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


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

A1L42 = ps2_clk;

--ps2_clk is ps2_clk
--operation mode is bidir

ps2_clk = BIDIR(OPNDRN(VCC));


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

A1L62 = ps2_data;

--ps2_data is ps2_data
--operation mode is bidir

ps2_data = BIDIR(OPNDRN(E1L84));