elc_clock.map.eqn

实现一个能显示时,分,秒,可设置闹钟的电子种,数码管显示时间

--D1L13 is CLK_DIV3:inst2|add~148
D1L13 = D1_COUNT[6] & (D1L12 $ GND) # !D1_COUNT[6] & !D1L12 & VCC;

--D1L14 is CLK_DIV3:inst2|add~149
D1L14 = CARRY(D1_COUNT[6] & !D1L12);


--D1L15 is CLK_DIV3:inst2|add~150
D1L15 = D1_COUNT[7] & !D1L14 # !D1_COUNT[7] & (D1L14 # GND);

--D1L16 is CLK_DIV3:inst2|add~151
D1L16 = CARRY(!D1L14 # !D1_COUNT[7]);


--D1L17 is CLK_DIV3:inst2|add~152
D1L17 = D1_COUNT[8] $ !D1L16;


--D1L31 is CLK_DIV3:inst2|COUNT~263
D1L31 = D1L17 & (!A1L43 # !D1_COUNT[0] # !A1L42);


--D1L32 is CLK_DIV3:inst2|COUNT~264
D1L32 = D1L15 & (!A1L43 # !D1_COUNT[0] # !A1L42);


--D1L33 is CLK_DIV3:inst2|COUNT~265
D1L33 = D1L13 & (!A1L43 # !D1_COUNT[0] # !A1L42);


--D1L34 is CLK_DIV3:inst2|COUNT~266
D1L34 = D1L11 & (!A1L43 # !D1_COUNT[0] # !A1L42);


--D1L35 is CLK_DIV3:inst2|COUNT~267
D1L35 = D1L9 & (!A1L43 # !D1_COUNT[0] # !A1L42);


--D1L36 is CLK_DIV3:inst2|COUNT~268
D1L36 = D1L5 & (!A1L43 # !D1_COUNT[0] # !A1L42);


--C1_COUNT[8] is CLK_DIV2:inst1|COUNT[8]
C1_COUNT[8] = DFFEAS(C1L31, B1_CLK,  ,  ,  ,  ,  ,  ,  );


--C1_COUNT[7] is CLK_DIV2:inst1|COUNT[7]
C1_COUNT[7] = DFFEAS(C1L32, B1_CLK,  ,  ,  ,  ,  ,  ,  );


--C1_COUNT[6] is CLK_DIV2:inst1|COUNT[6]
C1_COUNT[6] = DFFEAS(C1L33, B1_CLK,  ,  ,  ,  ,  ,  ,  );


--C1_COUNT[5] is CLK_DIV2:inst1|COUNT[5]
C1_COUNT[5] = DFFEAS(C1L34, B1_CLK,  ,  ,  ,  ,  ,  ,  );


--A1L44 is rtl~313
A1L44 = C1_COUNT[8] & C1_COUNT[7] & C1_COUNT[6] & C1_COUNT[5];


--C1_COUNT[0] is CLK_DIV2:inst1|COUNT[0]
C1_COUNT[0] = DFFEAS(C1L1, B1_CLK,  ,  ,  ,  ,  ,  ,  );


--C1_COUNT[4] is CLK_DIV2:inst1|COUNT[4]
C1_COUNT[4] = DFFEAS(C1L35, B1_CLK,  ,  ,  ,  ,  ,  ,  );


--C1_COUNT[1] is CLK_DIV2:inst1|COUNT[1]
C1_COUNT[1] = DFFEAS(C1L3, B1_CLK,  ,  ,  ,  ,  ,  ,  );


--C1_COUNT[3] is CLK_DIV2:inst1|COUNT[3]
C1_COUNT[3] = DFFEAS(C1L7, B1_CLK,  ,  ,  ,  ,  ,  ,  );


--C1_COUNT[2] is CLK_DIV2:inst1|COUNT[2]
C1_COUNT[2] = DFFEAS(C1L36, B1_CLK,  ,  ,  ,  ,  ,  ,  );


--A1L45 is rtl~314
A1L45 = C1_COUNT[4] & C1_COUNT[1] & !C1_COUNT[3] & !C1_COUNT[2];


--C1L20 is CLK_DIV2:inst1|CLK~35
C1L20 = C1_CLK $ (A1L44 & C1_COUNT[0] & A1L45);


--B1_CLK is CLK_DIV1:inst|CLK
B1_CLK = DFFEAS(B1L12, CLK,  ,  ,  ,  ,  ,  ,  );


--C1L1 is CLK_DIV2:inst1|add~136
C1L1 = C1_COUNT[0] $ VCC;

--C1L2 is CLK_DIV2:inst1|add~137
C1L2 = CARRY(C1_COUNT[0]);


--C1L3 is CLK_DIV2:inst1|add~138
C1L3 = C1_COUNT[1] & !C1L2 # !C1_COUNT[1] & (C1L2 # GND);

--C1L4 is CLK_DIV2:inst1|add~139
C1L4 = CARRY(!C1L2 # !C1_COUNT[1]);


--C1L5 is CLK_DIV2:inst1|add~140
C1L5 = C1_COUNT[2] & (C1L4 $ GND) # !C1_COUNT[2] & !C1L4 & VCC;

--C1L6 is CLK_DIV2:inst1|add~141
C1L6 = CARRY(C1_COUNT[2] & !C1L4);


--C1L7 is CLK_DIV2:inst1|add~142
C1L7 = C1_COUNT[3] & !C1L6 # !C1_COUNT[3] & (C1L6 # GND);

--C1L8 is CLK_DIV2:inst1|add~143
C1L8 = CARRY(!C1L6 # !C1_COUNT[3]);


--C1L9 is CLK_DIV2:inst1|add~144
C1L9 = C1_COUNT[4] & (C1L8 $ GND) # !C1_COUNT[4] & !C1L8 & VCC;

--C1L10 is CLK_DIV2:inst1|add~145
C1L10 = CARRY(C1_COUNT[4] & !C1L8);


--C1L11 is CLK_DIV2:inst1|add~146
C1L11 = C1_COUNT[5] & !C1L10 # !C1_COUNT[5] & (C1L10 # GND);

--C1L12 is CLK_DIV2:inst1|add~147
C1L12 = CARRY(!C1L10 # !C1_COUNT[5]);


--C1L13 is CLK_DIV2:inst1|add~148
C1L13 = C1_COUNT[6] & (C1L12 $ GND) # !C1_COUNT[6] & !C1L12 & VCC;

--C1L14 is CLK_DIV2:inst1|add~149
C1L14 = CARRY(C1_COUNT[6] & !C1L12);


--C1L15 is CLK_DIV2:inst1|add~150
C1L15 = C1_COUNT[7] & !C1L14 # !C1_COUNT[7] & (C1L14 # GND);

--C1L16 is CLK_DIV2:inst1|add~151
C1L16 = CARRY(!C1L14 # !C1_COUNT[7]);


--C1L17 is CLK_DIV2:inst1|add~152
C1L17 = C1_COUNT[8] $ !C1L16;


--C1L31 is CLK_DIV2:inst1|COUNT~263
C1L31 = C1L17 & (!A1L45 # !C1_COUNT[0] # !A1L44);


--C1L32 is CLK_DIV2:inst1|COUNT~264
C1L32 = C1L15 & (!A1L45 # !C1_COUNT[0] # !A1L44);


--C1L33 is CLK_DIV2:inst1|COUNT~265
C1L33 = C1L13 & (!A1L45 # !C1_COUNT[0] # !A1L44);


--C1L34 is CLK_DIV2:inst1|COUNT~266
C1L34 = C1L11 & (!A1L45 # !C1_COUNT[0] # !A1L44);


--C1L35 is CLK_DIV2:inst1|COUNT~267
C1L35 = C1L9 & (!A1L45 # !C1_COUNT[0] # !A1L44);


--C1L36 is CLK_DIV2:inst1|COUNT~268
C1L36 = C1L5 & (!A1L45 # !C1_COUNT[0] # !A1L44);


--B1_COUNT[0] is CLK_DIV1:inst|COUNT[0]
B1_COUNT[0] = DFFEAS(B1L19, CLK,  ,  ,  ,  ,  ,  ,  );


--B1_COUNT[4] is CLK_DIV1:inst|COUNT[4]
B1_COUNT[4] = DFFEAS(B1L20, CLK,  ,  ,  ,  ,  ,  ,  );


--B1_COUNT[3] is CLK_DIV1:inst|COUNT[3]
B1_COUNT[3] = DFFEAS(B1L21, CLK,  ,  ,  ,  ,  ,  ,  );


--B1_COUNT[2] is CLK_DIV1:inst|COUNT[2]
B1_COUNT[2] = DFFEAS(B1L5, CLK,  ,  ,  ,  ,  ,  ,  );


--B1_COUNT[1] is CLK_DIV1:inst|COUNT[1]
B1_COUNT[1] = DFFEAS(B1L3, CLK,  ,  ,  ,  ,  ,  ,  );


--A1L46 is rtl~315
A1L46 = B1_COUNT[4] & B1_COUNT[3] & !B1_COUNT[2] & !B1_COUNT[1];


--B1L12 is CLK_DIV1:inst|CLK~27
B1L12 = B1_CLK $ (!B1_COUNT[0] & A1L46);


--B1L1 is CLK_DIV1:inst|add~76
B1L1 = B1_COUNT[0] $ VCC;

--B1L2 is CLK_DIV1:inst|add~77
B1L2 = CARRY(B1_COUNT[0]);


--B1L19 is CLK_DIV1:inst|COUNT~111
B1L19 = B1L1 & (B1_COUNT[0] # !A1L46);


--B1L3 is CLK_DIV1:inst|add~78
B1L3 = B1_COUNT[1] & !B1L2 # !B1_COUNT[1] & (B1L2 # GND);

--B1L4 is CLK_DIV1:inst|add~79
B1L4 = CARRY(!B1L2 # !B1_COUNT[1]);


--B1L5 is CLK_DIV1:inst|add~80
B1L5 = B1_COUNT[2] & (B1L4 $ GND) # !B1_COUNT[2] & !B1L4 & VCC;

--B1L6 is CLK_DIV1:inst|add~81
B1L6 = CARRY(B1_COUNT[2] & !B1L4);


--B1L7 is CLK_DIV1:inst|add~82
B1L7 = B1_COUNT[3] & !B1L6 # !B1_COUNT[3] & (B1L6 # GND);

--B1L8 is CLK_DIV1:inst|add~83
B1L8 = CARRY(!B1L6 # !B1_COUNT[3]);


--B1L9 is CLK_DIV1:inst|add~84
B1L9 = B1_COUNT[4] $ !B1L8;


--B1L20 is CLK_DIV1:inst|COUNT~112
B1L20 = B1L9 & (B1_COUNT[0] # !A1L46);


--B1L21 is CLK_DIV1:inst|COUNT~113
B1L21 = B1L7 & (B1_COUNT[0] # !A1L46);


--F1L24 is COUNT:inst14|HOU0~608
F1L24 = !F1L17 & (F1_HOU0[2] $ (F1_HOU0[0] & F1_HOU0[1]));


--F1L18 is COUNT:inst14|HOU0[0]~609
F1L18 = !F1_HOU0[0];


--F1L39 is COUNT:inst14|MIN0[0]~371
F1L39 = !F1_MIN0[0];


--F1L50 is COUNT:inst14|MIN1[0]~289
F1L50 = !F1_MIN1[0];


--F1L61 is COUNT:inst14|SEC0[0]~186
F1L61 = !F1_SEC0[0];


--F1L72 is COUNT:inst14|SEC1[0]~184
F1L72 = !F1_SEC1[0];


--MIN_CHA is MIN_CHA
--operation mode is input

MIN_CHA = INPUT();


--SEC_CHA is SEC_CHA
--operation mode is input

SEC_CHA = INPUT();


--HOU_CHA is HOU_CHA
--operation mode is input

HOU_CHA = INPUT();


--CHANGE is CHANGE
--operation mode is input

CHANGE = INPUT();


--CLK is CLK
--operation mode is input

CLK = INPUT();


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

HOU0[6] = OUTPUT(!E1L7);


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

HOU0[5] = OUTPUT(E1L6);


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

HOU0[4] = OUTPUT(E1L5);


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

HOU0[3] = OUTPUT(E1L4);


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

HOU0[2] = OUTPUT(E1L3);


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

HOU0[1] = OUTPUT(E1L2);


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

HOU0[0] = OUTPUT(E1L1);


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

HOU1[6] = OUTPUT(!E2L7);


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

HOU1[5] = OUTPUT(E2L6);


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

HOU1[4] = OUTPUT(E2L5);


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

HOU1[3] = OUTPUT(E2L4);


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

HOU1[2] = OUTPUT(E2L3);


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

HOU1[1] = OUTPUT(E2L2);


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

HOU1[0] = OUTPUT(E2L1);


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

MIN0[6] = OUTPUT(!E3L7);


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

MIN0[5] = OUTPUT(E3L6);


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

MIN0[4] = OUTPUT(E3L5);


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

MIN0[3] = OUTPUT(E3L4);


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

MIN0[2] = OUTPUT(E3L3);


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

MIN0[1] = OUTPUT(E3L2);


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

MIN0[0] = OUTPUT(E3L1);


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

MIN1[6] = OUTPUT(!E4L7);


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

MIN1[5] = OUTPUT(E4L6);


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

MIN1[4] = OUTPUT(E4L5);


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

MIN1[3] = OUTPUT(E4L4);


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

MIN1[2] = OUTPUT(E4L3);


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

MIN1[1] = OUTPUT(E4L2);


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

MIN1[0] = OUTPUT(E4L1);


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

SEC0[6] = OUTPUT(!E5L7);


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

SEC0[5] = OUTPUT(E5L6);


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

SEC0[4] = OUTPUT(E5L5);


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

SEC0[3] = OUTPUT(E5L4);


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

SEC0[2] = OUTPUT(E5L3);


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

SEC0[1] = OUTPUT(E5L2);


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

SEC0[0] = OUTPUT(E5L1);


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

SEC1[6] = OUTPUT(!E6L7);


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

SEC1[5] = OUTPUT(E6L6);


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

SEC1[4] = OUTPUT(E6L5);


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

SEC1[3] = OUTPUT(E6L4);


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

SEC1[2] = OUTPUT(E6L3);


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

SEC1[1] = OUTPUT(E6L2);


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

SEC1[0] = OUTPUT(E6L1);