all_01.map.eqn

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

--H1L86 is clock_spk:17|process0~2014
--operation mode is normal

H1L86 = !H1_count[11] & H1L83 & !H1L65 # !H1_count[10];


--H1L96 is clock_spk:17|process0~2015
--operation mode is normal

H1L96 = H1_count[6] & H1_count[5] & H1_count[4] # !H1L14;


--H1L07 is clock_spk:17|process0~2016
--operation mode is normal

H1L07 = H1_count[8] # H1_count[9] # H1_count[7] # H1_count[10];


--H1L17 is clock_spk:17|process0~2017
--operation mode is normal

H1L17 = H1L86 # H1_count[11] & H1L96 # H1L07;


--H1L901 is clock_spk:17|Select~7393
--operation mode is normal

H1L901 = H1L28 & H1L48 & !H1L17 # !H1L76 # !H1L28 & H1L48 & !H1L17;


--H1L78 is clock_spk:17|reduce_nor~20
--operation mode is normal

H1L78 = H1L29 & KEY[5] & KEY[4] & !KEY[7];


--H1L68 is clock_spk:17|reduce_nor~19
--operation mode is normal

H1L68 = KEY[3] & H1L09 & H1L19 & !KEY[6];


--H1L011 is clock_spk:17|Select~7394
--operation mode is normal

H1L011 = H1_count[11] & H1L78 # H1L68 # !H1_count[11] & H1_count[10] & H1L78 # H1L68;


--H1L111 is clock_spk:17|Select~7395
--operation mode is normal

H1L111 = H1L011 # H1L28 & H1L45 # H1L55;


--H1L211 is clock_spk:17|Select~7396
--operation mode is normal

H1L211 = H1L38 & H1L15 # H1L18 & !H1L64 # !H1L38 & H1L18 & !H1L64;


--H1L58 is clock_spk:17|reduce_nor~18
--operation mode is normal

H1L58 = H1L29 & KEY[4] & KEY[7] & !KEY[5];


--H1L75 is clock_spk:17|LessThan~2906
--operation mode is normal

H1L75 = !H1_count[6] & !H1L25 # !H1_count[5] # !H1_count[2];


--H1L93 is clock_spk:17|LessThan~1551
--operation mode is normal

H1L93 = H1_count[10] # H1_count[7] & H1L04 & !H1L75;


--H1L311 is clock_spk:17|Select~7397
--operation mode is normal

H1L311 = H1_count[11] # H1L93;


--H1L411 is clock_spk:17|Select~7398
--operation mode is normal

H1L411 = H1L58 & H1L311 # H1L48 & !H1L86 # !H1L58 & H1L48 & !H1L86;


--H1L85 is clock_spk:17|LessThan~2907
--operation mode is normal

H1L85 = !H1_count[5] & !H1_count[2] & !H1_count[3] # !H1_count[4];


--H1L511 is clock_spk:17|Select~7399
--operation mode is normal

H1L511 = H1L04 & H1_count[7] # H1_count[6] & !H1L85;


--H1L27 is clock_spk:17|process0~2018
--operation mode is normal

H1L27 = !H1_count[3] & !H1L35 # !H1L74 # !H1_count[4];


--H1L37 is clock_spk:17|process0~2019
--operation mode is normal

H1L37 = H1L27 & !H1_count[8] # !H1_count[9];


--H1L611 is clock_spk:17|Select~7400
--operation mode is normal

H1L611 = H1L68 & H1L511 # H1L78 & !H1L37 # !H1L68 & H1L78 & !H1L37;


--H1L711 is clock_spk:17|Select~7401
--operation mode is normal

H1L711 = H1L111 # H1L211 # H1L411 # H1L611;


--H1L811 is clock_spk:17|Select~7402
--operation mode is normal

H1L811 = H1L801 # H1L901 # H1_clkout & H1L711;


--H1L911 is clock_spk:17|Select~7403
--operation mode is normal

H1L911 = H1_count[10] & H1_count[5] & H1_count[3] & !H1_count[1];


--H1L89 is clock_spk:17|Select~7347
--operation mode is normal

