elc_clock.map.eqn

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

-- Copyright (C) 1991-2005 Altera Corporation
-- Your use of Altera Corporation's design tools, logic functions 
-- and other software and tools, and its AMPP partner logic 
-- functions, and any output files any of the foregoing 
-- (including device programming or simulation files), and any 
-- associated documentation or information are expressly subject 
-- to the terms and conditions of the Altera Program License 
-- Subscription Agreement, Altera MegaCore Function License 
-- Agreement, or other applicable license agreement, including, 
-- without limitation, that your use is for the sole purpose of 
-- programming logic devices manufactured by Altera and sold by 
-- Altera or its authorized distributors.  Please refer to the 
-- applicable agreement for further details.
--F1_HOU0[0] is COUNT:inst14|HOU0[0]
F1_HOU0[0] = DFFEAS(F1L18, D1_CLK,  ,  , F1L15,  ,  ,  ,  );


--F1_HOU0[1] is COUNT:inst14|HOU0[1]
F1_HOU0[1] = DFFEAS(F1L22, D1_CLK,  ,  , F1L15,  ,  ,  ,  );


--F1_HOU0[2] is COUNT:inst14|HOU0[2]
F1_HOU0[2] = DFFEAS(F1L24, D1_CLK,  ,  , F1L15,  ,  ,  ,  );


--F1_HOU0[3] is COUNT:inst14|HOU0[3]
F1_HOU0[3] = DFFEAS(F1L23, D1_CLK,  ,  , F1L15,  ,  ,  ,  );


--E1L7 is DECODER:inst12|Q3[6]~95
E1L7 = F1_HOU0[3] # F1_HOU0[1] & (!F1_HOU0[2] # !F1_HOU0[0]) # !F1_HOU0[1] & (F1_HOU0[2]);


