de2_clock.map.eqn

适合DE2板

--A1L552 is Select~1635
A1L552 = state.write_char1 & (BCD_HRD1[3] # state.write_char2 & BCD_HRD0[3]) # !state.write_char1 & state.write_char2 & BCD_HRD0[3];


--BCD_MIND0[3] is BCD_MIND0[3]
BCD_MIND0[3] = DFFEAS(A1L23, CLK_10HZ, !reset,  , A1L52,  ,  ,  ,  );


--A1L652 is Select~1636
A1L652 = state.write_char5 & (BCD_MIND0[3] # state.write_char8 & BCD_SECD0[3]) # !state.write_char5 & state.write_char8 & BCD_SECD0[3];


--A1L752 is Select~1637
A1L752 = state.write_char10 & BCD_TSEC[3];


--state.display_off is state.display_off
state.display_off = DFFEAS(A1L113, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L852 is Select~1638
A1L852 = !state.display_on & !state.display_off;


--state.reset1 is state.reset1
state.reset1 = DFFEAS(VCC, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L952 is Select~1639
A1L952 = A1L752 # !state.reset1 # !A1L852 # !A1L522;


--state.func_set is state.func_set
state.func_set = DFFEAS(A1L213, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--state.reset2 is state.reset2
state.reset2 = DFFEAS(A1L313, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--state.reset3 is state.reset3
state.reset3 = DFFEAS(A1L413, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L062 is Select~1640
A1L062 = state.reset2 # state.reset3;


--A1L162 is Select~1641
A1L162 = state.func_set # A1L062 # !A1L181 & !DATA_BUS_VALUE[3];


--A1L262 is Select~1642
A1L262 = !A1L552 & !A1L652 & !A1L952 & !A1L162;


--A1L772 is state.display_off~46
A1L772 = A1L181 & A1L722 & A1L852 & !state.display_clear;


--A1L362 is Select~1643
A1L362 = A1L772 & state.write_char9 & (A1L181 # DATA_BUS_VALUE[4]) # !A1L772 & (A1L181 # DATA_BUS_VALUE[4]);


--A1L462 is Select~1644
A1L462 = state.return_home # DATA_BUS_VALUE[7] & (state.toggle_e # state.hold);


--next_command.mode_set is next_command.mode_set
next_command.mode_set = DFFEAS(A1L562, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L703 is state~241
A1L703 = state.hold & next_command.mode_set;


--next_command.return_home is next_command.return_home
next_command.return_home = DFFEAS(A1L662, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L803 is state~242
A1L803 = state.hold & next_command.return_home;


--A1L92 is BCD_MIND0~171
A1L92 = !BCD_MIND0[0] & (!BCD_MIND0[1] & !BCD_MIND0[2] # !BCD_MIND0[3]);


--A1L491 is LessThan~1008
A1L491 = !BCD_SECD0[0] & !BCD_SECD0[2] & !BCD_SECD0[1] # !BCD_SECD0[3];


--A1L591 is LessThan~1009
A1L591 = !BCD_SECD1[0] & !BCD_SECD1[1] # !BCD_SECD1[2];


--A1L52 is BCD_MIND0[0]~172
A1L52 = !A1L491 & A1L481 & !A1L591;


--A1L612 is process2~106
A1L612 = !BCD_HRD0[1] & !BCD_HRD0[2];


--A1L712 is process2~107
A1L712 = BCD_HRD1[2] # BCD_HRD0[2] # BCD_HRD1[3] # BCD_HRD0[3];


--A1L3 is add~1267
A1L3 = BCD_HRD0[0] & BCD_HRD0[1];


--A1L512 is process2~1
A1L512 = BCD_HRD1[0] # A1L712 # !A1L3 # !BCD_HRD1[1];


--A1L9 is BCD_HRD0~218
A1L9 = !BCD_HRD0[0] & A1L512 & (A1L612 # !BCD_HRD0[3]);


--A1L691 is LessThan~1010
A1L691 = !BCD_MIND0[0] & !BCD_MIND0[1] & !BCD_MIND0[2] # !BCD_MIND0[3];


--A1L53 is BCD_MIND1[0]~158
A1L53 = !A1L491 & A1L481 & !A1L691 & !A1L591;


--A1L2 is _~109
A1L2 = BCD_MIND1[2] & A1L53 & (BCD_MIND1[0] # BCD_MIND1[1]);


--A1L83 is BCD_MIND1~159
A1L83 = !BCD_MIND1[0] & (!BCD_MIND1[2] # !BCD_MIND1[1]);


--A1L55 is BCD_SECD1~137
A1L55 = !BCD_SECD1[0] & (!BCD_SECD1[2] # !BCD_SECD1[1]);


--A1L25 is BCD_SECD1[0]~138
A1L25 = !A1L491 & A1L481;


--next_command.display_clear is next_command.display_clear
next_command.display_clear = DFFEAS(A1L762, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L903 is state~243
A1L903 = state.hold & next_command.display_clear;


--A1L812 is process2~108
A1L812 = A1L512 & (A1L612 & !BCD_HRD0[0] # !BCD_HRD0[3]);


--A1L51 is BCD_HRD1[0]~273
A1L51 = BCD_HRD1[0] $ (!A1L812 & A1L512 & A1L2);


--A1L1 is _~19
A1L1 = A1L812 # !A1L2;


--A1L71 is BCD_HRD1[1]~274
A1L71 = BCD_HRD1[1] $ (!A1L1 & (BCD_HRD1[0] $ !A1L512));


--A1L93 is BCD_MIND1~160
A1L93 = !BCD_MIND1[2] & (BCD_MIND1[0] $ BCD_MIND1[1]);


--A1L01 is BCD_HRD0~219
A1L01 = A1L812 & (BCD_HRD0[0] $ BCD_HRD0[1]);


--A1L65 is BCD_SECD1~139
A1L65 = !BCD_SECD1[2] & (BCD_SECD1[0] $ BCD_SECD1[1]);


--A1L03 is BCD_MIND0~173
A1L03 = !BCD_MIND0[3] & (BCD_MIND0[0] $ BCD_MIND0[1]);


--A1L75 is BCD_SECD1~140
A1L75 = BCD_SECD1[0] & BCD_SECD1[1] & !BCD_SECD1[2] # !BCD_SECD1[0] & !BCD_SECD1[1] & BCD_SECD1[2];


--A1L04 is BCD_MIND1~161
A1L04 = BCD_MIND1[0] & BCD_MIND1[1] & !BCD_MIND1[2] # !BCD_MIND1[0] & !BCD_MIND1[1] & BCD_MIND1[2];


--A1L91 is BCD_HRD1[2]~275
A1L91 = BCD_HRD1[0] & BCD_HRD1[1] & A1L2 & !A1L812;


--A1L02 is BCD_HRD1[2]~276
A1L02 = BCD_HRD1[2] $ A1L91;


--A1L13 is BCD_MIND0~174
A1L13 = !BCD_MIND0[3] & (BCD_MIND0[2] $ (BCD_MIND0[0] & BCD_MIND0[1]));


--next_command.display_on is next_command.display_on
next_command.display_on = DFFEAS(A1L862, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L013 is state~244
A1L013 = state.hold & next_command.display_on;


--A1L11 is BCD_HRD0~220
A1L11 = A1L812 & (BCD_HRD0[3] $ (BCD_HRD0[2] & A1L3));


--A1L22 is BCD_HRD1[3]~277
A1L22 = BCD_HRD1[3] $ (BCD_HRD1[2] & A1L91);


--A1L23 is BCD_MIND0~175
A1L23 = BCD_MIND0[3] & !BCD_MIND0[0] & !BCD_MIND0[1] & !BCD_MIND0[2] # !BCD_MIND0[3] & BCD_MIND0[0] & BCD_MIND0[1] & BCD_MIND0[2];


--next_command.display_off is next_command.display_off
next_command.display_off = DFFEAS(A1L962, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L113 is state~245
A1L113 = state.hold & next_command.display_off;


--next_command.func_set is next_command.func_set
next_command.func_set = DFFEAS(A1L072, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L213 is state~246
A1L213 = state.hold & next_command.func_set;


--next_command.reset2 is next_command.reset2
next_command.reset2 = DFFEAS(A1L172, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L313 is state~247
A1L313 = !next_command.reset2 & state.hold;


--next_command.reset3 is next_command.reset3
next_command.reset3 = DFFEAS(A1L272, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L413 is state~248
A1L413 = state.hold & next_command.reset3;


--A1L562 is Select~1645
A1L562 = state.display_on # next_command.mode_set & (state.toggle_e # state.hold);


--A1L662 is Select~1646
A1L662 = state.write_char10 # next_command.return_home & (state.toggle_e # state.hold);


--A1L762 is Select~1647
A1L762 = state.display_off # next_command.display_clear & (state.toggle_e # state.hold);


--A1L862 is Select~1648
A1L862 = state.display_clear # next_command.display_on & (state.toggle_e # state.hold);


--A1L962 is Select~1649
A1L962 = state.func_set # next_command.display_off & (state.toggle_e # state.hold);


--A1L072 is Select~1650
A1L072 = state.reset3 # next_command.func_set & (state.toggle_e # state.hold);


--A1L172 is Select~1651
A1L172 = state.reset1 & (next_command.reset2 # !state.toggle_e & !state.hold);


--A1L272 is Select~1652
A1L272 = state.reset2 # next_command.reset3 & (state.toggle_e # state.hold);


--A1L372 is Select~1653
A1L372 = next_command.write_char1 & (state.toggle_e # state.hold) # !A1L722;


--A1L472 is Select~1654
A1L472 = !A1L772 & (DATA_BUS_VALUE[5] # !state.toggle_e & !state.hold);


--A1L21 is BCD_HRD0~221
A1L21 = A1L812 & (BCD_HRD0[2] $ (BCD_HRD0[0] & BCD_HRD0[1]));


--A1L96 is CLK_10HZ~41
A1L96 = !CLK_10HZ;


--reset is reset
--operation mode is input

reset = INPUT();


--clk_50Mhz is clk_50Mhz
--operation mode is input

clk_50Mhz = INPUT();


--LCD_RS is LCD_RS
--operation mode is output

LCD_RS = OUTPUT(A1L281Q);


--LCD_E is LCD_E
--operation mode is output

LCD_E = OUTPUT(!A1L871Q);


--LCD_ON is LCD_ON
--operation mode is output

LCD_ON = OUTPUT(VCC);


--RESET_LED is RESET_LED
--operation mode is output

RESET_LED = OUTPUT(!reset);


--SEC_LED is SEC_LED
--operation mode is output

SEC_LED = OUTPUT(BCD_SECD0[0]);


--LCD_RW is LCD_RW
--operation mode is output

LCD_RW = OUTPUT(GND);


--DATA_BUS[0] is DATA_BUS[0]
--operation mode is bidir

DATA_BUS[0]_tri_out = TRI(DATA_BUS_VALUE[0], VCC);
DATA_BUS[0] = BIDIR(DATA_BUS[0]_tri_out);


--DATA_BUS[1] is DATA_BUS[1]
--operation mode is bidir

DATA_BUS[1]_tri_out = TRI(DATA_BUS_VALUE[1], VCC);
DATA_BUS[1] = BIDIR(DATA_BUS[1]_tri_out);


--DATA_BUS[2] is DATA_BUS[2]
--operation mode is bidir

DATA_BUS[2]_tri_out = TRI(DATA_BUS_VALUE[2], VCC);
DATA_BUS[2] = BIDIR(DATA_BUS[2]_tri_out);


--DATA_BUS[3] is DATA_BUS[3]
--operation mode is bidir

DATA_BUS[3]_tri_out = TRI(!DATA_BUS_VALUE[3], VCC);
DATA_BUS[3] = BIDIR(DATA_BUS[3]_tri_out);


--DATA_BUS[4] is DATA_BUS[4]
--operation mode is bidir

DATA_BUS[4]_tri_out = TRI(!DATA_BUS_VALUE[4], VCC);
DATA_BUS[4] = BIDIR(DATA_BUS[4]_tri_out);


--DATA_BUS[5] is DATA_BUS[5]
--operation mode is bidir

DATA_BUS[5]_tri_out = TRI(!DATA_BUS_VALUE[5], VCC);
DATA_BUS[5] = BIDIR(DATA_BUS[5]_tri_out);


--DATA_BUS[6] is DATA_BUS[6]
--operation mode is bidir

DATA_BUS[6] = BIDIR(OPNDRN(GND));


--DATA_BUS[7] is DATA_BUS[7]
--operation mode is bidir

DATA_BUS[7]_tri_out = TRI(DATA_BUS_VALUE[7], VCC);
DATA_BUS[7] = BIDIR(DATA_BUS[7]_tri_out);