H1L89 = H1_count[8] & !H1_count[7] & H1L58 # !H1_count[8] & H1_count[7] & H1L68;


--H1L99 is clock_spk:17|Select~7348
--operation mode is normal

H1L99 = H1L89 & H1_count[6] & H1_count[4] & H1_count[8] # !H1_count[6] & !H1_count[4] & !H1_count[8];


--H1L021 is clock_spk:17|Select~7404
--operation mode is normal

H1L021 = H1_count[9] & H1L99 & !H1_count[2] & !H1_count[0];


--H1L121 is clock_spk:17|Select~7405
--operation mode is normal

H1L121 = H1_count[8] & H1_count[6] & H1_count[7] & !H1_count[9];


--H1L221 is clock_spk:17|Select~7406
--operation mode is normal

H1L221 = H1L121 & H1_count[2] & H1_count[0] & !H1_count[4];


--H1L321 is clock_spk:17|Select~7407
--operation mode is normal

H1L321 = H1L911 & H1L021 # H1L78 & H1L221;


--H1L95 is clock_spk:17|LessThan~2908
--operation mode is normal

H1L95 = H1_count[2] & H1_count[3] & H1_count[0] # H1_count[1];


--H1L47 is clock_spk:17|process0~2020
--operation mode is normal

H1L47 = H1_count[8] & H1L74 & H1_count[4] # H1L95;


--H1L57 is clock_spk:17|process0~2021
--operation mode is normal

H1L57 = H1_count[10] & H1_count[9] # H1L47 # !H1_count[10] & H1L37;


--H1L67 is clock_spk:17|process0~2022
--operation mode is normal

H1L67 = H1_count[6] # H1_count[5] & H1_count[4] # H1_count[3];


--H1L77 is clock_spk:17|process0~2023
--operation mode is normal

H1L77 = H1_count[8] & H1_count[10] # !H1_count[8] & H1_count[7] & H1L67;


--H1L87 is clock_spk:17|process0~2024
--operation mode is normal

H1L87 = H1_count[9] & H1L77 # !H1_count[10] & !H1L511 # !H1_count[9] & !H1_count[10] & !H1L511;


--H1L421 is clock_spk:17|Select~7408
--operation mode is normal

H1L421 = H1L78 & H1L68 & !H1L87 # !H1L57 # !H1L78 & H1L68 & !H1L87;


--H1L97 is clock_spk:17|process0~2025
--operation mode is normal

H1L97 = H1_count[7] & H1_count[10] # !H1_count[7] & H1L56 & H1L25;


--H1L521 is clock_spk:17|Select~7409
--operation mode is normal

H1L521 = H1L321 # H1L421 # H1L58 & !H1L08;


--K1_clkout is clock40:inst3|clkout
--operation mode is normal

K1_clkout_lut_out = K1L02 # K1L12 & K1L5 # K1L7;
K1_clkout = DFFEAS(K1_clkout_lut_out, R1__clk1, VCC, , , , , , );


--D1L1 is hhmmss:11|add~243
--operation mode is arithmetic

D1L1 = !D1_var_ss[0];

--D1L2 is hhmmss:11|add~243COUT
--operation mode is arithmetic

D1L2 = CARRY(D1_var_ss[0]);


--G1_clkout is clock2:15|clkout
--operation mode is normal

G1_clkout_lut_out = !G1_clkout;
G1_clkout = DFFEAS(G1_clkout_lut_out, F1_clkout, VCC, , , , , , );


--C1_dig_cnt[2] is debugled:10|dig_cnt[2]
--operation mode is normal

C1_dig_cnt[2]_lut_out = C1_dig_cnt[2] & !C1_dig_cnt[0] # !C1_dig_cnt[2] & C1_dig_cnt[1] & C1_dig_cnt[0];
C1_dig_cnt[2] = DFFEAS(C1_dig_cnt[2]_lut_out, !B1_24, VCC, , C1L55, , , , );


--C1_dig_cnt[0] is debugled:10|dig_cnt[0]
--operation mode is normal

