up3_clock.map.eqn

用VHDL语言编写的一个闹钟程序

--state1.hold1 is state1.hold1
--operation mode is normal

state1.hold1_lut_out = state1.toggle_e1 & (!state1.hold1);
state1.hold1 = DFFEAS(state1.hold1_lut_out, CLK_10HZ, reset, , A1L499, , , , );


--next_command1.write_sec is next_command1.write_sec
--operation mode is normal

next_command1.write_sec_lut_out = A1L394 # A1L395 & (next_command1.write_sec # !SET_ADD);
next_command1.write_sec = DFFEAS(next_command1.write_sec_lut_out, CLK_10HZ, reset, , A1L355, , , , );


--A1L393 is Select~3660
--operation mode is normal

A1L393 = SET_CHANGE & SET_ADD & state2.alarm_sec;


--state2.hold2 is state2.hold2
--operation mode is normal

state2.hold2_lut_out = state2.toggle_e2 & (!state2.hold2);
state2.hold2 = DFFEAS(state2.hold2_lut_out, CLK_10HZ, reset, , A1L505, , , , );


--next_command2.alarm_sec is next_command2.alarm_sec
--operation mode is normal

next_command2.alarm_sec_lut_out = A1L396 # A1L397 & (next_command2.alarm_sec # !SET_ADD);
next_command2.alarm_sec = DFFEAS(next_command2.alarm_sec_lut_out, CLK_10HZ, reset, , A1L354, , , , );


--next_command1.write_hour is next_command1.write_hour
--operation mode is normal

next_command1.write_hour_lut_out = A1L398 # SET_CHANGE & (!state1.write_hour) # !SET_CHANGE & state1.write_sec;
next_command1.write_hour = DFFEAS(next_command1.write_hour_lut_out, CLK_10HZ, reset, , A1L355, , , , );


--next_command2.alarm_hour is next_command2.alarm_hour
--operation mode is normal

next_command2.alarm_hour_lut_out = A1L399 # SET_CHANGE & (!state2.alarm_hour) # !SET_CHANGE & state2.alarm_sec;
next_command2.alarm_hour = DFFEAS(next_command2.alarm_hour_lut_out, CLK_10HZ, reset, , A1L354, , , , );


--next_command1.write_min is next_command1.write_min
--operation mode is normal

