all_01.map.eqn

eda 开发数字钟的设计具体编程代码和开发流程与设计图

--L2L16 is HEX2DEC:inst5|add~4392
--operation mode is normal

L2L16 = !L2L79 & !L2L501 & !L2L601;


--L2L701 is HEX2DEC:inst5|LessThan~625
--operation mode is normal

L2L701 = L2L89 & !D1_var_mm[4] & !D1_var_mm[3] # !D1_var_mm[5];


--L2L26 is HEX2DEC:inst5|add~4393
--operation mode is normal

L2L26 = L2L06 & L2L16 & !L2L701;


--L2L13 is HEX2DEC:inst5|add~347
--operation mode is arithmetic

L2L13_carry_eqn = L2L03;
L2L13 = D1_var_mm[4] $ (!L2L13_carry_eqn);

--L2L23 is HEX2DEC:inst5|add~347COUT
--operation mode is arithmetic

L2L23 = CARRY(!D1_var_mm[4] & !L2L03);


--L2L81 is HEX2DEC:inst5|add~340
--operation mode is arithmetic

L2L81_carry_eqn = L2L71;
L2L81 = D1_var_mm[4] $ (!L2L81_carry_eqn);

--L2L91 is HEX2DEC:inst5|add~340COUT
--operation mode is arithmetic

L2L91 = CARRY(D1_var_mm[4] & !L2L71);


--L2L36 is HEX2DEC:inst5|add~4394
--operation mode is normal

L2L36 = L2L79 & !L2L501 & !L2L601;


--L2L46 is HEX2DEC:inst5|add~4395
--operation mode is normal

L2L46 = L2L701 & !L2L79 & !L2L501 & !L2L601;


--L2L56 is HEX2DEC:inst5|add~4396
--operation mode is normal

L2L56 = L2L13 & L2L46 # L2L81 & L2L36 # !L2L13 & L2L81 & L2L36;


--L2L7 is HEX2DEC:inst5|add~334
--operation mode is arithmetic

L2L7_carry_eqn = L2L6;
L2L7 = D1_var_mm[4] $ (L2L7_carry_eqn);

--L2L8 is HEX2DEC:inst5|add~334COUT
--operation mode is arithmetic