--E1L6 is DECODER:inst12|Q3[5]~96
E1L6 = !F1_HOU0[3] & (F1_HOU0[0] & (F1_HOU0[1] # !F1_HOU0[2]) # !F1_HOU0[0] & F1_HOU0[1] & !F1_HOU0[2]);


--E1L5 is DECODER:inst12|Q3[4]~97
E1L5 = F1_HOU0[1] & F1_HOU0[0] & (!F1_HOU0[3]) # !F1_HOU0[1] & (F1_HOU0[2] & (!F1_HOU0[3]) # !F1_HOU0[2] & F1_HOU0[0]);


--E1L4 is DECODER:inst12|Q3[3]~98
E1L4 = !F1_HOU0[3] & (F1_HOU0[0] & (F1_HOU0[1] $ !F1_HOU0[2]) # !F1_HOU0[0] & !F1_HOU0[1] & F1_HOU0[2]);


--E1L3 is DECODER:inst12|Q3[2]~99
E1L3 = F1_HOU0[1] & !F1_HOU0[0] & !F1_HOU0[2] & !F1_HOU0[3];


--E1L2 is DECODER:inst12|Q3[1]~100
E1L2 = F1_HOU0[2] & !F1_HOU0[3] & (F1_HOU0[0] $ F1_HOU0[1]);


--E1L1 is DECODER:inst12|Q3[0]~101
E1L1 = !F1_HOU0[1] & !F1_HOU0[3] & (F1_HOU0[0] $ F1_HOU0[2]);


--F1_HOU1[0] is COUNT:inst14|HOU1[0]
F1_HOU1[0] = DFFEAS(F1L29, D1_CLK,  ,  ,  ,  ,  ,  ,  );


--F1_HOU1[1] is COUNT:inst14|HOU1[1]
F1_HOU1[1] = DFFEAS(F1L31, D1_CLK,  ,  ,  ,  ,  ,  ,  );


--F1_HOU1[2] is COUNT:inst14|HOU1[2]
F1_HOU1[2] = DFFEAS(F1L33, D1_CLK,  ,  ,  ,  ,  ,  ,  );


--F1_HOU1[3] is COUNT:inst14|HOU1[3]
F1_HOU1[3] = DFFEAS(F1L35, D1_CLK,  ,  ,  ,  ,  ,  ,  );


--E2L7 is DECODER:inst13|Q3[6]~98
E2L7 = F1_HOU1[3] # F1_HOU1[1] & (!F1_HOU1[2] # !F1_HOU1[0]) # !F1_HOU1[1] & (F1_HOU1[2]);


--E2L6 is DECODER:inst13|Q3[5]~99
E2L6 = !F1_HOU1[3] & (F1_HOU1[0] & (F1_HOU1[1] # !F1_HOU1[2]) # !F1_HOU1[0] & F1_HOU1[1] & !F1_HOU1[2]);


--E2L5 is DECODER:inst13|Q3[4]~100
E2L5 = F1_HOU1[1] & F1_HOU1[0] & (!F1_HOU1[3]) # !F1_HOU1[1] & (F1_HOU1[2] & (!F1_HOU1[3]) # !F1_HOU1[2] & F1_HOU1[0]);


--E2L4 is DECODER:inst13|Q3[3]~101
E2L4 = !F1_HOU1[3] & (F1_HOU1[0] & (F1_HOU1[1] $ !F1_HOU1[2]) # !F1_HOU1[0] & !F1_HOU1[1] & F1_HOU1[2]);


--E2L3 is DECODER:inst13|Q3[2]~102
E2L3 = F1_HOU1[1] & !F1_HOU1[0] & !F1_HOU1[2] & !F1_HOU1[3];


--E2L2 is DECODER:inst13|Q3[1]~103
E2L2 = F1_HOU1[2] & !F1_HOU1[3] & (F1_HOU1[0] $ F1_HOU1[1]);


--E2L1 is DECODER:inst13|Q3[0]~104
E2L1 = !F1_HOU1[1] & !F1_HOU1[3] & (F1_HOU1[0] $ F1_HOU1[2]);


--F1_MIN0[0] is COUNT:inst14|MIN0[0]
F1_MIN0[0] = DFFEAS(F1L39, D1_CLK,  ,  , F1L45,  ,  ,  ,  );


--F1_MIN0[1] is COUNT:inst14|MIN0[1]
F1_MIN0[1] = DFFEAS(F1L46, D1_CLK,  ,  , F1L45,  ,  ,  ,  );


--F1_MIN0[2] is COUNT:inst14|MIN0[2]
F1_MIN0[2] = DFFEAS(F1L42, D1_CLK,  ,  ,  ,  ,  ,  ,  );


--F1_MIN0[3] is COUNT:inst14|MIN0[3]
F1_MIN0[3] = DFFEAS(F1L47, D1_CLK,  ,  , F1L45,  ,  ,  ,  );


--E3L7 is DECODER:inst10|Q3[6]~98
E3L7 = F1_MIN0[3] # F1_MIN0[1] & (!F1_MIN0[2] # !F1_MIN0[0]) # !F1_MIN0[1] & (F1_MIN0[2]);


--E3L6 is DECODER:inst10|Q3[5]~99
E3L6 = !F1_MIN0[3] & (F1_MIN0[0] & (F1_MIN0[1] # !F1_MIN0[2]) # !F1_MIN0[0] & F1_MIN0[1] & !F1_MIN0[2]);


--E3L5 is DECODER:inst10|Q3[4]~100
E3L5 = F1_MIN0[1] & F1_MIN0[0] & (!F1_MIN0[3]) # !F1_MIN0[1] & (F1_MIN0[2] & (!F1_MIN0[3]) # !F1_MIN0[2] & F1_MIN0[0]);


--E3L4 is DECODER:inst10|Q3[3]~101
E3L4 = !F1_MIN0[3] & (F1_MIN0[0] & (F1_MIN0[1] $ !F1_MIN0[2]) # !F1_MIN0[0] & !F1_MIN0[1] & F1_MIN0[2]);


--E3L3 is DECODER:inst10|Q3[2]~102
E3L3 = F1_MIN0[1] & !F1_MIN0[0] & !F1_MIN0[2] & !F1_MIN0[3];


--E3L2 is DECODER:inst10|Q3[1]~103
E3L2 = F1_MIN0[2] & !F1_MIN0[3] & (F1_MIN0[0] $ F1_MIN0[1]);


--E3L1 is DECODER:inst10|Q3[0]~104
E3L1 = !F1_MIN0[1] & !F1_MIN0[3] & (F1_MIN0[0] $ F1_MIN0[2]);


--F1_MIN1[0] is COUNT:inst14|MIN1[0]
F1_MIN1[0] = DFFEAS(F1L50, D1_CLK,  ,  , F1L54,  ,  ,  ,  );


--F1_MIN1[1] is COUNT:inst14|MIN1[1]
F1_MIN1[1] = DFFEAS(F1L57, D1_CLK,  ,  , F1L54,  ,  ,  ,  );


--F1_MIN1[2] is COUNT:inst14|MIN1[2]
F1_MIN1[2] = DFFEAS(F1L58, D1_CLK,  ,  , F1L54,  ,  ,  ,  );


--F1_MIN1[3] is COUNT:inst14|MIN1[3]
F1_MIN1[3] = DFFEAS(F1L56, D1_CLK,  ,  ,  ,  ,  ,  ,  );


--E4L7 is DECODER:inst11|Q3[6]~98
E4L7 = F1_MIN1[3] # F1_MIN1[1] & (!F1_MIN1[2] # !F1_MIN1[0]) # !F1_MIN1[1] & (F1_MIN1[2]);


--E4L6 is DECODER:inst11|Q3[5]~99
E4L6 = !F1_MIN1[3] & (F1_MIN1[0] & (F1_MIN1[1] # !F1_MIN1[2]) # !F1_MIN1[0] & F1_MIN1[1] & !F1_MIN1[2]);


--E4L5 is DECODER:inst11|Q3[4]~100
E4L5 = F1_MIN1[1] & F1_MIN1[0] & (!F1_MIN1[3]) # !F1_MIN1[1] & (F1_MIN1[2] & (!F1_MIN1[3]) # !F1_MIN1[2] & F1_MIN1[0]);


--E4L4 is DECODER:inst11|Q3[3]~101
E4L4 = !F1_MIN1[3] & (F1_MIN1[0] & (F1_MIN1[1] $ !F1_MIN1[2]) # !F1_MIN1[0] & !F1_MIN1[1] & F1_MIN1[2]);


--E4L3 is DECODER:inst11|Q3[2]~102
E4L3 = F1_MIN1[1] & !F1_MIN1[0] & !F1_MIN1[2] & !F1_MIN1[3];


--E4L2 is DECODER:inst11|Q3[1]~103
E4L2 = F1_MIN1[2] & !F1_MIN1[3] & (F1_MIN1[0] $ F1_MIN1[1]);


--E4L1 is DECODER:inst11|Q3[0]~104
E4L1 = !F1_MIN1[1] & !F1_MIN1[3] & (F1_MIN1[0] $ F1_MIN1[2]);


--F1_SEC0[0] is COUNT:inst14|SEC0[0]
F1_SEC0[0] = DFFEAS(F1L61, D1_CLK,  ,  , F1L66,  ,  ,  ,  );


--F1_SEC0[1] is COUNT:inst14|SEC0[1]
F1_SEC0[1] = DFFEAS(F1L67, D1_CLK,  ,  , F1L66,  ,  ,  ,  );


--F1_SEC0[2] is COUNT:inst14|SEC0[2]
F1_SEC0[2] = DFFEAS(F1L64, D1_CLK,  ,  ,  ,  ,  ,  ,  );


--F1_SEC0[3] is COUNT:inst14|SEC0[3]
F1_SEC0[3] = DFFEAS(F1L68, D1_CLK,  ,  , F1L66,  ,  ,  ,  );


--E5L7 is DECODER:inst8|Q3[6]~98
E5L7 = F1_SEC0[3] # F1_SEC0[1] & (!F1_SEC0[2] # !F1_SEC0[0]) # !F1_SEC0[1] & (F1_SEC0[2]);


--E5L6 is DECODER:inst8|Q3[5]~99
E5L6 = !F1_SEC0[3] & (F1_SEC0[0] & (F1_SEC0[1] # !F1_SEC0[2]) # !F1_SEC0[0] & F1_SEC0[1] & !F1_SEC0[2]);


--E5L5 is DECODER:inst8|Q3[4]~100
E5L5 = F1_SEC0[1] & F1_SEC0[0] & (!F1_SEC0[3]) # !F1_SEC0[1] & (F1_SEC0[2] & (!F1_SEC0[3]) # !F1_SEC0[2] & F1_SEC0[0]);


--E5L4 is DECODER:inst8|Q3[3]~101
E5L4 = !F1_SEC0[3] & (F1_SEC0[0] & (F1_SEC0[1] $ !F1_SEC0[2]) # !F1_SEC0[0] & !F1_SEC0[1] & F1_SEC0[2]);


--E5L3 is DECODER:inst8|Q3[2]~102
E5L3 = F1_SEC0[1] & !F1_SEC0[0] & !F1_SEC0[2] & !F1_SEC0[3];


--E5L2 is DECODER:inst8|Q3[1]~103
E5L2 = F1_SEC0[2] & !F1_SEC0[3] & (F1_SEC0[0] $ F1_SEC0[1]);


--E5L1 is DECODER:inst8|Q3[0]~104
E5L1 = !F1_SEC0[1] & !F1_SEC0[3] & (F1_SEC0[0] $ F1_SEC0[2]);


--F1_SEC1[0] is COUNT:inst14|SEC1[0]
F1_SEC1[0] = DFFEAS(F1L72, D1_CLK,  ,  , F1L71,  ,  ,  ,  );


--F1_SEC1[1] is COUNT:inst14|SEC1[1]
F1_SEC1[1] = DFFEAS(F1L78, D1_CLK,  ,  , F1L71,  ,  ,  ,  );


--F1_SEC1[2] is COUNT:inst14|SEC1[2]
F1_SEC1[2] = DFFEAS(F1L79, D1_CLK,  ,  , F1L71,  ,  ,  ,  );


--F1_SEC1[3] is COUNT:inst14|SEC1[3]
F1_SEC1[3] = DFFEAS(F1L77, D1_CLK,  ,  ,  ,  ,  ,  ,  );


--E6L7 is DECODER:inst9|Q3[6]~98
E6L7 = F1_SEC1[3] # F1_SEC1[1] & (!F1_SEC1[2] # !F1_SEC1[0]) # !F1_SEC1[1] & (F1_SEC1[2]);


--E6L6 is DECODER:inst9|Q3[5]~99
E6L6 = !F1_SEC1[3] & (F1_SEC1[0] & (F1_SEC1[1] # !F1_SEC1[2]) # !F1_SEC1[0] & F1_SEC1[1] & !F1_SEC1[2]);


--E6L5 is DECODER:inst9|Q3[4]~100
E6L5 = F1_SEC1[1] & F1_SEC1[0] & (!F1_SEC1[3]) # !F1_SEC1[1] & (F1_SEC1[2] & (!F1_SEC1[3]) # !F1_SEC1[2] & F1_SEC1[0]);


--E6L4 is DECODER:inst9|Q3[3]~101
E6L4 = !F1_SEC1[3] & (F1_SEC1[0] & (F1_SEC1[1] $ !F1_SEC1[2]) # !F1_SEC1[0] & !F1_SEC1[1] & F1_SEC1[2]);


--E6L3 is DECODER:inst9|Q3[2]~102
E6L3 = F1_SEC1[1] & !F1_SEC1[0] & !F1_SEC1[2] & !F1_SEC1[3];


--E6L2 is DECODER:inst9|Q3[1]~103
E6L2 = F1_SEC1[2] & !F1_SEC1[3] & (F1_SEC1[0] $ F1_SEC1[1]);


--E6L1 is DECODER:inst9|Q3[0]~104
E6L1 = !F1_SEC1[1] & !F1_SEC1[3] & (F1_SEC1[0] $ F1_SEC1[2]);


--D1_CLK is CLK_DIV3:inst2|CLK
D1_CLK = DFFEAS(D1L20, C1_CLK,  ,  ,  ,  ,  ,  ,  );


--F1L12 is COUNT:inst14|HOU0[0]~600
F1L12 = F1_HOU1[2] # F1_HOU1[3] # F1_HOU1[0] & F1_HOU1[1];


--F1L13 is COUNT:inst14|HOU0[0]~601
F1L13 = MIN_CHA # SEC_CHA # !HOU_CHA;


--A1L37 is rtl~306
A1L37 = F1_MIN0[1] # F1_MIN0[2] # !F1_MIN0[3] # !F1_MIN0[0];


--A1L38 is rtl~307
A1L38 = F1_SEC0[1] # F1_SEC0[2] # !F1_SEC0[3] # !F1_SEC0[0];


--A1L39 is rtl~308
A1L39 = F1_SEC1[0] & F1_SEC1[2] & !F1_SEC1[1] & !F1_SEC1[3];


--A1L40 is rtl~309
A1L40 = F1_MIN1[0] & F1_MIN1[2] & !F1_MIN1[1] & !F1_MIN1[3];


--F1L14 is COUNT:inst14|HOU0[0]~602
F1L14 = A1L37 # A1L38 # !A1L40 # !A1L39;


--F1L15 is COUNT:inst14|HOU0[0]~603
F1L15 = !F1L12 & (CHANGE & !F1L13 # !CHANGE & (!F1L14));


--F1L16 is COUNT:inst14|HOU0[0]~604
F1L16 = F1_HOU0[0] & F1_HOU0[1] & !F1_HOU0[2] & !F1_HOU0[3];


--A1L41 is rtl~310
A1L41 = F1_HOU0[0] & F1_HOU0[3] & !F1_HOU0[1] & !F1_HOU0[2];


--F1L36 is COUNT:inst14|LessThan~33
F1L36 = F1_HOU1[1] # F1_HOU1[2] # F1_HOU1[3];


--F1L17 is COUNT:inst14|HOU0[0]~605
F1L17 = F1L36 & F1L16 # !F1L36 & (A1L41);


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


--F1L1 is COUNT:inst14|add~510
F1L1 = F1_HOU0[0] & F1_HOU0[1];


--F1L23 is COUNT:inst14|HOU0~607
F1L23 = !F1L17 & (F1_HOU0[3] $ (F1_HOU0[2] & F1L1));


--F1L27 is COUNT:inst14|HOU1[0]~273
F1L27 = F1L36 & (!F1L16 # !E2L3);


--F1L28 is COUNT:inst14|HOU1[0]~274
F1L28 = F1L27 # CHANGE & F1L13 # !CHANGE & (F1L14);


--F1L2 is COUNT:inst14|add~511
F1L2 = A1L41 & (F1_HOU1[0] $ VCC) # !A1L41 & F1_HOU1[0] & VCC;

--F1L3 is COUNT:inst14|add~512
F1L3 = CARRY(A1L41 & F1_HOU1[0]);


--F1L29 is COUNT:inst14|HOU1[0]~275
F1L29 = F1L28 & F1_HOU1[0] # !F1L28 & (F1L2 & !F1L36);


--F1L4 is COUNT:inst14|add~513
F1L4 = F1_HOU1[1] & !F1L3 # !F1_HOU1[1] & (F1L3 # GND);

--F1L5 is COUNT:inst14|add~514
F1L5 = CARRY(!F1L3 # !F1_HOU1[1]);


--F1L31 is COUNT:inst14|HOU1[1]~276
F1L31 = F1L28 & F1_HOU1[1] # !F1L28 & (F1L4 & !F1L36);


--F1L6 is COUNT:inst14|add~515
F1L6 = F1_HOU1[2] & (F1L5 $ GND) # !F1_HOU1[2] & !F1L5 & VCC;

--F1L7 is COUNT:inst14|add~516
F1L7 = CARRY(F1_HOU1[2] & !F1L5);


--F1L33 is COUNT:inst14|HOU1[2]~277
F1L33 = F1L28 & F1_HOU1[2] # !F1L28 & (F1L6 & !F1L36);


--F1L8 is COUNT:inst14|add~517
F1L8 = F1_HOU1[3] $ F1L7;


--F1L35 is COUNT:inst14|HOU1[3]~278
F1L35 = F1L28 & F1_HOU1[3] # !F1L28 & (F1L8 & !F1L36);


--F1L44 is COUNT:inst14|MIN0[3]~366
F1L44 = CHANGE & MIN_CHA # !CHANGE & (A1L39);


--F1L45 is COUNT:inst14|MIN0[3]~367
F1L45 = F1L44 & (CHANGE & (!SEC_CHA) # !CHANGE & !A1L38);


--F1L46 is COUNT:inst14|MIN0~368
F1L46 = F1_MIN0[1] & (!F1_MIN0[0]) # !F1_MIN0[1] & F1_MIN0[0] & (F1_MIN0[2] # !F1_MIN0[3]);


--F1L42 is COUNT:inst14|MIN0[2]~369
F1L42 = F1_MIN0[2] $ (F1_MIN0[0] & F1_MIN0[1] & F1L45);


--F1L47 is COUNT:inst14|MIN0~370
F1L47 = F1_MIN0[3] & (F1_MIN0[1] $ F1_MIN0[2] # !F1_MIN0[0]) # !F1_MIN0[3] & F1_MIN0[1] & F1_MIN0[2] & F1_MIN0[0];


--F1L54 is COUNT:inst14|MIN1[3]~284
F1L54 = !A1L37 & F1L45;


--F1L57 is COUNT:inst14|MIN1~285
F1L57 = F1_MIN1[1] & (!F1_MIN1[0]) # !F1_MIN1[1] & F1_MIN1[0] & (F1_MIN1[3] # !F1_MIN1[2]);


--F1L58 is COUNT:inst14|MIN1~286
F1L58 = F1_MIN1[1] & (F1_MIN1[2] $ F1_MIN1[0]) # !F1_MIN1[1] & F1_MIN1[2] & (F1_MIN1[3] # !F1_MIN1[0]);


--F1L55 is COUNT:inst14|MIN1[3]~287
F1L55 = F1_MIN1[0] & F1_MIN1[1] & F1_MIN1[2];


--F1L56 is COUNT:inst14|MIN1[3]~288
F1L56 = F1_MIN1[3] $ (!A1L37 & F1L45 & F1L55);


--F1L66 is COUNT:inst14|SEC0[3]~182
F1L66 = SEC_CHA # !CHANGE;


--F1L67 is COUNT:inst14|SEC0~183
F1L67 = F1_SEC0[1] & (!F1_SEC0[0]) # !F1_SEC0[1] & F1_SEC0[0] & (F1_SEC0[2] # !F1_SEC0[3]);


--F1L64 is COUNT:inst14|SEC0[2]~184
F1L64 = F1_SEC0[2] $ (F1_SEC0[0] & F1_SEC0[1] & F1L66);


--F1L68 is COUNT:inst14|SEC0~185
F1L68 = F1_SEC0[3] & (F1_SEC0[1] $ F1_SEC0[2] # !F1_SEC0[0]) # !F1_SEC0[3] & F1_SEC0[1] & F1_SEC0[2] & F1_SEC0[0];


--F1L71 is COUNT:inst14|SEC1[0]~179
F1L71 = !A1L38 & (SEC_CHA # !CHANGE);


--F1L78 is COUNT:inst14|SEC1~180
F1L78 = F1_SEC1[1] & (!F1_SEC1[0]) # !F1_SEC1[1] & F1_SEC1[0] & (F1_SEC1[3] # !F1_SEC1[2]);


--F1L79 is COUNT:inst14|SEC1~181
F1L79 = F1_SEC1[1] & (F1_SEC1[2] $ F1_SEC1[0]) # !F1_SEC1[1] & F1_SEC1[2] & (F1_SEC1[3] # !F1_SEC1[0]);


--F1L76 is COUNT:inst14|SEC1[3]~182
F1L76 = F1_SEC1[0] & F1_SEC1[1] & F1_SEC1[2];


--F1L77 is COUNT:inst14|SEC1[3]~183
F1L77 = F1_SEC1[3] $ (!A1L38 & F1L66 & F1L76);


--D1_COUNT[8] is CLK_DIV3:inst2|COUNT[8]
D1_COUNT[8] = DFFEAS(D1L31, C1_CLK,  ,  ,  ,  ,  ,  ,  );


--D1_COUNT[7] is CLK_DIV3:inst2|COUNT[7]
D1_COUNT[7] = DFFEAS(D1L32, C1_CLK,  ,  ,  ,  ,  ,  ,  );


--D1_COUNT[6] is CLK_DIV3:inst2|COUNT[6]
D1_COUNT[6] = DFFEAS(D1L33, C1_CLK,  ,  ,  ,  ,  ,  ,  );


--D1_COUNT[5] is CLK_DIV3:inst2|COUNT[5]
D1_COUNT[5] = DFFEAS(D1L34, C1_CLK,  ,  ,  ,  ,  ,  ,  );


--A1L42 is rtl~311
A1L42 = D1_COUNT[8] & D1_COUNT[7] & D1_COUNT[6] & D1_COUNT[5];


--D1_COUNT[0] is CLK_DIV3:inst2|COUNT[0]
D1_COUNT[0] = DFFEAS(D1L1, C1_CLK,  ,  ,  ,  ,  ,  ,  );


--D1_COUNT[4] is CLK_DIV3:inst2|COUNT[4]
D1_COUNT[4] = DFFEAS(D1L35, C1_CLK,  ,  ,  ,  ,  ,  ,  );


--D1_COUNT[1] is CLK_DIV3:inst2|COUNT[1]
D1_COUNT[1] = DFFEAS(D1L3, C1_CLK,  ,  ,  ,  ,  ,  ,  );


--D1_COUNT[3] is CLK_DIV3:inst2|COUNT[3]
D1_COUNT[3] = DFFEAS(D1L7, C1_CLK,  ,  ,  ,  ,  ,  ,  );


--D1_COUNT[2] is CLK_DIV3:inst2|COUNT[2]
D1_COUNT[2] = DFFEAS(D1L36, C1_CLK,  ,  ,  ,  ,  ,  ,  );


--A1L43 is rtl~312
A1L43 = D1_COUNT[4] & D1_COUNT[1] & !D1_COUNT[3] & !D1_COUNT[2];


--D1L20 is CLK_DIV3:inst2|CLK~35
D1L20 = D1_CLK $ (A1L42 & D1_COUNT[0] & A1L43);


--C1_CLK is CLK_DIV2:inst1|CLK
C1_CLK = DFFEAS(C1L20, B1_CLK,  ,  ,  ,  ,  ,  ,  );


--D1L1 is CLK_DIV3:inst2|add~136
D1L1 = D1_COUNT[0] $ VCC;

--D1L2 is CLK_DIV3:inst2|add~137
D1L2 = CARRY(D1_COUNT[0]);


--D1L3 is CLK_DIV3:inst2|add~138
D1L3 = D1_COUNT[1] & !D1L2 # !D1_COUNT[1] & (D1L2 # GND);

--D1L4 is CLK_DIV3:inst2|add~139
D1L4 = CARRY(!D1L2 # !D1_COUNT[1]);


--D1L5 is CLK_DIV3:inst2|add~140
D1L5 = D1_COUNT[2] & (D1L4 $ GND) # !D1_COUNT[2] & !D1L4 & VCC;

--D1L6 is CLK_DIV3:inst2|add~141
D1L6 = CARRY(D1_COUNT[2] & !D1L4);


--D1L7 is CLK_DIV3:inst2|add~142
D1L7 = D1_COUNT[3] & !D1L6 # !D1_COUNT[3] & (D1L6 # GND);

--D1L8 is CLK_DIV3:inst2|add~143
D1L8 = CARRY(!D1L6 # !D1_COUNT[3]);


--D1L9 is CLK_DIV3:inst2|add~144
D1L9 = D1_COUNT[4] & (D1L8 $ GND) # !D1_COUNT[4] & !D1L8 & VCC;

--D1L10 is CLK_DIV3:inst2|add~145
D1L10 = CARRY(D1_COUNT[4] & !D1L8);


--D1L11 is CLK_DIV3:inst2|add~146
D1L11 = D1_COUNT[5] & !D1L10 # !D1_COUNT[5] & (D1L10 # GND);

--D1L12 is CLK_DIV3:inst2|add~147
D1L12 = CARRY(!D1L10 # !D1_COUNT[5]);