dianzhen.map.eqn

实现一个10秒倒计时电路

A1L781 = A1L922Q & (!A1L132Q & !A1L332Q # !A1L532Q);


--A1L881 is Mux~2479
--operation mode is normal

A1L881 = A1L681 & !q2[2] & A1L202 & A1L781 # !A1L681 & (A1L781 # !q2[2] & A1L202);


--A1L981 is Mux~2480
--operation mode is normal

A1L981 = A1L681 & q2[2] & (!A1L781 # !A1L202) # !A1L681 & A1L781;


--A1L402 is Mux~2747
--operation mode is normal

A1L402 = q2[0] & q2[2] & q2[1] # !q2[0] & !q2[2] & !q2[1];


--A1L502 is Mux~2748
--operation mode is normal

A1L502 = A1L132Q & A1L922Q & A1L402 # !A1L132Q & A1L302;


--A1L602 is Mux~2749
--operation mode is normal

A1L602 = A1L132Q & A1L281 & A1L922Q # !A1L132Q & !A1L922Q & A1L381;


--A1L1 is add~14
--operation mode is normal

A1L1 = A1L132Q $ A1L922Q;


--A1L702 is Mux~2750
--operation mode is normal

A1L702 = A1L132Q & A1L302 # !A1L132Q & A1L402 & !A1L922Q;


--A1L481 is Mux~193
--operation mode is normal

A1L481 = A1L332Q & (A1L532Q # A1L002) # !A1L332Q & !A1L532Q & A1L702;


--A1L802 is Mux~2751
--operation mode is normal

A1L802 = A1L132Q & (A1L402 # !A1L922Q) # !A1L132Q & A1L302;


--A1L091 is Mux~2636
--operation mode is normal

A1L091 = A1L132Q & !A1L922Q & (!A1L402 # !A1L532Q);


--A1L191 is Mux~2643
--operation mode is normal

A1L191 = q2[2] & !A1L332Q & (!A1L102 # !q2[1]) # !q2[2] & A1L332Q & A1L102;


--A1L181 is Mux~44
--operation mode is normal

A1L181 = A1L532Q & (A1L332Q # A1L922Q & A1L132Q) # !A1L532Q & !A1L922Q & !A1L132Q & !A1L332Q;


--A1L3 is add~24
--operation mode is normal

A1L3 = A1L532Q $ (A1L332Q # A1L132Q # A1L922Q);


--A1L902 is Mux~2753
--operation mode is normal

A1L902 = !A1L132Q & !A1L922Q;


--A1L012 is Mux~2754
--operation mode is normal

A1L012 = countbutton & (A1L532Q # A1L332Q # !A1L902);


--A1L291 is Mux~2645
--operation mode is normal

A1L291 = A1L712Q & (A1L512Q # !A1L122Q) # !A1L712Q & A1L512Q & !A1L122Q;


--A1L391 is Mux~2652
--operation mode is normal

A1L391 = A1L912Q & (A1L012 # A1L122Q) # !A1L912Q & A1L291 & (A1L012 # A1L122Q);


--A1L2 is add~19
--operation mode is normal

A1L2 = A1L332Q $ (A1L132Q # A1L922Q);


--A1L112 is Mux~2755
--operation mode is normal

A1L112 = A1L912Q & !A1L122Q & (!A1L2 # !countbutton);


--A1L212 is Mux~2756
--operation mode is normal

A1L212 = A1L122Q & !A1L912Q & (!A1L512Q # !A1L712Q) # !A1L122Q & (A1L712Q # A1L512Q);


--A1L691 is Mux~2705
--operation mode is normal

A1L691 = A1L712Q & (!A1L912Q & !A1L512Q # !A1L122Q);


--A1L491 is Mux~2687
--operation mode is normal

A1L491 = A1L132Q $ A1L922Q;


--A1L591 is Mux~2704
--operation mode is normal

A1L591 = A1L912Q & !A1L122Q & !A1L712Q # !A1L912Q & (A1L512Q & !A1L712Q # !A1L512Q & A1L122Q);


--A1L791 is Mux~2711
--operation mode is normal

A1L791 = A1L591 & (A1L1 $ !A1L691) # !A1L591 & A1L491 & A1L691;


--A1L891 is Mux~2720
--operation mode is normal

A1L891 = A1L012 & (A1L922Q $ !A1L512Q) # !A1L012 & A1L922Q & A1L512Q;


--A1L991 is Mux~2727
--operation mode is normal

A1L991 = A1L912Q & (A1L122Q $ !A1L512Q) # !A1L912Q & (A1L712Q & (A1L122Q # !A1L512Q) # !A1L712Q & A1L122Q & !A1L512Q);


--A1L222Q is press~0
--operation mode is normal

A1L222Q_lut_out = A1L122Q $ (!A1L912Q & !A1L712Q & !A1L512Q);
A1L222Q = DFFEA(A1L222Q_lut_out, statebutton, VCC, , , , );


--A1L322Q is press~5
--operation mode is normal

A1L322Q_lut_out = A1L912Q & (A1L712Q # A1L512Q) # !A1L912Q & !A1L712Q & !A1L512Q & A1L122Q;
A1L322Q = DFFEA(A1L322Q_lut_out, statebutton, VCC, , , , );


--A1L422Q is press~6
--operation mode is normal

A1L422Q_lut_out = A1L712Q $ !A1L512Q;
A1L422Q = DFFEA(A1L422Q_lut_out, statebutton, VCC, , , , );


--A1L522Q is press~7
--operation mode is normal

A1L522Q_lut_out = !A1L512Q & (A1L122Q # A1L912Q # A1L712Q);
A1L522Q = DFFEA(A1L522Q_lut_out, statebutton, VCC, , , , );


--A1L963Q is state~77
--operation mode is normal

A1L963Q_lut_out = A1L863Q & (A1L963Q # flag1[0]) # !A1L863Q & A1L963Q & !flag1[0];
A1L963Q = DFFEA(A1L963Q_lut_out, A1L741Q, VCC, , , , );


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

flag1[0]_lut_out = A1L181;
flag1[0] = DFFEA(flag1[0]_lut_out, A1L541Q, VCC, , , , );


--A1L863Q is state~76
--operation mode is normal

A1L863Q_lut_out = A1L763Q & (A1L863Q # flag1[0]) # !A1L763Q & A1L863Q & !flag1[0];
A1L863Q = DFFEA(A1L863Q_lut_out, A1L741Q, VCC, , , , );


--A1L073Q is state~78
--operation mode is normal

A1L073Q_lut_out = A1L963Q & (A1L073Q # flag1[0]) # !A1L963Q & A1L073Q & !flag1[0];
A1L073Q = DFFEA(A1L073Q_lut_out, A1L741Q, VCC, , , , );


--A1L273Q is state~80
--operation mode is normal

A1L273Q_lut_out = A1L173Q & (A1L273Q # flag1[0]) # !A1L173Q & A1L273Q & !flag1[0];
A1L273Q = DFFEA(A1L273Q_lut_out, A1L741Q, VCC, , , , );


--A1L373Q is state~81
--operation mode is normal

A1L373Q_lut_out = A1L273Q & (A1L373Q # flag1[0]) # !A1L273Q & A1L373Q & !flag1[0];
A1L373Q = DFFEA(A1L373Q_lut_out, A1L741Q, VCC, , , , );


--A1L663Q is state~74
--operation mode is normal

A1L663Q_lut_out = A1L373Q & !flag1[0] & A1L663Q # !A1L373Q & (flag1[0] # A1L663Q);
A1L663Q = DFFEA(A1L663Q_lut_out, A1L741Q, VCC, , , , );


--A1L03 is add~77
--operation mode is arithmetic

A1L03_carry_eqn = A1L92;
A1L03 = qtemp[13] $ A1L03_carry_eqn;

--A1L13 is add~77COUT
--operation mode is arithmetic

A1L13 = CARRY(!A1L92 # !qtemp[13]);


--A1L82 is add~76
--operation mode is arithmetic

A1L82_carry_eqn = A1L72;
A1L82 = qtemp[12] $ !A1L82_carry_eqn;

--A1L92 is add~76COUT
--operation mode is arithmetic

A1L92 = CARRY(qtemp[12] & !A1L72);


--A1L62 is add~75
--operation mode is arithmetic

A1L62_carry_eqn = A1L52;
A1L62 = qtemp[11] $ A1L62_carry_eqn;

--A1L72 is add~75COUT
--operation mode is arithmetic

A1L72 = CARRY(!A1L52 # !qtemp[11]);


--A1L42 is add~74
--operation mode is arithmetic

A1L42_carry_eqn = A1L32;
A1L42 = qtemp[10] $ !A1L42_carry_eqn;

--A1L52 is add~74COUT
--operation mode is arithmetic

A1L52 = CARRY(qtemp[10] & !A1L32);


--A1L81 is add~71
--operation mode is arithmetic

A1L81_carry_eqn = A1L71;
A1L81 = qtemp[7] $ A1L81_carry_eqn;

--A1L91 is add~71COUT
--operation mode is arithmetic

A1L91 = CARRY(!A1L71 # !qtemp[7]);


--A1L41 is add~69
--operation mode is arithmetic

A1L41_carry_eqn = A1L31;
A1L41 = qtemp[5] $ A1L41_carry_eqn;

--A1L51 is add~69COUT
--operation mode is arithmetic

A1L51 = CARRY(!A1L31 # !qtemp[5]);


--A1L21 is add~68
--operation mode is arithmetic

A1L21_carry_eqn = A1L11;
A1L21 = qtemp[4] $ !A1L21_carry_eqn;

--A1L31 is add~68COUT
--operation mode is arithmetic

A1L31 = CARRY(qtemp[4] & !A1L11);


--A1L01 is add~67
--operation mode is arithmetic

A1L01_carry_eqn = A1L9;
A1L01 = qtemp[3] $ A1L01_carry_eqn;

--A1L11 is add~67COUT
--operation mode is arithmetic

A1L11 = CARRY(!A1L9 # !qtemp[3]);


--A1L8 is add~66
--operation mode is arithmetic

A1L8_carry_eqn = A1L7;
A1L8 = qtemp[2] $ !A1L8_carry_eqn;

--A1L9 is add~66COUT
--operation mode is arithmetic

A1L9 = CARRY(qtemp[2] & !A1L7);


--A1L6 is add~65
--operation mode is arithmetic

A1L6_carry_eqn = A1L5;
A1L6 = qtemp[1] $ A1L6_carry_eqn;

--A1L7 is add~65COUT
--operation mode is arithmetic

A1L7 = CARRY(!A1L5 # !qtemp[1]);


--A1L4 is add~64
--operation mode is arithmetic

A1L4 = !qtemp[0];

--A1L5 is add~64COUT
--operation mode is arithmetic

A1L5 = CARRY(qtemp[0]);


--A1L61 is add~70
--operation mode is arithmetic

A1L61_carry_eqn = A1L51;
A1L61 = qtemp[6] $ !A1L61_carry_eqn;

--A1L71 is add~70COUT
--operation mode is arithmetic

A1L71 = CARRY(qtemp[6] & !A1L51);


--A1L22 is add~73
--operation mode is arithmetic

A1L22_carry_eqn = A1L12;
A1L22 = qtemp[9] $ A1L22_carry_eqn;

--A1L32 is add~73COUT
--operation mode is arithmetic

A1L32 = CARRY(!A1L12 # !qtemp[9]);


--A1L02 is add~72
--operation mode is arithmetic

A1L02_carry_eqn = A1L91;
A1L02 = qtemp[8] $ !A1L02_carry_eqn;

--A1L12 is add~72COUT
--operation mode is arithmetic

A1L12 = CARRY(qtemp[8] & !A1L91);


--A1L43 is add~79
--operation mode is normal

A1L43_carry_eqn = A1L33;
A1L43 = qtemp[15] $ A1L43_carry_eqn;


--A1L23 is add~78
--operation mode is arithmetic

A1L23_carry_eqn = A1L13;
A1L23 = qtemp[14] $ !A1L23_carry_eqn;

--A1L33 is add~78COUT
--operation mode is arithmetic

A1L33 = CARRY(qtemp[14] & !A1L13);


--A1L34 is add~84
--operation mode is arithmetic

A1L34_carry_eqn = A1L24;
A1L34 = qtemp2[4] $ !A1L34_carry_eqn;

--A1L44 is add~84COUT
--operation mode is arithmetic

A1L44 = CARRY(qtemp2[4] & !A1L24);


--A1L14 is add~83
--operation mode is arithmetic

A1L14_carry_eqn = A1L04;
A1L14 = qtemp2[3] $ A1L14_carry_eqn;

--A1L24 is add~83COUT
--operation mode is arithmetic

A1L24 = CARRY(!A1L04 # !qtemp2[3]);


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

qtemp2[0]_lut_out = A1L53 & (qtemp2[0] # A1L633 # !A1L133);
qtemp2[0] = DFFEA(qtemp2[0]_lut_out, A1L541Q, VCC, , , , );


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

qtemp2[2]_lut_out = A1L93;
qtemp2[2] = DFFEA(qtemp2[2]_lut_out, A1L541Q, VCC, , , , );


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

qtemp2[1]_lut_out = A1L73;
qtemp2[1] = DFFEA(qtemp2[1]_lut_out, A1L541Q, VCC, , , , );


--A1L633 is reduce_nor~386
--operation mode is normal

A1L633 = qtemp2[4] # qtemp2[2] # qtemp2[1] # !qtemp2[3];


--A1L54 is add~85
--operation mode is arithmetic

A1L54_carry_eqn = A1L44;
A1L54 = qtemp2[5] $ A1L54_carry_eqn;

--A1L64 is add~85COUT
--operation mode is arithmetic

A1L64 = CARRY(!A1L44 # !qtemp2[5]);


--A1L35 is add~89
--operation mode is normal

A1L35_carry_eqn = A1L25;
A1L35 = qtemp2[9] $ A1L35_carry_eqn;


--A1L15 is add~88
--operation mode is arithmetic

A1L15_carry_eqn = A1L05;
A1L15 = qtemp2[8] $ !A1L15_carry_eqn;

--A1L25 is add~88COUT
--operation mode is arithmetic

A1L25 = CARRY(qtemp2[8] & !A1L05);


--A1L94 is add~87
--operation mode is arithmetic

A1L94_carry_eqn = A1L84;
A1L94 = qtemp2[7] $ A1L94_carry_eqn;

--A1L05 is add~87COUT
--operation mode is arithmetic

A1L05 = CARRY(!A1L84 # !qtemp2[7]);


--A1L74 is add~86
--operation mode is arithmetic

A1L74_carry_eqn = A1L64;
A1L74 = qtemp2[6] $ !A1L74_carry_eqn;

--A1L84 is add~86COUT
--operation mode is arithmetic

A1L84 = CARRY(qtemp2[6] & !A1L64);


--A1L07 is add~98
--operation mode is arithmetic

A1L07_carry_eqn = A1L96;
A1L07 = qtemp3[8] $ !A1L07_carry_eqn;

--A1L17 is add~98COUT
--operation mode is arithmetic

A1L17 = CARRY(qtemp3[8] & !A1L96);


--A1L86 is add~97
--operation mode is arithmetic

A1L86_carry_eqn = A1L76;
A1L86 = qtemp3[7] $ A1L86_carry_eqn;

--A1L96 is add~97COUT
--operation mode is arithmetic

A1L96 = CARRY(!A1L76 # !qtemp3[7]);


--A1L66 is add~96
--operation mode is arithmetic

A1L66_carry_eqn = A1L56;
A1L66 = qtemp3[6] $ !A1L66_carry_eqn;

--A1L76 is add~96COUT
--operation mode is arithmetic

A1L76 = CARRY(qtemp3[6] & !A1L56);


--A1L46 is add~95
--operation mode is arithmetic

A1L46_carry_eqn = A1L36;
A1L46 = qtemp3[5] $ A1L46_carry_eqn;

--A1L56 is add~95COUT
--operation mode is arithmetic

A1L56 = CARRY(!A1L36 # !qtemp3[5]);


--A1L733 is reduce_nor~387
--operation mode is normal

A1L733 = !A1L233 # !A1L271 # !qtemp3[5] # !qtemp3[14];


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

qtemp3[4]_lut_out = A1L26;
qtemp3[4] = DFFEA(qtemp3[4]_lut_out, clk, VCC, , , , );


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

qtemp3[3]_lut_out = A1L06;
qtemp3[3] = DFFEA(qtemp3[3]_lut_out, clk, VCC, , , , );


--A1L833 is reduce_nor~388
--operation mode is normal

A1L833 = qtemp3[13] # qtemp3[12] # qtemp3[4] # qtemp3[3];


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

qtemp3[2]_lut_out = A1L85;
qtemp3[2] = DFFEA(qtemp3[2]_lut_out, clk, VCC, , , , );


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

qtemp3[1]_lut_out = A1L65;
qtemp3[1] = DFFEA(qtemp3[1]_lut_out, clk, VCC, , , , );


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

qtemp3[0]_lut_out = A1L45 & (A1L733 # A1L933);
qtemp3[0] = DFFEA(qtemp3[0]_lut_out, clk, VCC, , , , );


--A1L933 is reduce_nor~389
--operation mode is normal

A1L933 = A1L833 # qtemp3[2] # qtemp3[1] # qtemp3[0];


--A1L67 is add~101
--operation mode is arithmetic

A1L67_carry_eqn = A1L57;
A1L67 = qtemp3[11] $ A1L67_carry_eqn;

--A1L77 is add~101COUT
--operation mode is arithmetic

A1L77 = CARRY(!A1L57 # !qtemp3[11]);


--A1L47 is add~100
--operation mode is arithmetic

A1L47_carry_eqn = A1L37;
A1L47 = qtemp3[10] $ !A1L47_carry_eqn;

--A1L57 is add~100COUT
--operation mode is arithmetic

A1L57 = CARRY(qtemp3[10] & !A1L37);


--A1L27 is add~99
--operation mode is arithmetic

A1L27_carry_eqn = A1L17;
A1L27 = qtemp3[9] $ A1L27_carry_eqn;

--A1L37 is add~99COUT
--operation mode is arithmetic

A1L37 = CARRY(!A1L17 # !qtemp3[9]);


--A1L08 is add~103
--operation mode is arithmetic

A1L08_carry_eqn = A1L97;
A1L08 = qtemp3[13] $ A1L08_carry_eqn;

--A1L18 is add~103COUT
--operation mode is arithmetic

A1L18 = CARRY(!A1L97 # !qtemp3[13]);


--A1L87 is add~102
--operation mode is arithmetic

A1L87_carry_eqn = A1L77;
A1L87 = qtemp3[12] $ !A1L87_carry_eqn;

--A1L97 is add~102COUT
--operation mode is arithmetic

A1L97 = CARRY(qtemp3[12] & !A1L77);


--A1L28 is add~104
--operation mode is normal

A1L28_carry_eqn = A1L18;
A1L28 = qtemp3[14] $ !A1L28_carry_eqn;


--A1L931 is add~133
--operation mode is arithmetic

A1L931_carry_eqn = A1L831;
A1L931 = qtemp4[28] $ !A1L931_carry_eqn;

--A1L041 is add~133COUT
--operation mode is arithmetic

A1L041 = CARRY(qtemp4[28] & !A1L831);


--A1L531 is add~131
--operation mode is arithmetic

A1L531_carry_eqn = A1L431;
A1L531 = qtemp4[26] $ !A1L531_carry_eqn;

--A1L631 is add~131COUT
--operation mode is arithmetic

A1L631 = CARRY(qtemp4[26] & !A1L431);


--A1L331 is add~130
--operation mode is arithmetic

A1L331_carry_eqn = A1L231;
A1L331 = qtemp4[25] $ A1L331_carry_eqn;

--A1L431 is add~130COUT
--operation mode is arithmetic

A1L431 = CARRY(!A1L231 # !qtemp4[25]);


--A1L721 is add~127
--operation mode is arithmetic

A1L721_carry_eqn = A1L621;
A1L721 = qtemp4[22] $ !A1L721_carry_eqn;

--A1L821 is add~127COUT
--operation mode is arithmetic

A1L821 = CARRY(qtemp4[22] & !A1L621);


--A1L521 is add~126
--operation mode is arithmetic

A1L521_carry_eqn = A1L421;
A1L521 = qtemp4[21] $ A1L521_carry_eqn;

--A1L621 is add~126COUT
--operation mode is arithmetic

A1L621 = CARRY(!A1L421 # !qtemp4[21]);


--A1L043 is reduce_nor~390
--operation mode is normal

A1L043 = !qtemp4[29] # !A1L871 # !A1L533;


--A1L143 is reduce_nor~391
--operation mode is normal

A1L143 = !qtemp4[27] # !qtemp4[23] # !qtemp4[24] # !qtemp4[13];