next_command1.write_min_lut_out = !A1L400 & (next_command1.write_min # !A1L392 & !A1L349);
next_command1.write_min = DFFEAS(next_command1.write_min_lut_out, CLK_10HZ, reset, , A1L355, , , , );


--next_command2.alarm_min is next_command2.alarm_min
--operation mode is normal

next_command2.alarm_min_lut_out = !A1L401 & (next_command2.alarm_min # !A1L393 & !A1L353);
next_command2.alarm_min = DFFEAS(next_command2.alarm_min_lut_out, CLK_10HZ, reset, , A1L354, , , , );


--DATA_BUS_VALUE[0] is DATA_BUS_VALUE[0]
--operation mode is normal

DATA_BUS_VALUE[0]_lut_out = A1L403 # A1L404 # A1L405 # A1L411;
DATA_BUS_VALUE[0] = DFFEAS(DATA_BUS_VALUE[0]_lut_out, CLK_400HZ, reset, , , , , , );


--DATA_BUS_VALUE[1] is DATA_BUS_VALUE[1]
--operation mode is normal

DATA_BUS_VALUE[1]_lut_out = A1L413 # A1L414 # A1L415 # A1L423;
DATA_BUS_VALUE[1] = DFFEAS(DATA_BUS_VALUE[1]_lut_out, CLK_400HZ, reset, , , , , , );


--DATA_BUS_VALUE[2] is DATA_BUS_VALUE[2]
--operation mode is normal

DATA_BUS_VALUE[2]_lut_out = A1L425 # A1L430 # A1L433 # !A1L434;
DATA_BUS_VALUE[2] = DFFEAS(DATA_BUS_VALUE[2]_lut_out, CLK_400HZ, reset, , , , , , );


--DATA_BUS_VALUE[3] is DATA_BUS_VALUE[3]
--operation mode is normal

DATA_BUS_VALUE[3]_lut_out = !A1L442 & A1L455 & A1L412 & A1L434;
DATA_BUS_VALUE[3] = DFFEAS(DATA_BUS_VALUE[3]_lut_out, CLK_400HZ, reset, , , , , , );


--DATA_BUS_VALUE[4] is DATA_BUS_VALUE[4]
--operation mode is normal

DATA_BUS_VALUE[4]_lut_out = A1L454 & !A1L492 & (A1L387 # DATA_BUS_VALUE[4]) # !A1L454 & (A1L387 # DATA_BUS_VALUE[4]);
DATA_BUS_VALUE[4] = DFFEAS(DATA_BUS_VALUE[4]_lut_out, CLK_400HZ, reset, , , , , , );


--DATA_BUS_VALUE[5] is DATA_BUS_VALUE[5]
--operation mode is normal

DATA_BUS_VALUE[5]_lut_out = !A1L454 & (A1L387 # DATA_BUS_VALUE[5]);
DATA_BUS_VALUE[5] = DFFEAS(DATA_BUS_VALUE[5]_lut_out, CLK_400HZ, reset, , , , , , );


--DATA_BUS_VALUE[6] is DATA_BUS_VALUE[6]
--operation mode is normal

DATA_BUS_VALUE[6]_lut_out = state.goto_nextline # DATA_BUS_VALUE[6] & (!A1L387);
DATA_BUS_VALUE[6] = DFFEAS(DATA_BUS_VALUE[6]_lut_out, CLK_400HZ, reset, , , , , , );


--DATA_BUS_VALUE[7] is DATA_BUS_VALUE[7]
--operation mode is normal

DATA_BUS_VALUE[7]_lut_out = state.return_home # state.goto_nextline # DATA_BUS_VALUE[7] & !A1L387;
DATA_BUS_VALUE[7] = DFFEAS(DATA_BUS_VALUE[7]_lut_out, CLK_400HZ, reset, , , , , , );


--state.write_display_char10 is state.write_display_char10
--operation mode is normal

state.write_display_char10_lut_out = state.hold & next_command.write_display_char10;
state.write_display_char10 = DFFEAS(state.write_display_char10_lut_out, CLK_400HZ, reset, , , , , , );


--state.write_char18 is state.write_char18
--operation mode is normal

state.write_char18_lut_out = state.hold & next_command.write_char18;
state.write_char18 = DFFEAS(state.write_char18_lut_out, CLK_400HZ, reset, , , , , , );


--state.write_char10 is state.write_char10
--operation mode is normal

state.write_char10_lut_out = state.hold & next_command.write_char10;
state.write_char10 = DFFEAS(state.write_char10_lut_out, CLK_400HZ, reset, , , , , , );


--A1L245 is CLK_COUNT_400HZ[13]~410
--operation mode is normal

A1L245 = CLK_COUNT_400HZ[19] # CLK_COUNT_400HZ[18] # !A1L304 # !reset;


--CLK_COUNT_400HZ[4] is CLK_COUNT_400HZ[4]
--operation mode is arithmetic

CLK_COUNT_400HZ[4]_carry_eqn = A1L224;
CLK_COUNT_400HZ[4]_lut_out = CLK_COUNT_400HZ[4] $ (!CLK_COUNT_400HZ[4]_carry_eqn);
CLK_COUNT_400HZ[4] = DFFEAS(CLK_COUNT_400HZ[4]_lut_out, clk_48Mhz, VCC, , , , , A1L245, );

--A1L226 is CLK_COUNT_400HZ[4]~412
--operation mode is arithmetic

A1L226 = CARRY(CLK_COUNT_400HZ[4] & (!A1L224));


--state1.toggle_e1 is state1.toggle_e1
--operation mode is normal

state1.toggle_e1_lut_out = !A1L349;
state1.toggle_e1 = DFFEAS(state1.toggle_e1_lut_out, CLK_10HZ, reset, , A1L499, , , , );


--A1L349 is next_command1~10
--operation mode is normal

A1L349 = state1.hold1 # state1.toggle_e1;


--A1L394 is Select~3676
--operation mode is normal

A1L394 = next_command1.write_sec & (A1L349 # state1.write_min & !SET_CHANGE) # !next_command1.write_sec & (state1.write_min & !SET_CHANGE);


--A1L395 is Select~3677
--operation mode is normal

A1L395 = state1.write_sec & SET_CHANGE;


--state2.toggle_e2 is state2.toggle_e2
--operation mode is normal

state2.toggle_e2_lut_out = !A1L353;
state2.toggle_e2 = DFFEAS(state2.toggle_e2_lut_out, CLK_10HZ, reset, , A1L505, , , , );


--A1L353 is next_command2~10
--operation mode is normal

A1L353 = state2.hold2 # state2.toggle_e2;


--A1L396 is Select~3679
--operation mode is normal

A1L396 = next_command2.alarm_sec & (A1L353 # state2.alarm_min & !SET_CHANGE) # !next_command2.alarm_sec & (state2.alarm_min & !SET_CHANGE);


--A1L397 is Select~3680
--operation mode is normal

A1L397 = SET_CHANGE & state2.alarm_sec;


--A1L398 is Select~3682
--operation mode is normal

A1L398 = next_command1.write_hour & (A1L349 # state1.write_sec & SET_ADD);


--A1L399 is Select~3684
--operation mode is normal

A1L399 = next_command2.alarm_hour & (A1L353 # SET_ADD & state2.alarm_sec);


--A1L400 is Select~3686
--operation mode is normal

A1L400 = SET_CHANGE & state1.write_min # !SET_CHANGE & (!state1.write_hour);


--A1L401 is Select~3688
--operation mode is normal

A1L401 = SET_CHANGE & state2.alarm_min # !SET_CHANGE & (!state2.alarm_hour);


--state.write_char5 is state.write_char5
--operation mode is normal

state.write_char5_lut_out = state.hold & next_command.write_char5;
state.write_char5 = DFFEAS(state.write_char5_lut_out, CLK_400HZ, reset, , , , , , );


--state.write_display_char4 is state.write_display_char4
--operation mode is normal

state.write_display_char4_lut_out = state.hold & next_command.write_display_char4;
state.write_display_char4 = DFFEAS(state.write_display_char4_lut_out, CLK_400HZ, reset, , , , , , );


--A1L402 is Select~3690
--operation mode is normal

A1L402 = BCD_M1[0] & (state.write_display_char4 # BCD_MIND0[0] & state.write_char5) # !BCD_M1[0] & BCD_MIND0[0] & state.write_char5;


--A1L403 is Select~3691
--operation mode is normal

A1L403 = A1L402 # DATA_BUS_VALUE[0] & (!A1L387);


--BCD_DAY0[0] is BCD_DAY0[0]
--operation mode is normal

BCD_DAY0[0]_lut_out = !BCD_DAY0[0] & (!BCD_DAY0[1] & !BCD_DAY0[2] # !BCD_DAY0[3]);
BCD_DAY0[0] = DFFEAS(BCD_DAY0[0]_lut_out, CLK_10HZ, VCC, , A1L106, , , , );


--state.write_char7 is state.write_char7
--operation mode is normal

state.write_char7_lut_out = state.hold & next_command.write_char7;
state.write_char7 = DFFEAS(state.write_char7_lut_out, CLK_400HZ, reset, , , , , , );


--A1L404 is Select~3692
--operation mode is normal

A1L404 = BCD_SECD1[0] & (state.write_char7 # state.write_char18 & BCD_DAY0[0]) # !BCD_SECD1[0] & state.write_char18 & BCD_DAY0[0];


--state.write_display_char2 is state.write_display_char2
--operation mode is normal

state.write_display_char2_lut_out = state.hold & next_command.write_display_char2;
state.write_display_char2 = DFFEAS(state.write_display_char2_lut_out, CLK_400HZ, reset, , , , , , );


--state.write_char2 is state.write_char2
--operation mode is normal

state.write_char2_lut_out = state.hold & next_command.write_char2;
state.write_char2 = DFFEAS(state.write_char2_lut_out, CLK_400HZ, reset, , , , , , );


--A1L405 is Select~3693
--operation mode is normal

A1L405 = BCD_HRD0[0] & (state.write_char2 # BCD_H0[0] & state.write_display_char2) # !BCD_HRD0[0] & BCD_H0[0] & state.write_display_char2;


--state.write_display_char1 is state.write_display_char1
--operation mode is normal

state.write_display_char1_lut_out = state.hold & next_command.write_display_char1;
state.write_display_char1 = DFFEAS(state.write_display_char1_lut_out, CLK_400HZ, reset, , , , , , );


--state.write_char8 is state.write_char8
--operation mode is normal

state.write_char8_lut_out = state.hold & next_command.write_char8;
state.write_char8 = DFFEAS(state.write_char8_lut_out, CLK_400HZ, reset, , , , , , );


--A1L406 is Select~3694
--operation mode is normal

A1L406 = BCD_SECD0[0] & (state.write_char8 # BCD_H1[0] & state.write_display_char1) # !BCD_SECD0[0] & BCD_H1[0] & state.write_display_char1;


--state.write_char13 is state.write_char13
--operation mode is normal

state.write_char13_lut_out = state.hold & next_command.write_char13;
state.write_char13 = DFFEAS(state.write_char13_lut_out, CLK_400HZ, reset, , , , , , );


--state.write_char16 is state.write_char16
--operation mode is normal

state.write_char16_lut_out = state.hold & next_command.write_char16;
state.write_char16 = DFFEAS(state.write_char16_lut_out, CLK_400HZ, reset, , , , , , );


--state.write_char4 is state.write_char4
--operation mode is normal

state.write_char4_lut_out = state.hold & next_command.write_char4;
state.write_char4 = DFFEAS(state.write_char4_lut_out, CLK_400HZ, reset, , , , , , );


--A1L407 is Select~3695
--operation mode is normal

A1L407 = state.write_char13 # state.write_char16 # BCD_MIND1[0] & state.write_char4;


--state.write_display_char5 is state.write_display_char5
--operation mode is normal

state.write_display_char5_lut_out = state.hold & next_command.write_display_char5;
state.write_display_char5 = DFFEAS(state.write_display_char5_lut_out, CLK_400HZ, reset, , , , , , );


--A1L408 is Select~3696
--operation mode is normal

A1L408 = BCD_M0[0] & (state.write_display_char5 # BCD_TSEC[0] & state.write_char10) # !BCD_M0[0] & BCD_TSEC[0] & state.write_char10;


--state.write_display_char7 is state.write_display_char7
--operation mode is normal

state.write_display_char7_lut_out = state.hold & next_command.write_display_char7;
state.write_display_char7 = DFFEAS(state.write_display_char7_lut_out, CLK_400HZ, reset, , , , , , );


--state.write_display_char8 is state.write_display_char8
--operation mode is normal

state.write_display_char8_lut_out = state.hold & next_command.write_display_char8;
state.write_display_char8 = DFFEAS(state.write_display_char8_lut_out, CLK_400HZ, reset, , , , , , );


--A1L409 is Select~3697
--operation mode is normal

A1L409 = BCD_S0[0] & (state.write_display_char8 # BCD_S1[0] & state.write_display_char7) # !BCD_S0[0] & BCD_S1[0] & state.write_display_char7;


--A1L410 is Select~3698
--operation mode is normal

A1L410 = A1L406 # A1L407 # A1L408 # A1L409;


--state.write_char1 is state.write_char1
--operation mode is normal

state.write_char1_lut_out = state.hold & next_command.write_char1;
state.write_char1 = DFFEAS(state.write_char1_lut_out, CLK_400HZ, reset, , , , , , );


--A1L411 is Select~3699
--operation mode is normal

A1L411 = state.display_clear # A1L410 # BCD_HRD1[0] & state.write_char1;


--state.write_char3 is state.write_char3
--operation mode is normal

state.write_char3_lut_out = state.hold & next_command.write_char3;
state.write_char3 = DFFEAS(state.write_char3_lut_out, CLK_400HZ, reset, , , , , , );


--state.write_char6 is state.write_char6
--operation mode is normal

state.write_char6_lut_out = state.hold & next_command.write_char6;
state.write_char6 = DFFEAS(state.write_char6_lut_out, CLK_400HZ, reset, , , , , , );


--state.write_display_char3 is state.write_display_char3
--operation mode is normal

state.write_display_char3_lut_out = state.hold & next_command.write_display_char3;
state.write_display_char3 = DFFEAS(state.write_display_char3_lut_out, CLK_400HZ, reset, , , , , , );


--state.write_display_char6 is state.write_display_char6
--operation mode is normal

state.write_display_char6_lut_out = state.hold & next_command.write_display_char6;
state.write_display_char6 = DFFEAS(state.write_display_char6_lut_out, CLK_400HZ, reset, , , , , , );


--A1L412 is Select~3701
--operation mode is normal

A1L412 = !state.write_char3 & !state.write_char6 & !state.write_display_char3 & !state.write_display_char6;


--A1L413 is Select~3702
--operation mode is normal

A1L413 = DATA_BUS_VALUE[1] & !A1L387 # !A1L412;


--BCD_DAY0[1] is BCD_DAY0[1]
--operation mode is normal

BCD_DAY0[1]_lut_out = !BCD_DAY0[3] & (BCD_DAY0[0] $ BCD_DAY0[1]);
BCD_DAY0[1] = DFFEAS(BCD_DAY0[1]_lut_out, CLK_10HZ, VCC, , A1L106, , , , );


--A1L414 is Select~3703
--operation mode is normal

A1L414 = BCD_SECD1[1] & (state.write_char7 # state.write_char18 & BCD_DAY0[1]) # !BCD_SECD1[1] & state.write_char18 & BCD_DAY0[1];


--A1L415 is Select~3704
--operation mode is normal

A1L415 = BCD_SECD0[1] & (state.write_char8 # BCD_H1[1] & state.write_display_char1) # !BCD_SECD0[1] & BCD_H1[1] & state.write_display_char1;


--A1L416 is Select~3705
--operation mode is normal

A1L416 = BCD_M1[1] & (state.write_display_char4 # BCD_H0[1] & state.write_display_char2) # !BCD_M1[1] & BCD_H0[1] & state.write_display_char2;


--A1L417 is Select~3706
--operation mode is normal

A1L417 = BCD_MIND0[1] & (state.write_char5 # BCD_M0[1] & state.write_display_char5) # !BCD_MIND0[1] & BCD_M0[1] & state.write_display_char5;


--A1L418 is Select~3707
--operation mode is normal

A1L418 = BCD_MIND1[1] & (state.write_char4 # BCD_S1[1] & state.write_display_char7) # !BCD_MIND1[1] & BCD_S1[1] & state.write_display_char7;


--A1L419 is Select~3708
--operation mode is normal

A1L419 = BCD_HRD1[1] & (state.write_char1 # BCD_TSEC[1] & state.write_char10) # !BCD_HRD1[1] & BCD_TSEC[1] & state.write_char10;


--A1L420 is Select~3709
--operation mode is normal

A1L420 = A1L416 # A1L417 # A1L418 # A1L419;


--A1L421 is Select~3710
--operation mode is normal

A1L421 = BCD_S0[1] & (state.write_display_char8 # BCD_HRD0[1] & state.write_char2) # !BCD_S0[1] & BCD_HRD0[1] & state.write_char2;


--state.write_char9 is state.write_char9
--operation mode is normal

state.write_char9_lut_out = state.hold &