C1_dig_cnt[0]_lut_out = !C1_dig_cnt[0];
C1_dig_cnt[0] = DFFEAS(C1_dig_cnt[0]_lut_out, !B1_24, VCC, , C1L55, , , , );


--B1_24 is clockall:9|24
--operation mode is normal

B1_24_lut_out = !B1_24;
B1_24 = DFFEAS(B1_24_lut_out, !B1_20, VCC, , , , , , );


--C1_stay_cnt[0] is debugled:10|stay_cnt[0]
--operation mode is normal

C1_stay_cnt[0]_lut_out = !C1_stay_cnt[0] & !C1_stay_cnt[1];
C1_stay_cnt[0] = DFFEAS(C1_stay_cnt[0]_lut_out, !B1_24, VCC, , , , , , );


--C1_stay_cnt[1] is debugled:10|stay_cnt[1]
--operation mode is normal

C1_stay_cnt[1]_lut_out = !C1_stay_cnt[1] & C1_stay_cnt[0];
C1_stay_cnt[1] = DFFEAS(C1_stay_cnt[1]_lut_out, !B1_24, VCC, , , , , , );


--C1L55 is debugled:10|reduce_nor~0
--operation mode is normal

C1L55 = !C1_stay_cnt[0] & C1_stay_cnt[1];


--C1_dig_cnt[1] is debugled:10|dig_cnt[1]
--operation mode is normal

C1_dig_cnt[1]_lut_out = C1_dig_cnt[0] & !C1_dig_cnt[2] & !C1_dig_cnt[1] # !C1_dig_cnt[0] & C1_dig_cnt[1];
C1_dig_cnt[1] = DFFEAS(C1_dig_cnt[1]_lut_out, !B1_24, VCC, , C1L55, , , , );


--Q1_safe_q[0] is ledflash:12|lpm_counter:count_rtl_0|cntr_ds6:auto_generated|safe_q[0]
--operation mode is arithmetic

Q1_safe_q[0]_lut_out = !Q1_safe_q[0];
Q1_safe_q[0] = DFFEAS(Q1_safe_q[0]_lut_out, G1_clkout, VCC, , , , , , );

--Q1L2 is ledflash:12|lpm_counter:count_rtl_0|cntr_ds6:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

Q1L2 = CARRY(Q1_safe_q[0]);


--Q1_safe_q[3] is ledflash:12|lpm_counter:count_rtl_0|cntr_ds6:auto_generated|safe_q[3]
--operation mode is arithmetic

Q1_safe_q[3]_carry_eqn = Q1L6;
Q1_safe_q[3]_lut_out = Q1_safe_q[3] $ (Q1_safe_q[3]_carry_eqn);
Q1_safe_q[3] = DFFEAS(Q1_safe_q[3]_lut_out, G1_clkout, VCC, , , , , , );

--Q1L8 is ledflash:12|lpm_counter:count_rtl_0|cntr_ds6:auto_generated|counter_cella3~COUT
--operation mode is arithmetic