L2L8 = CARRY(!L2L6 # !D1_var_mm[4]);


--L2L66 is HEX2DEC:inst5|add~4397
--operation mode is normal

L2L66 = L2L601 & !L2L501;


--L2L76 is HEX2DEC:inst5|add~4398
--operation mode is normal

L2L76 = L2L26 # L2L56 # L2L7 & L2L66;


--D1_ss[7] is hhmmss:11|ss[7]
--operation mode is normal

D1_ss[7]_lut_out = D1L51;
D1_ss[7] = DFFEAS(D1_ss[7]_lut_out, G1_clkout, VCC, , , , , , );


--D1_var_ss[6] is hhmmss:11|var_ss[6]
--operation mode is normal

D1_var_ss[6]_lut_out = D1L31;
D1_var_ss[6] = DFFEAS(D1_var_ss[6]_lut_out, G1_clkout, VCC, , , , , , );


--L3L79 is HEX2DEC:inst6|LessThan~610
--operation mode is normal

L3L79 = !D1_ss[7] & !D1_var_ss[6];


--D1_var_ss[2] is hhmmss:11|var_ss[2]
--operation mode is normal

D1_var_ss[2]_lut_out = D1L5 & !D1L64;
D1_var_ss[2] = DFFEAS(D1_var_ss[2]_lut_out, G1_clkout, VCC, , , , , , );


--D1_var_ss[5] is hhmmss:11|var_ss[5]
--operation mode is normal

D1_var_ss[5]_lut_out = D1L11 & !D1L64;
D1_var_ss[5] = DFFEAS(D1_var_ss[5]_lut_out, G1_clkout, VCC, , , , , , );


--D1_var_ss[4] is hhmmss:11|var_ss[4]
--operation mode is normal

D1_var_ss[4]_lut_out = D1L9 & !D1L64;
D1_var_ss[4] = DFFEAS(D1_var_ss[4]_lut_out, G1_clkout, VCC, , , , , , );


--D1_var_ss[3] is hhmmss:11|var_ss[3]
--operation mode is normal

D1_var_ss[3]_lut_out = D1L7 & !D1L64;
D1_var_ss[3] = DFFEAS(D1_var_ss[3]_lut_out, G1_clkout, VCC, , , , , , );


--L3L89 is HEX2DEC:inst6|LessThan~611
--operation mode is normal

L3L89 = D1_var_ss[4] & D1_var_ss[3];


--L3L99 is HEX2DEC:inst6|LessThan~612
--operation mode is normal

L3L99 = L3L79 & !L3L89 # !D1_var_ss[5] # !D1_var_ss[2];


--L3L59 is HEX2DEC:inst6|DEC[0]~1823
--operation mode is normal

L3L59 = D1_var_ss[0] # !L3L99;


--L3L04 is HEX2DEC:inst6|add~352
--operation mode is arithmetic

L3L04_carry_eqn = L3L93;
L3L04 = D1_var_ss[4] $ (!L3L04_carry_eqn);

--L3L14 is HEX2DEC:inst6|add~352COUT
--operation mode is arithmetic

L3L14 = CARRY(!D1_var_ss[4] & !L3L93);


--L3L35 is HEX2DEC:inst6|add~359
--operation mode is arithmetic

L3L35_carry_eqn = L3L25;
L3L35 = D1_var_ss[4] $ (!L3L35_carry_eqn);

--L3L45 is HEX2DEC:inst6|add~359COUT
--operation mode is arithmetic

L3L45 = CARRY(!D1_var_ss[4] & !L3L25);


--D1_var_ss[1] is hhmmss:11|var_ss[1]
--operation mode is normal

D1_var_ss[1]_lut_out = D1L3;
D1_var_ss[1] = DFFEAS(D1_var_ss[1]_lut_out, G1_clkout, VCC, , , , , , );


--L3L001 is HEX2DEC:inst6|LessThan~613
--operation mode is normal

L3L001 = !D1_var_ss[2] & !D1_var_ss[3] & !D1_var_ss[1];


--L3L101 is HEX2DEC:inst6|LessThan~614
--operation mode is normal

L3L101 = L3L79 & L3L001 # !D1_var_ss[4] # !D1_var_ss[5];


--L3L26 is HEX2DEC:inst6|add~4431
--operation mode is normal

L3L26 = L3L101 & L3L04 # !L3L101 & L3L35 # !L3L99;


--L3L201 is HEX2DEC:inst6|LessThan~615
--operation mode is normal

L3L201 = !D1_var_ss[5] & !D1_ss[7] & !D1_var_ss[6];


--L3L69 is HEX2DEC:inst6|LessThan~325
--operation mode is normal

L3L69 = L3L201 & !D1_var_ss[1] # !L3L89 # !D1_var_ss[2];


--L3L301 is HEX2DEC:inst6|LessThan~616
--operation mode is normal

L3L301 = L3L201 & !D1_var_ss[2] & !D1_var_ss[3] # !D1_var_ss[4];


--L3L401 is HEX2DEC:inst6|LessThan~617
--operation mode is normal

L3L401 = !D1_var_ss[2] & !D1_var_ss[1];


--L3L501 is HEX2DEC:inst6|LessThan~618
--operation mode is normal

L3L501 = L3L201 & !D1_var_ss[4] & L3L401 # !D1_var_ss[3];


--L3L36 is HEX2DEC:inst6|add~4432
--operation mode is normal

L3L36 = !L3L69 & !L3L301 & !L3L501;


--L3L601 is HEX2DEC:inst6|LessThan~619
--operation mode is normal

L3L601 = L3L79 & !D1_var_ss[4] & !D1_var_ss[3] # !D1_var_ss[5];


--L3L46 is HEX2DEC:inst6|add~4433
--operation mode is normal

L3L46 = L3L26 & L3L36 & !L3L601;


--L3L13 is HEX2DEC:inst6|add~347
--operation mode is arithmetic

L3L13_carry_eqn = L3L03;
L3L13 = D1_var_ss[4] $ (!L3L13_carry_eqn);

--L3L23 is HEX2DEC:inst6|add~347COUT
--operation mode is arithmetic

L3L23 = CARRY(!D1_var_ss[4] & !L3L03);


--L3L81 is HEX2DEC:inst6|add~340
--operation mode is arithmetic

L3L81_carry_eqn = L3L71;
L3L81 = D1_var_ss[4] $ (!L3L81_carry_eqn);

--L3L91 is HEX2DEC:inst6|add~340COUT
--operation mode is arithmetic

L3L91 = CARRY(D1_var_ss[4] & !L3L71);


--L3L56 is HEX2DEC:inst6|add~4434
--operation mode is normal

L3L56 = L3L69 & !L3L301 & !L3L501;


--L3L66 is HEX2DEC:inst6|add~4435
--operation mode is normal

L3L66 = L3L601 & !L3L69 & !L3L301 & !L3L501;


--L3L76 is HEX2DEC:inst6|add~4436
--operation mode is normal

L3L76 = L3L13 & L3L66 # L3L81 & L3L56 # !L3L13 & L3L81 & L3L56;


--L3L7 is HEX2DEC:inst6|add~334
--operation mode is arithmetic

L3L7_carry_eqn = L3L6;
L3L7 = D1_var_ss[4] $ (L3L7_carry_eqn);

--L3L8 is HEX2DEC:inst6|add~334COUT
--operation mode is arithmetic

L3L8 = CARRY(!L3L6 # !D1_var_ss[4]);


--L3L86 is HEX2DEC:inst6|add~4437
--operation mode is normal

L3L86 = L3L301 & !L3L501;


--L3L96 is HEX2DEC:inst6|add~4438
--operation mode is normal

L3L96 = L3L46 # L3L76 # L3L7 & L3L86;


--C1L81 is debugled:10|Mux~211
--operation mode is normal

C1L81 = C1_dig_cnt[1] & C1_dig_cnt[0] # !C1_dig_cnt[1] & C1_dig_cnt[0] & L3L59 # !C1_dig_cnt[0] & L3L96;


--D1_var_mm[0] is hhmmss:11|var_mm[0]
--operation mode is normal

D1_var_mm[0]_lut_out = D1L13;
D1_var_mm[0] = DFFEAS(D1_var_mm[0]_lut_out, G1_clkout, VCC, , D1L64, , , , );


--D1L74 is hhmmss:11|reduce_nor~90
--operation mode is normal

D1L74 = D1_var_mm[4] & D1_var_mm[5] & D1_var_mm[3];


--L2L69 is HEX2DEC:inst5|DEC[0]~1823
--operation mode is normal

L2L69 = D1_var_mm[0] # D1_var_mm[2] & D1L74 # !L2L89;


--C1L91 is debugled:10|Mux~212
--operation mode is normal

C1L91 = C1_dig_cnt[1] & C1L81 & L2L69 # !C1L81 & L2L76 # !C1_dig_cnt[1] & C1L81;


--D1_var_hh[0] is hhmmss:11|var_hh[0]
--operation mode is normal

D1_var_hh[0]_lut_out = D1L61;
D1_var_hh[0] = DFFEAS(D1_var_hh[0]_lut_out, G1_clkout, VCC, , D1L26, , , , );


--L1L35 is HEX2DEC:inst4|add~359
--operation mode is arithmetic

L1L35_carry_eqn = L1L25;
L1L35 = D1_var_hh[4] $ (!L1L35_carry_eqn);

--L1L45 is HEX2DEC:inst4|add~359COUT
--operation mode is arithmetic

L1L45 = CARRY(!D1_var_hh[4] & !L1L25);


--D1_var_hh[7] is hhmmss:11|var_hh[7]
--operation mode is normal

D1_var_hh[7]_lut_out = D1L03;
D1_var_hh[7] = DFFEAS(D1_var_hh[7]_lut_out, G1_clkout, VCC, , D1L26, , , , );


--D1_var_hh[6] is hhmmss:11|var_hh[6]
--operation mode is normal

D1_var_hh[6]_lut_out = D1L82;
D1_var_hh[6] = DFFEAS(D1_var_hh[6]_lut_out, G1_clkout, VCC, , D1L26, , , , );


--L1L16 is HEX2DEC:inst4|LessThan~595
--operation mode is normal

L1L16 = !D1_var_hh[7] & !D1_var_hh[6];


--D1_var_hh[3] is hhmmss:11|var_hh[3]
--operation mode is normal

D1_var_hh[3]_lut_out = D1L22 & D1_var_hh[3] # D1L15 # !D1L84;
D1_var_hh[3] = DFFEAS(D1_var_hh[3]_lut_out, G1_clkout, VCC, , D1L26, , , , );


--D1_var_hh[2] is hhmmss:11|var_hh[2]
--operation mode is normal

D1_var_hh[2]_lut_out = D1L02;
D1_var_hh[2] = DFFEAS(D1_var_hh[2]_lut_out, G1_clkout, VCC, , D1L26, , , , );


--D1_var_hh[4] is hhmmss:11|var_hh[4]
--operation mode is normal

D1_var_hh[4]_lut_out = D1L42 & D1_var_hh[3] # D1L15 # !D1L84;
D1_var_hh[4] = DFFEAS(D1_var_hh[4]_lut_out, G1_clkout, VCC, , D1L26, , , , );


--D1_var_hh[5] is hhmmss:11|var_hh[5]
--operation mode is normal

D1_var_hh[5]_lut_out = D1L62;
D1_var_hh[5] = DFFEAS(D1_var_hh[5]_lut_out, G1_clkout, VCC, , D1L26, , , , );


--L1L26 is HEX2DEC:inst4|LessThan~596
--operation mode is normal

L1L26 = D1_var_hh[4] & D1_var_hh[5];


--L1L36 is HEX2DEC:inst4|LessThan~597
--operation mode is normal

L1L36 = L1L16 & !L1L26 # !D1_var_hh[2] # !D1_var_hh[3];


--C1L02 is debugled:10|Mux~6108
--operation mode is normal

C1L02 = L1L35 & !C1_dig_cnt[0] # !L1L36;


--L1L04 is HEX2DEC:inst4|add~352
--operation mode is arithmetic

L1L04_carry_eqn = L1L93;
L1L04 = D1_var_hh[4] $ (!L1L04_carry_eqn);

--L1L14 is HEX2DEC:inst4|add~352COUT
--operation mode is arithmetic

L1L14 = CARRY(!D1_var_hh[4] & !L1L93);


--L1L46 is HEX2DEC:inst4|LessThan~598
--operation mode is normal

L1L46 = !D1_var_hh[3] & !D1_var_hh[2];


--D1_var_hh[1] is hhmmss:11|var_hh[1]
--operation mode is normal

D1_var_hh[1]_lut_out = D1L81;
D1_var_hh[1] = DFFEAS(D1_var_hh[1]_lut_out, G1_clkout, VCC, , D1L26, , , , );


--L1L56 is HEX2DEC:inst4|LessThan~599
--operation mode is normal

L1L56 = L1L16 & L1L46 & !D1_var_hh[1] # !L1L26;


--C1L12 is debugled:10|Mux~6109
--operation mode is normal

C1L12 = L1L56 & L1L04 & !C1_dig_cnt[0] # !L1L56 & C1L02;


--L1L66 is HEX2DEC:inst4|LessThan~600
--operation mode is normal

L1L66 = L1L16 & !D1_var_hh[4] & !D1_var_hh[3] # !D1_var_hh[5];


--D1L84 is hhmmss:11|reduce_nor~91
--operation mode is normal

D1L84 = D1_var_hh[4] & D1_var_hh[2] & D1_var_hh[1];


--L1L06 is HEX2DEC:inst4|LessThan~325
--operation mode is normal

L1L06 = L1L16 & !D1_var_hh[5] & !D1L84 # !D1_var_hh[3];


--L1L81 is HEX2DEC:inst4|add~340
--operation mode is arithmetic

L1L81_carry_eqn = L1L71;
L1L81 = D1_var_hh[4] $ (!L1L81_carry_eqn);

--L1L91 is HEX2DEC:inst4|add~340COUT
--operation mode is arithmetic

L1L91 = CARRY(D1_var_hh[4] & !L1L71);


--L1L13 is HEX2DEC:inst4|add~347
--operation mode is arithmetic

L1L13_carry_eqn = L1L03;
L1L13 = D1_var_hh[4] $ (!L1L13_carry_eqn);

--L1L23 is HEX2DEC:inst4|add~347COUT
--operation mode is arithmetic

L1L23 = CARRY(!D1_var_hh[4] & !L1L03);


--L1L7 is HEX2DEC:inst4|add~334
--operation mode is arithmetic

L1L7_carry_eqn = L1L6;
L1L7 = D1_var_hh[4] $ (L1L7_carry_eqn);

--L1L8 is HEX2DEC:inst4|add~334COUT
--operation mode is arithmetic

L1L8 = CARRY(!L1L6 # !D1_var_hh[4]);


--L1L76 is HEX2DEC:inst4|LessThan~601
--operation mode is normal

L1L76 = L1L16 & !D1_var_hh[5] & L1L46 # !D1_var_hh[4];


--C1L22 is debugled:10|Mux~6110
--operation mode is normal

C1L22 = L1L76 & L1L7 & !C1_dig_cnt[0] # !L1L76 & C1L45;


--L1L86 is HEX2DEC:inst4|LessThan~602
--operation mode is normal

L1L86 = !D1_var_hh[2] & !D1_var_hh[1] # !D1_var_hh[3];


--L1L96 is HEX2DEC:inst4|LessThan~603
--operation mode is normal

L1L96 = L1L16 & L1L86 & !D1_var_hh[4] & !D1_var_hh[5];


--C1L32 is debugled:10|Mux~6111
--operation mode is normal

C1L32 = C1_dig_cnt[0] & D1_var_hh[0] # C1L22 & !L1L96 # !C1_dig_cnt[0] & C1L22 & !L1L96;


--L2L24 is HEX2DEC:inst5|add~353
--operation mode is arithmetic

L2L24_carry_eqn = L2L14;
L2L24 = D1_var_mm[5] $ (!L2L24_carry_eqn);

--L2L34 is HEX2DEC:inst5|add~353COUT
--operation mode is arithmetic

L2L34 = CARRY(D1_var_mm[5] & !L2L14);


--L2L55 is HEX2DEC:inst5|add~360
--operation mode is arithmetic

L2L55_carry_eqn = L2L45;
L2L55 = D1_var_mm[5] $ (!L2L55_carry_eqn);

--L2L65 is HEX2DEC:inst5|add~360COUT
--operation mode is arithmetic