de2_clock.map.eqn

适合DE2板

--DATA_BUS_VALUE[4] is DATA_BUS_VALUE[4]
DATA_BUS_VALUE[4] = DFFEAS(A1L362, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--DATA_BUS_VALUE[5] is DATA_BUS_VALUE[5]
DATA_BUS_VALUE[5] = DFFEAS(A1L472, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--DATA_BUS_VALUE[7] is DATA_BUS_VALUE[7]
DATA_BUS_VALUE[7] = DFFEAS(A1L462, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--state.mode_set is state.mode_set
state.mode_set = DFFEAS(A1L703, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--state.return_home is state.return_home
state.return_home = DFFEAS(A1L803, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L722 is Select~1607
A1L722 = !state.mode_set & !state.return_home;


--A1L822 is Select~1608
A1L822 = state.write_char1 # next_command.write_char2 & (state.toggle_e # state.hold);


--A1L922 is Select~1609
A1L922 = state.write_char9 # next_command.write_char10 & (state.toggle_e # state.hold);


--A1L032 is Select~1610
A1L032 = state.write_char3 # next_command.write_char4 & (state.toggle_e # state.hold);


--A1L132 is Select~1611
A1L132 = state.write_char4 # next_command.write_char5 & (state.toggle_e # state.hold);


--A1L232 is Select~1612
A1L232 = state.write_char6 # next_command.write_char7 & (state.toggle_e # state.hold);


--A1L332 is Select~1613
A1L332 = state.write_char7 # next_command.write_char8 & (state.toggle_e # state.hold);


--A1L432 is Select~1614
A1L432 = state.write_char2 # next_command.write_char3 & (state.toggle_e # state.hold);


--A1L532 is Select~1615
A1L532 = state.write_char5 # next_command.write_char6 & (state.toggle_e # state.hold);


--A1L632 is Select~1616
A1L632 = state.write_char8 # next_command.write_char9 & (state.toggle_e # state.hold);


--CLK_COUNT_400HZ[1] is CLK_COUNT_400HZ[1]
CLK_COUNT_400HZ[1] = DFFEAS(A1L401, clk_50Mhz,  ,  ,  ,  ,  , A1L201,  );


--CLK_COUNT_400HZ[0] is CLK_COUNT_400HZ[0]
CLK_COUNT_400HZ[0] = DFFEAS(A1L001, clk_50Mhz,  ,  ,  ,  ,  , A1L201,  );


--A1L001 is CLK_COUNT_400HZ[0]~339
A1L001 = CLK_COUNT_400HZ[0] $ VCC;

--A1L101 is CLK_COUNT_400HZ[0]~340
A1L101 = CARRY(CLK_COUNT_400HZ[0]);


--A1L401 is CLK_COUNT_400HZ[1]~341
A1L401 = CLK_COUNT_400HZ[1] & !A1L101 # !CLK_COUNT_400HZ[1] & (A1L101 # GND);

--A1L501 is CLK_COUNT_400HZ[1]~342
A1L501 = CARRY(!A1L101 # !CLK_COUNT_400HZ[1]);


--A1L701 is CLK_COUNT_400HZ[2]~343
A1L701 = CLK_COUNT_400HZ[2] & (A1L501 $ GND) # !CLK_COUNT_400HZ[2] & !A1L501 & VCC;

--A1L801 is CLK_COUNT_400HZ[2]~344
A1L801 = CARRY(CLK_COUNT_400HZ[2] & !A1L501);


--A1L011 is CLK_COUNT_400HZ[3]~345
A1L011 = CLK_COUNT_400HZ[3] & !A1L801 # !CLK_COUNT_400HZ[3] & (A1L801 # GND);

--A1L111 is CLK_COUNT_400HZ[3]~346
A1L111 = CARRY(!A1L801 # !CLK_COUNT_400HZ[3]);


--A1L311 is CLK_COUNT_400HZ[4]~347
A1L311 = CLK_COUNT_400HZ[4] & (A1L111 $ GND) # !CLK_COUNT_400HZ[4] & !A1L111 & VCC;

--A1L411 is CLK_COUNT_400HZ[4]~348
A1L411 = CARRY(CLK_COUNT_400HZ[4] & !A1L111);


--A1L611 is CLK_COUNT_400HZ[5]~349
A1L611 = CLK_COUNT_400HZ[5] & !A1L411 # !CLK_COUNT_400HZ[5] & (A1L411 # GND);

--A1L711 is CLK_COUNT_400HZ[5]~350
A1L711 = CARRY(!A1L411 # !CLK_COUNT_400HZ[5]);


--A1L911 is CLK_COUNT_400HZ[6]~351
A1L911 = CLK_COUNT_400HZ[6] & (A1L711 $ GND) # !CLK_COUNT_400HZ[6] & !A1L711 & VCC;

--A1L021 is CLK_COUNT_400HZ[6]~352
A1L021 = CARRY(CLK_COUNT_400HZ[6] & !A1L711);


--A1L221 is CLK_COUNT_400HZ[7]~353
A1L221 = CLK_COUNT_400HZ[7] & !A1L021 # !CLK_COUNT_400HZ[7] & (A1L021 # GND);

--A1L321 is CLK_COUNT_400HZ[7]~354
A1L321 = CARRY(!A1L021 # !CLK_COUNT_400HZ[7]);


--A1L521 is CLK_COUNT_400HZ[8]~355
A1L521 = CLK_COUNT_400HZ[8] & (A1L321 $ GND) # !CLK_COUNT_400HZ[8] & !A1L321 & VCC;

--A1L621 is CLK_COUNT_400HZ[8]~356
A1L621 = CARRY(CLK_COUNT_400HZ[8] & !A1L321);


--A1L821 is CLK_COUNT_400HZ[9]~357
A1L821 = CLK_COUNT_400HZ[9] & !A1L621 # !CLK_COUNT_400HZ[9] & (A1L621 # GND);

--A1L921 is CLK_COUNT_400HZ[9]~358
A1L921 = CARRY(!A1L621 # !CLK_COUNT_400HZ[9]);


--A1L131 is CLK_COUNT_400HZ[10]~359
A1L131 = CLK_COUNT_400HZ[10] & (A1L921 $ GND) # !CLK_COUNT_400HZ[10] & !A1L921 & VCC;

--A1L231 is CLK_COUNT_400HZ[10]~360
A1L231 = CARRY(CLK_COUNT_400HZ[10] & !A1L921);


--A1L431 is CLK_COUNT_400HZ[11]~361
A1L431 = CLK_COUNT_400HZ[11] & !A1L231 # !CLK_COUNT_400HZ[11] & (A1L231 # GND);

--A1L531 is CLK_COUNT_400HZ[11]~362
A1L531 = CARRY(!A1L231 # !CLK_COUNT_400HZ[11]);


--A1L731 is CLK_COUNT_400HZ[12]~363
A1L731 = CLK_COUNT_400HZ[12] & (A1L531 $ GND) # !CLK_COUNT_400HZ[12] & !A1L531 & VCC;

--A1L831 is CLK_COUNT_400HZ[12]~364
A1L831 = CARRY(CLK_COUNT_400HZ[12] & !A1L531);


--A1L041 is CLK_COUNT_400HZ[13]~365
A1L041 = CLK_COUNT_400HZ[13] & !A1L831 # !CLK_COUNT_400HZ[13] & (A1L831 # GND);

--A1L141 is CLK_COUNT_400HZ[13]~366
A1L141 = CARRY(!A1L831 # !CLK_COUNT_400HZ[13]);


--A1L341 is CLK_COUNT_400HZ[14]~367
A1L341 = CLK_COUNT_400HZ[14] & (A1L141 $ GND) # !CLK_COUNT_400HZ[14] & !A1L141 & VCC;

--A1L441 is CLK_COUNT_400HZ[14]~368
A1L441 = CARRY(CLK_COUNT_400HZ[14] & !A1L141);


--A1L641 is CLK_COUNT_400HZ[15]~369
A1L641 = CLK_COUNT_400HZ[15] & !A1L441 # !CLK_COUNT_400HZ[15] & (A1L441 # GND);

--A1L741 is CLK_COUNT_400HZ[15]~370
A1L741 = CARRY(!A1L441 # !CLK_COUNT_400HZ[15]);


--A1L941 is CLK_COUNT_400HZ[16]~371
A1L941 = CLK_COUNT_400HZ[16] & (A1L741 $ GND) # !CLK_COUNT_400HZ[16] & !A1L741 & VCC;

--A1L051 is CLK_COUNT_400HZ[16]~372
A1L051 = CARRY(CLK_COUNT_400HZ[16] & !A1L741);


--A1L201 is CLK_COUNT_400HZ[0]~373
A1L201 = !A1L091 # !reset;


--A1L251 is CLK_COUNT_400HZ[17]~374
A1L251 = CLK_COUNT_400HZ[17] & !A1L051 # !CLK_COUNT_400HZ[17] & (A1L051 # GND);

--A1L351 is CLK_COUNT_400HZ[17]~375
A1L351 = CARRY(!A1L051 # !CLK_COUNT_400HZ[17]);


--A1L551 is CLK_COUNT_400HZ[18]~376
A1L551 = CLK_COUNT_400HZ[18] & (A1L351 $ GND) # !CLK_COUNT_400HZ[18] & !A1L351 & VCC;

--A1L651 is CLK_COUNT_400HZ[18]~377
A1L651 = CARRY(CLK_COUNT_400HZ[18] & !A1L351);


--A1L851 is CLK_COUNT_400HZ[19]~378
A1L851 = CLK_COUNT_400HZ[19] $ A1L651;


--A1L57 is CLK_COUNT_10HZ[0]~112
A1L57 = CLK_COUNT_10HZ[0] $ VCC;

--A1L67 is CLK_COUNT_10HZ[0]~113
A1L67 = CARRY(CLK_COUNT_10HZ[0]);


--A1L87 is CLK_COUNT_10HZ[1]~114
A1L87 = CLK_COUNT_10HZ[1] & !A1L67 # !CLK_COUNT_10HZ[1] & (A1L67 # GND);

--A1L97 is CLK_COUNT_10HZ[1]~115
A1L97 = CARRY(!A1L67 # !CLK_COUNT_10HZ[1]);


--A1L18 is CLK_COUNT_10HZ[2]~116
A1L18 = CLK_COUNT_10HZ[2] & (A1L97 $ GND) # !CLK_COUNT_10HZ[2] & !A1L97 & VCC;

--A1L28 is CLK_COUNT_10HZ[2]~117
A1L28 = CARRY(CLK_COUNT_10HZ[2] & !A1L97);


--A1L48 is CLK_COUNT_10HZ[3]~118
A1L48 = CLK_COUNT_10HZ[3] & !A1L28 # !CLK_COUNT_10HZ[3] & (A1L28 # GND);

--A1L58 is CLK_COUNT_10HZ[3]~119
A1L58 = CARRY(!A1L28 # !CLK_COUNT_10HZ[3]);


--A1L78 is CLK_COUNT_10HZ[4]~120
A1L78 = CLK_COUNT_10HZ[4] & (A1L58 $ GND) # !CLK_COUNT_10HZ[4] & !A1L58 & VCC;

--A1L88 is CLK_COUNT_10HZ[4]~121
A1L88 = CARRY(CLK_COUNT_10HZ[4] & !A1L58);


--A1L09 is CLK_COUNT_10HZ[5]~122
A1L09 = CLK_COUNT_10HZ[5] & !A1L88 # !CLK_COUNT_10HZ[5] & (A1L88 # GND);

--A1L19 is CLK_COUNT_10HZ[5]~123
A1L19 = CARRY(!A1L88 # !CLK_COUNT_10HZ[5]);


--A1L39 is CLK_COUNT_10HZ[6]~124
A1L39 = CLK_COUNT_10HZ[6] & (A1L19 $ GND) # !CLK_COUNT_10HZ[6] & !A1L19 & VCC;

--A1L49 is CLK_COUNT_10HZ[6]~125
A1L49 = CARRY(CLK_COUNT_10HZ[6] & !A1L19);


--A1L69 is CLK_COUNT_10HZ[7]~126
A1L69 = CLK_COUNT_10HZ[7] $ A1L49;


--BCD_MIND0[0] is BCD_MIND0[0]
BCD_MIND0[0] = DFFEAS(A1L92, CLK_10HZ, !reset,  , A1L52,  ,  ,  ,  );


--BCD_HRD0[0] is BCD_HRD0[0]
BCD_HRD0[0] = DFFEAS(A1L9, CLK_10HZ, !reset,  , A1L2,  ,  ,  ,  );


--A1L732 is Select~1617
A1L732 = state.write_char2 & (BCD_HRD0[0] # state.write_char5 & BCD_MIND0[0]) # !state.write_char2 & state.write_char5 & BCD_MIND0[0];


--BCD_MIND1[0] is BCD_MIND1[0]
BCD_MIND1[0] = DFFEAS(A1L83, CLK_10HZ, !reset,  , A1L53,  ,  ,  ,  );


--A1L832 is Select~1618
A1L832 = state.write_char10 & (BCD_TSEC[0] # state.write_char4 & BCD_MIND1[0]) # !state.write_char10 & state.write_char4 & BCD_MIND1[0];


--BCD_SECD1[0] is BCD_SECD1[0]
BCD_SECD1[0] = DFFEAS(A1L55, CLK_10HZ, !reset,  , A1L25,  ,  ,  ,  );


--A1L932 is Select~1619
A1L932 = BCD_SECD0[0] & (state.write_char8 # state.write_char7 & BCD_SECD1[0]) # !BCD_SECD0[0] & state.write_char7 & BCD_SECD1[0];


--state.display_clear is state.display_clear
state.display_clear = DFFEAS(A1L903, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L042 is Select~1620
A1L042 = A1L932 # state.display_clear # DATA_BUS_VALUE[0] & !A1L181;


--BCD_HRD1[0] is BCD_HRD1[0]
BCD_HRD1[0] = DFFEAS(A1L51, CLK_10HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L142 is Select~1621
A1L142 = state.write_char1 & BCD_HRD1[0];


--A1L242 is Select~1622
A1L242 = A1L732 # A1L832 # A1L042 # A1L142;


--BCD_HRD1[1] is BCD_HRD1[1]
BCD_HRD1[1] = DFFEAS(A1L71, CLK_10HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L342 is Select~1623
A1L342 = state.write_char1 & (BCD_HRD1[1] # state.write_char8 & BCD_SECD0[1]) # !state.write_char1 & state.write_char8 & BCD_SECD0[1];


--BCD_MIND1[1] is BCD_MIND1[1]
BCD_MIND1[1] = DFFEAS(A1L93, CLK_10HZ, !reset,  , A1L53,  ,  ,  ,  );


--BCD_HRD0[1] is BCD_HRD0[1]
BCD_HRD0[1] = DFFEAS(A1L01, CLK_10HZ, !reset,  , A1L2,  ,  ,  ,  );


--A1L442 is Select~1624
A1L442 = state.write_char2 & (BCD_HRD0[1] # state.write_char4 & BCD_MIND1[1]) # !state.write_char2 & state.write_char4 & BCD_MIND1[1];


--BCD_SECD1[1] is BCD_SECD1[1]
BCD_SECD1[1] = DFFEAS(A1L65, CLK_10HZ, !reset,  , A1L25,  ,  ,  ,  );


--BCD_MIND0[1] is BCD_MIND0[1]
BCD_MIND0[1] = DFFEAS(A1L03, CLK_10HZ, !reset,  , A1L52,  ,  ,  ,  );


--A1L542 is Select~1625
A1L542 = state.write_char5 & (BCD_MIND0[1] # state.write_char7 & BCD_SECD1[1]) # !state.write_char5 & state.write_char7 & BCD_SECD1[1];


--A1L642 is Select~1626
A1L642 = state.mode_set # A1L542 # !A1L522;


--A1L742 is Select~1627
A1L742 = state.write_char10 & (BCD_TSEC[1] # DATA_BUS_VALUE[1] & !A1L181) # !state.write_char10 & (DATA_BUS_VALUE[1] & !A1L181);


--A1L842 is Select~1628
A1L842 = A1L342 # A1L442 # A1L642 # A1L742;


--BCD_SECD1[2] is BCD_SECD1[2]
BCD_SECD1[2] = DFFEAS(A1L75, CLK_10HZ, !reset,  , A1L25,  ,  ,  ,  );


--BCD_MIND1[2] is BCD_MIND1[2]
BCD_MIND1[2] = DFFEAS(A1L04, CLK_10HZ, !reset,  , A1L53,  ,  ,  ,  );


--A1L942 is Select~1629
A1L942 = state.write_char4 & (BCD_MIND1[2] # state.write_char7 & BCD_SECD1[2]) # !state.write_char4 & state.write_char7 & BCD_SECD1[2];


--BCD_HRD0[2] is BCD_HRD0[2]
BCD_HRD0[2] = DFFEAS(A1L21, CLK_10HZ, !reset,  , A1L2,  ,  ,  ,  );


--BCD_HRD1[2] is BCD_HRD1[2]
BCD_HRD1[2] = DFFEAS(A1L02, CLK_10HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L052 is Select~1630
A1L052 = state.write_char1 & (BCD_HRD1[2] # state.write_char2 & BCD_HRD0[2]) # !state.write_char1 & state.write_char2 & BCD_HRD0[2];


--BCD_MIND0[2] is BCD_MIND0[2]
BCD_MIND0[2] = DFFEAS(A1L13, CLK_10HZ, !reset,  , A1L52,  ,  ,  ,  );


--A1L152 is Select~1631
A1L152 = state.write_char5 & (BCD_MIND0[2] # state.write_char8 & BCD_SECD0[2]) # !state.write_char5 & state.write_char8 & BCD_SECD0[2];


--A1L252 is Select~1632
A1L252 = state.write_char9 # A1L152 # DATA_BUS_VALUE[2] & !A1L181;


--state.display_on is state.display_on
state.display_on = DFFEAS(A1L013, CLK_400HZ, !reset,  ,  ,  ,  ,  ,  );


--A1L352 is Select~1633
A1L352 = state.mode_set # state.display_on # state.write_char10 & BCD_TSEC[2];


--A1L452 is Select~1634
A1L452 = A1L942 # A1L052 # A1L252 # A1L352;


--BCD_HRD0[3] is BCD_HRD0[3]
BCD_HRD0[3] = DFFEAS(A1L11, CLK_10HZ, !reset,  , A1L2,  ,  ,  ,  );


--BCD_HRD1[3] is BCD_HRD1[3]
BCD_HRD1[3] = DFFEAS(A1L22, CLK_10HZ, !reset,  ,  ,  ,  ,  ,  );