Q1L8 = CARRY(!Q1L6 # !Q1_safe_q[3]);


--Q1_safe_q[2] is ledflash:12|lpm_counter:count_rtl_0|cntr_ds6:auto_generated|safe_q[2]
--operation mode is arithmetic

Q1_safe_q[2]_carry_eqn = Q1L4;
Q1_safe_q[2]_lut_out = Q1_safe_q[2] $ (!Q1_safe_q[2]_carry_eqn);
Q1_safe_q[2] = DFFEAS(Q1_safe_q[2]_lut_out, G1_clkout, VCC, , , , , , );

--Q1L6 is ledflash:12|lpm_counter:count_rtl_0|cntr_ds6:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

Q1L6 = CARRY(Q1_safe_q[2] & !Q1L4);


--Q1_safe_q[4] is ledflash:12|lpm_counter:count_rtl_0|cntr_ds6:auto_generated|safe_q[4]
--operation mode is normal

Q1_safe_q[4]_carry_eqn = Q1L8;
Q1_safe_q[4]_lut_out = Q1_safe_q[4] $ (!Q1_safe_q[4]_carry_eqn);
Q1_safe_q[4] = DFFEAS(Q1_safe_q[4]_lut_out, G1_clkout, VCC, , , , , , );


--Q1_safe_q[1] is ledflash:12|lpm_counter:count_rtl_0|cntr_ds6:auto_generated|safe_q[1]
--operation mode is arithmetic

Q1_safe_q[1]_carry_eqn = Q1L2;
Q1_safe_q[1]_lut_out = Q1_safe_q[1] $ (Q1_safe_q[1]_carry_eqn);
Q1_safe_q[1] = DFFEAS(Q1_safe_q[1]_lut_out, G1_clkout, VCC, , , , , , );

--Q1L4 is ledflash:12|lpm_counter:count_rtl_0|cntr_ds6:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

Q1L4 = CARRY(!Q1L2 # !Q1_safe_q[1]);


--E1L32 is ledflash:12|Mux~1075
--operation mode is normal

E1L32 = Q1_safe_q[4] & Q1_safe_q[2] # !Q1_safe_q[1];


--E1L42 is ledflash:12|Mux~1092
--operation mode is normal

E1L42 = !Q1_safe_q[3] & !Q1_safe_q[1] & !Q1_safe_q[2];


--E1L41 is ledflash:12|Mux~635
--operation mode is normal

E1L41 = Q1_safe_q[2] & Q1_safe_q[0] $ (!Q1_safe_q[4]) # !Q1_safe_q[2] & Q1_safe_q[0] & Q1_safe_q[1] & !Q1_safe_q[4];


--E1L51 is ledflash:12|Mux~642
--operation mode is normal

E1L51 = Q1_safe_q[0] & Q1_safe_q[2] $ !Q1_safe_q[4] # !Q1_safe_q[0] & !Q1_safe_q[4] & Q1_safe_q[1] # Q1_safe_q[2];


--E1L22 is ledflash:12|Mux~710
--operation mode is normal

E1L22 = Q1_safe_q[4] $ (Q1_safe_q[0] & Q1_safe_q[2]);


--E1L61 is ledflash:12|Mux~644
--operation mode is normal

E1L61 = Q1_safe_q[4] & !Q1_safe_q[0] & !Q1_safe_q[1] # !Q1_safe_q[2];


--E1L81 is ledflash:12|Mux~649
--operation mode is normal

E1L81 = Q1_safe_q[2] & Q1_safe_q[3] & !Q1_safe_q[0] # !Q1_safe_q[3] & Q1_safe_q[1] # !Q1_safe_q[2] & Q1_safe_q[3];


--E1L71 is ledflash:12|Mux~647
--operation mode is normal

E1L71 = Q1_safe_q[0] & Q1_safe_q[2] & Q1_safe_q[1] & !Q1_safe_q[3] # !Q1_safe_q[2] & Q1_safe_q[3] # !Q1_safe_q[0] & Q1_safe_q[3];


--E1L91 is ledflash:12|Mux~651
--operation mode is normal

E1L91 = Q1_safe_q[4] # Q1_safe_q[2] & Q1_safe_q[0] # Q1_safe_q[1];


--E1L02 is ledflash:12|Mux~654
--operation mode is normal

E1L02 = Q1_safe_q[0] & Q1_safe_q[2] $ Q1_safe_q[4] # !Q1_safe_q[0] & Q1_safe_q[4] & Q1_safe_q[1] # Q1_safe_q[2];


--E1L12 is ledflash:12|Mux~661
--operation mode is normal

E1L12 = Q1_safe_q[2] & Q1_safe_q[0] $ (Q1_safe_q[4]) # !Q1_safe_q[2] & Q1_safe_q[0] & Q1_safe_q[1] & Q1_safe_q[4];


--E1L52 is ledflash:12|Mux~1101
--operation mode is normal

E1L52 = Q1_safe_q[3] & Q1_safe_q[2];


--L2L04 is HEX2DEC:inst5|add~352
--operation mode is arithmetic

L2L04_carry_eqn = L2L93;
L2L04 = D1_var_mm[4] $ (!L2L04_carry_eqn);

--L2L14 is HEX2DEC:inst5|add~352COUT
--operation mode is arithmetic

L2L14 = CARRY(!D1_var_mm[4] & !L2L93);


--L2L35 is HEX2DEC:inst5|add~359
--operation mode is arithmetic

L2L35_carry_eqn = L2L25;
L2L35 = D1_var_mm[4] $ (!L2L35_carry_eqn);

--L2L45 is HEX2DEC:inst5|add~359COUT
--operation mode is arithmetic

L2L45 = CARRY(!D1_var_mm[4] & !L2L25);


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

D1_var_mm[7]_lut_out = D1L54;
D1_var_mm[7] = DFFEAS(D1_var_mm[7]_lut_out, G1_clkout, VCC, , D1L64, , , , );


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

D1_var_mm[6]_lut_out = D1L34;
D1_var_mm[6] = DFFEAS(D1_var_mm[6]_lut_out, G1_clkout, VCC, , D1L64, , , , );


--L2L89 is HEX2DEC:inst5|LessThan~616
--operation mode is normal

L2L89 = !D1_var_mm[7] & !D1_var_mm[6];


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

D1_var_mm[5]_lut_out = D1L14 & D1_var_mm[2] # D1L05 # !D1L74;
D1_var_mm[5] = DFFEAS(D1_var_mm[5]_lut_out, G1_clkout, VCC, , D1L64, , , , );


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

D1_var_mm[2]_lut_out = D1L53 & D1_var_mm[2] # D1L05 # !D1L74;
D1_var_mm[2] = DFFEAS(D1_var_mm[2]_lut_out, G1_clkout, VCC, , D1L64, , , , );


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

D1_var_mm[4]_lut_out = D1L93 & D1_var_mm[2] # D1L05 # !D1L74;
D1_var_mm[4] = DFFEAS(D1_var_mm[4]_lut_out, G1_clkout, VCC, , D1L64, , , , );


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

D1_var_mm[3]_lut_out = D1L73 & D1_var_mm[2] # D1L05 # !D1L74;
D1_var_mm[3] = DFFEAS(D1_var_mm[3]_lut_out, G1_clkout, VCC, , D1L64, , , , );


--L2L99 is HEX2DEC:inst5|LessThan~617
--operation mode is normal

L2L99 = D1_var_mm[4] & D1_var_mm[3];


--L2L001 is HEX2DEC:inst5|LessThan~618
--operation mode is normal

L2L001 = L2L89 & !L2L99 # !D1_var_mm[2] # !D1_var_mm[5];


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

D1_var_mm[1]_lut_out = D1L33;
D1_var_mm[1] = DFFEAS(D1_var_mm[1]_lut_out, G1_clkout, VCC, , D1L64, , , , );


--L2L101 is HEX2DEC:inst5|LessThan~619
--operation mode is normal

L2L101 = !D1_var_mm[3] & !D1_var_mm[2] & !D1_var_mm[1];


--L2L201 is HEX2DEC:inst5|LessThan~620
--operation mode is normal

L2L201 = L2L89 & L2L101 # !D1_var_mm[5] # !D1_var_mm[4];


--L2L06 is HEX2DEC:inst5|add~4391
--operation mode is normal

L2L06 = L2L201 & L2L04 # !L2L201 & L2L35 # !L2L001;


--L2L301 is HEX2DEC:inst5|LessThan~621
--operation mode is normal

L2L301 = !D1_var_mm[7] & !D1_var_mm[6] & !D1_var_mm[5];


--L2L79 is HEX2DEC:inst5|LessThan~325
--operation mode is normal

L2L79 = L2L301 & !L2L99 # !D1_var_mm[1] # !D1_var_mm[2];


--L2L401 is HEX2DEC:inst5|LessThan~622
--operation mode is normal

L2L401 = !D1_var_mm[2] & !D1_var_mm[1];


--L2L501 is HEX2DEC:inst5|LessThan~623
--operation mode is normal

L2L501 = L2L301 & !D1_var_mm[4] & L2L401 # !D1_var_mm[3];


--L2L601 is HEX2DEC:inst5|LessThan~624
--operation mode is normal

L2L601 = L2L301 & !D1_var_mm[3] & !D1_var_mm[2] # !D1_var_mm[4];