iirno.map.eqn

《CPLD_FPGA设计及应用》课件与实例

addyn0a[3] = DFFEA(addyn0a[3]_D_input, !clk, clrsm,  ,  ,  ,  );


--addyn1a[3] is addyn1a[3]
addyn1a[3]_D_input = A1L451;
addyn1a[3] = DFFEA(addyn1a[3]_D_input, !clk, clrsm,  ,  ,  ,  );


--addyn0a[2] is addyn0a[2]
addyn0a[2]_D_input = A1L121;
addyn0a[2] = DFFEA(addyn0a[2]_D_input, !clk, clrsm,  ,  ,  ,  );


--addyn1a[2] is addyn1a[2]
addyn1a[2]_D_input = A1L351;
addyn1a[2] = DFFEA(addyn1a[2]_D_input, !clk, clrsm,  ,  ,  ,  );


--addyn0a[1] is addyn0a[1]
addyn0a[1]_D_input = A1L021;
addyn0a[1] = DFFEA(addyn0a[1]_D_input, !clk, clrsm,  ,  ,  ,  );


--addyn1a[1] is addyn1a[1]
addyn1a[1]_D_input = A1L251;
addyn1a[1] = DFFEA(addyn1a[1]_D_input, !clk, clrsm,  ,  ,  ,  );


--addyn0a[0] is addyn0a[0]
addyn0a[0]_D_input = A1L911;
addyn0a[0] = DFFEA(addyn0a[0]_D_input, !clk, clrsm,  ,  ,  ,  );


--addyn1a[0] is addyn1a[0]
addyn1a[0]_D_input = A1L151;
addyn1a[0] = DFFEA(addyn1a[0]_D_input, !clk, clrsm,  ,  ,  ,  );


--A1L332 is add~50
A1L332_adder_eqn = ( !A1L182 $ !addyn0a[0] $ addyn1a[0] ) + ( GND ) + ( GND );
A1L332 = SUM(A1L332_adder_eqn);

--A1L532 is add~50COUT
A1L532_adder_eqn = ( !A1L182 $ !addyn0a[0] $ addyn1a[0] ) + ( GND ) + ( GND );
A1L532 = CARRY(A1L532_adder_eqn);

--A1L632 is add~50SHAREOUT
A1L632_share_eqn = !A1L182 & addyn0a[0] & addyn1a[0] # A1L182 & (addyn1a[0] # addyn0a[0]);
A1L632 = SHARE(A1L632_share_eqn);


--A1L732 is add~51
A1L732_adder_eqn = ( !A1L582 $ !addyn0a[1] $ addyn1a[1] ) + ( A1L632 ) + ( A1L532 );
A1L732 = SUM(A1L732_adder_eqn);

--A1L932 is add~51COUT
A1L932_adder_eqn = ( !A1L582 $ !addyn0a[1] $ addyn1a[1] ) + ( A1L632 ) + ( A1L532 );
A1L932 = CARRY(A1L932_adder_eqn);

--A1L042 is add~51SHAREOUT
A1L042_share_eqn = !A1L582 & addyn0a[1] & addyn1a[1] # A1L582 & (addyn1a[1] # addyn0a[1]);
A1L042 = SHARE(A1L042_share_eqn);


--A1L142 is add~52
A1L142_adder_eqn = ( !A1L982 $ !addyn0a[2] $ addyn1a[2] ) + ( A1L042 ) + ( A1L932 );
A1L142 = SUM(A1L142_adder_eqn);

--A1L342 is add~52COUT
A1L342_adder_eqn = ( !A1L982 $ !addyn0a[2] $ addyn1a[2] ) + ( A1L042 ) + ( A1L932 );
A1L342 = CARRY(A1L342_adder_eqn);

--A1L442 is add~52SHAREOUT
A1L442_share_eqn = !A1L982 & addyn0a[2] & addyn1a[2] # A1L982 & (addyn1a[2] # addyn0a[2]);
A1L442 = SHARE(A1L442_share_eqn);


--A1L542 is add~53
A1L542_adder_eqn = ( !A1L392 $ !addyn0a[3] $ addyn1a[3] ) + ( A1L442 ) + ( A1L342 );
A1L542 = SUM(A1L542_adder_eqn);

--A1L742 is add~53COUT
A1L742_adder_eqn = ( !A1L392 $ !addyn0a[3] $ addyn1a[3] ) + ( A1L442 ) + ( A1L342 );
A1L742 = CARRY(A1L742_adder_eqn);

--A1L842 is add~53SHAREOUT
A1L842_share_eqn = !A1L392 & addyn0a[3] & addyn1a[3] # A1L392 & (addyn1a[3] # addyn0a[3]);
A1L842 = SHARE(A1L842_share_eqn);


--A1L942 is add~54
A1L942_adder_eqn = ( !A1L792 $ !addyn0a[4] $ addyn1a[4] ) + ( A1L842 ) + ( A1L742 );
A1L942 = SUM(A1L942_adder_eqn);

--A1L152 is add~54COUT
A1L152_adder_eqn = ( !A1L792 $ !addyn0a[4] $ addyn1a[4] ) + ( A1L842 ) + ( A1L742 );
A1L152 = CARRY(A1L152_adder_eqn);

--A1L252 is add~54SHAREOUT
A1L252_share_eqn = !A1L792 & addyn0a[4] & addyn1a[4] # A1L792 & (addyn1a[4] # addyn0a[4]);
A1L252 = SHARE(A1L252_share_eqn);


--A1L352 is add~55
A1L352_adder_eqn = ( !A1L103 $ !addyn0a[5] $ addyn1a[5] ) + ( A1L252 ) + ( A1L152 );
A1L352 = SUM(A1L352_adder_eqn);

--A1L552 is add~55COUT
A1L552_adder_eqn = ( !A1L103 $ !addyn0a[5] $ addyn1a[5] ) + ( A1L252 ) + ( A1L152 );
A1L552 = CARRY(A1L552_adder_eqn);

--A1L652 is add~55SHAREOUT
A1L652_share_eqn = !A1L103 & addyn0a[5] & addyn1a[5] # A1L103 & (addyn1a[5] # addyn0a[5]);
A1L652 = SHARE(A1L652_share_eqn);


--A1L752 is add~56
A1L752_adder_eqn = ( !A1L503 $ !addyn0a[6] $ addyn1a[6] ) + ( A1L652 ) + ( A1L552 );
A1L752 = SUM(A1L752_adder_eqn);

--A1L952 is add~56COUT
A1L952_adder_eqn = ( !A1L503 $ !addyn0a[6] $ addyn1a[6] ) + ( A1L652 ) + ( A1L552 );
A1L952 = CARRY(A1L952_adder_eqn);

--A1L062 is add~56SHAREOUT
A1L062_share_eqn = !A1L503 & addyn0a[6] & addyn1a[6] # A1L503 & (addyn1a[6] # addyn0a[6]);
A1L062 = SHARE(A1L062_share_eqn);


--A1L162 is add~57
A1L162_adder_eqn = ( !A1L903 $ !addyn0a[7] $ addyn1a[7] ) + ( A1L062 ) + ( A1L952 );
A1L162 = SUM(A1L162_adder_eqn);

--A1L362 is add~57COUT
A1L362_adder_eqn = ( !A1L903 $ !addyn0a[7] $ addyn1a[7] ) + ( A1L062 ) + ( A1L952 );
A1L362 = CARRY(A1L362_adder_eqn);

--A1L462 is add~57SHAREOUT
A1L462_share_eqn = !A1L903 & addyn0a[7] & addyn1a[7] # A1L903 & (addyn1a[7] # addyn0a[7]);
A1L462 = SHARE(A1L462_share_eqn);


--A1L562 is add~58
A1L562_adder_eqn = ( !A1L313 $ !addyn0a[8] $ addyn1a[8] ) + ( A1L462 ) + ( A1L362 );
A1L562 = SUM(A1L562_adder_eqn);

--A1L762 is add~58COUT
A1L762_adder_eqn = ( !A1L313 $ !addyn0a[8] $ addyn1a[8] ) + ( A1L462 ) + ( A1L362 );
A1L762 = CARRY(A1L762_adder_eqn);

--A1L862 is add~58SHAREOUT
A1L862_share_eqn = !A1L313 & addyn0a[8] & addyn1a[8] # A1L313 & (addyn1a[8] # addyn0a[8]);
A1L862 = SHARE(A1L862_share_eqn);


--A1L962 is add~59
A1L962_adder_eqn = ( !A1L713 $ !addyn0a[9] $ addyn1a[9] ) + ( A1L862 ) + ( A1L762 );
A1L962 = SUM(A1L962_adder_eqn);

--A1L172 is add~59COUT
A1L172_adder_eqn = ( !A1L713 $ !addyn0a[9] $ addyn1a[9] ) + ( A1L862 ) + ( A1L762 );
A1L172 = CARRY(A1L172_adder_eqn);

--A1L272 is add~59SHAREOUT
A1L272_share_eqn = !A1L713 & addyn0a[9] & addyn1a[9] # A1L713 & (addyn1a[9] # addyn0a[9]);
A1L272 = SHARE(A1L272_share_eqn);


--A1L372 is add~60
A1L372_adder_eqn = ( A1L123 ) + ( A1L272 ) + ( A1L172 );
A1L372 = SUM(A1L372_adder_eqn);

--A1L572 is add~60COUT
A1L572_adder_eqn = ( A1L123 ) + ( A1L272 ) + ( A1L172 );
A1L572 = CARRY(A1L572_adder_eqn);

--A1L672 is add~60SHAREOUT
A1L672_share_eqn = GND;
A1L672 = SHARE(A1L672_share_eqn);


--A1L772 is add~61
A1L772_adder_eqn = ( GND ) + ( A1L672 ) + ( A1L572 );
A1L772 = SUM(A1L772_adder_eqn);


--A1L161 is add~32
A1L161_adder_eqn = ( !A1L332 $ !addxn0a[0] ) + ( GND ) + ( GND );
A1L161 = SUM(A1L161_adder_eqn);

--A1L361 is add~32COUT
A1L361_adder_eqn = ( !A1L332 $ !addxn0a[0] ) + ( GND ) + ( GND );
A1L361 = CARRY(A1L361_adder_eqn);

--A1L461 is add~32SHAREOUT
A1L461_share_eqn = A1L332 & addxn0a[0];
A1L461 = SHARE(A1L461_share_eqn);


--A1L561 is add~33
A1L561_adder_eqn = ( !A1L732 $ !A1L455 $ addxn0a[1] ) + ( A1L461 ) + ( A1L361 );
A1L561 = SUM(A1L561_adder_eqn);

--A1L761 is add~33COUT
A1L761_adder_eqn = ( !A1L732 $ !A1L455 $ addxn0a[1] ) + ( A1L461 ) + ( A1L361 );
A1L761 = CARRY(A1L761_adder_eqn);

--A1L861 is add~33SHAREOUT
A1L861_share_eqn = !A1L732 & A1L455 & addxn0a[1] # A1L732 & (addxn0a[1] # A1L455);
A1L861 = SHARE(A1L861_share_eqn);


--A1L961 is add~34
A1L961_adder_eqn = ( !A1L142 $ !A1L655 $ addxn0a[2] ) + ( A1L861 ) + ( A1L761 );
A1L961 = SUM(A1L961_adder_eqn);

--A1L171 is add~34COUT
A1L171_adder_eqn = ( !A1L142 $ !A1L655 $ addxn0a[2] ) + ( A1L861 ) + ( A1L761 );
A1L171 = CARRY(A1L171_adder_eqn);

--A1L271 is add~34SHAREOUT
A1L271_share_eqn = !A1L142 & A1L655 & addxn0a[2] # A1L142 & (addxn0a[2] # A1L655);
A1L271 = SHARE(A1L271_share_eqn);


--A1L371 is add~35
A1L371_adder_eqn = ( !A1L542 $ !A1L855 $ addxn0a[3] ) + ( A1L271 ) + ( A1L171 );
A1L371 = SUM(A1L371_adder_eqn);

--A1L571 is add~35COUT
A1L571_adder_eqn = ( !A1L542 $ !A1L855 $ addxn0a[3] ) + ( A1L271 ) + ( A1L171 );
A1L571 = CARRY(A1L571_adder_eqn);

--A1L671 is add~35SHAREOUT
A1L671_share_eqn = !A1L542 & A1L855 & addxn0a[3] # A1L542 & (addxn0a[3] # A1L855);
A1L671 = SHARE(A1L671_share_eqn);


--A1L771 is add~36
A1L771_adder_eqn = ( !A1L942 $ !A1L065 $ addxn0a[4] ) + ( A1L671 ) + ( A1L571 );
A1L771 = SUM(A1L771_adder_eqn);

--A1L971 is add~36COUT
A1L971_adder_eqn = ( !A1L942 $ !A1L065 $ addxn0a[4] ) + ( A1L671 ) + ( A1L571 );
A1L971 = CARRY(A1L971_adder_eqn);

--A1L081 is add~36SHAREOUT
A1L081_share_eqn = !A1L942 & A1L065 & addxn0a[4] # A1L942 & (addxn0a[4] # A1L065);
A1L081 = SHARE(A1L081_share_eqn);


--A1L181 is add~37
A1L181_adder_eqn = ( !A1L352 $ !A1L265 $ addxn0a[5] ) + ( A1L081 ) + ( A1L971 );
A1L181 = SUM(A1L181_adder_eqn);

--A1L381 is add~37COUT
A1L381_adder_eqn = ( !A1L352 $ !A1L265 $ addxn0a[5] ) + ( A1L081 ) + ( A1L971 );
A1L381 = CARRY(A1L381_adder_eqn);

--A1L481 is add~37SHAREOUT
A1L481_share_eqn = !A1L352 & A1L265 & addxn0a[5] # A1L352 & (addxn0a[5] # A1L265);
A1L481 = SHARE(A1L481_share_eqn);


--A1L581 is add~38
A1L581_adder_eqn = ( !A1L752 $ !A1L465 $ addxn0a[6] ) + ( A1L481 ) + ( A1L381 );
A1L581 = SUM(A1L581_adder_eqn);

--A1L781 is add~38COUT
A1L781_adder_eqn = ( !A1L752 $ !A1L465 $ addxn0a[6] ) + ( A1L481 ) + ( A1L381 );
A1L781 = CARRY(A1L781_adder_eqn);

--A1L881 is add~38SHAREOUT
A1L881_share_eqn = !A1L752 & A1L465 & addxn0a[6] # A1L752 & (addxn0a[6] # A1L465);
A1L881 = SHARE(A1L881_share_eqn);


--A1L981 is add~39
A1L981_adder_eqn = ( !A1L162 $ !A1L665 $ addxn0a[7] ) + ( A1L881 ) + ( A1L781 );
A1L981 = SUM(A1L981_adder_eqn);

--A1L191 is add~39COUT
A1L191_adder_eqn = ( !A1L162 $ !A1L665 $ addxn0a[7] ) + ( A1L881 ) + ( A1L781 );
A1L191 = CARRY(A1L191_adder_eqn);

--A1L291 is add~39SHAREOUT
A1L291_share_eqn = !A1L162 & A1L665 & addxn0a[7] # A1L162 & (addxn0a[7] # A1L665);
A1L291 = SHARE(A1L291_share_eqn);


--A1L391 is add~40
A1L391_adder_eqn = ( !A1L562 $ !A1L865 $ addxn0a[8] ) + ( A1L291 ) + ( A1L191 );
A1L391 = SUM(A1L391_adder_eqn);

--A1L591 is add~40COUT
A1L591_adder_eqn = ( !A1L562 $ !A1L865 $ addxn0a[8] ) + ( A1L291 ) + ( A1L191 );
A1L591 = CARRY(A1L591_adder_eqn);

--A1L691 is add~40SHAREOUT
A1L691_share_eqn = !A1L562 & A1L865 & addxn0a[8] # A1L562 & (addxn0a[8] # A1L865);
A1L691 = SHARE(A1L691_share_eqn);


--A1L791 is add~41
A1L791_adder_eqn = ( !A1L962 $ !A1L075 $ addxn0a[9] ) + ( A1L691 ) + ( A1L591 );
A1L791 = SUM(A1L791_adder_eqn);

--A1L991 is add~41COUT
A1L991_adder_eqn = ( !A1L962 $ !A1L075 $ addxn0a[9] ) + ( A1L691 ) + ( A1L591 );
A1L991 = CARRY(A1L991_adder_eqn);

--A1L002 is add~41SHAREOUT
A1L002_share_eqn = !A1L962 & A1L075 & addxn0a[9] # A1L962 & (addxn0a[9] # A1L075);
A1L002 = SHARE(A1L002_share_eqn);


--A1L102 is add~42
A1L102_adder_eqn = ( !A1L372 $ !A1L275 ) + ( A1L002 ) + ( A1L991 );
A1L102 = SUM(A1L102_adder_eqn);

--A1L302 is add~42COUT
A1L302_adder_eqn = ( !A1L372 $ !A1L275 ) + ( A1L002 ) + ( A1L991 );
A1L302 = CARRY(A1L302_adder_eqn);

--A1L402 is add~42SHAREOUT
A1L402_share_eqn = A1L372 & A1L275;
A1L402 = SHARE(A1L402_share_eqn);


--A1L502 is add~43
A1L502_adder_eqn = ( !A1L772 $ !A1L475 ) + ( A1L402 ) + ( A1L302 );
A1L502 = SUM(A1L502_adder_eqn);

--A1L702 is add~43COUT
A1L702_adder_eqn = ( !A1L772 $ !A1L475 ) + ( A1L402 ) + ( A1L302 );
A1L702 = CARRY(A1L702_adder_eqn);

--A1L802 is add~43SHAREOUT
A1L802_share_eqn = A1L772 & A1L475;
A1L802 = SHARE(A1L802_share_eqn);


--A1L902 is add~44
A1L902_adder_eqn = ( A1L675 ) + ( A1L802 ) + ( A1L702 );
A1L902 = SUM(A1L902_adder_eqn);

--A1L112 is add~44COUT
A1L112_adder_eqn = ( A1L675 ) + ( A1L802 ) + ( A1L702 );
A1L112 = CARRY(A1L112_adder_eqn);

--A1L212 is add~44SHAREOUT
A1L212_share_eqn = GND;
A1L212 = SHARE(A1L212_share_eqn);


--A1L312 is add~45
A1L312_adder_eqn = ( A1L875 ) + ( A1L212 ) + ( A1L112 );
A1L312 = SUM(A1L312_adder_eqn);

--A1L512 is add~45COUT
A1L512_adder_eqn = ( A1L875 ) + ( A1L212 ) + ( A1L112 );
A1L512 = CARRY(A1L512_adder_eqn);

--A1L612 is add~45SHAREOUT
A1L612_share_eqn = GND;
A1L612 = SHARE(A1L612_share_eqn);


--A1L712 is add~46
A1L712_adder_eqn = ( A1L085 ) + ( A1L612 ) + ( A1L512 );
A1L712 = SUM(A1L712_adder_eqn);

--A1L912 is add~46COUT
A1L912_adder_eqn = ( A1L085 ) + ( A1L612 ) + ( A1L512 );
A1L912 = CARRY(A1L912_adder_eqn);

--A1L022 is add~46SHAREOUT
A1L022_share_eqn = GND;
A1L022 = SHARE(A1L022_share_eqn);


--A1L122 is add~47
A1L122_adder_eqn = ( A1L285 ) + ( A1L022 ) + ( A1L912 );
A1L122 = SUM(A1L122_adder_eqn);

--A1L322 is add~47COUT
A1L322_adder_eqn = ( A1L285 ) + ( A1L022 ) + ( A1L912 );
A1L322 = CARRY(A1L322_adder_eqn);

--A1L422 is add~47SHAREOUT
A1L422_share_eqn = GND;
A1L422 = SHARE(A1L422_share_eqn);


--A1L522 is add~48
A1L522_adder_eqn = ( A1L485 ) + ( A1L422 ) + ( A1L322 );
A1L522 = SUM(A1L522_adder_eqn);

--A1L722 is add~48COUT
A1L722_adder_eqn = ( A1L485 ) + ( A1L422 ) + ( A1L322 );
A1L722 = CARRY(A1L722_adder_eqn);

--A1L822 is add~48SHAREOUT
A1L822_share_eqn = GND;
A1L822 = SHARE(A1L822_share_eqn);


--A1L922 is add~49
A1L922_adder_eqn = ( A1L685 ) + ( A1L822 ) + ( A1L722 );
A1L922 = SUM(A1L922_adder_eqn);


--A1L344 is p2a~58
A1L344 = clr # clk # clken;


--A1L32 is addxn0a~10
A1L32 = regxn0a[9] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L42 is addxn0a~11
A1L42 = regxn0a[8] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L52 is addxn0a~12
A1L52 = regxn0a[7] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L62 is addxn0a~13
A1L62 = regxn0a[6] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L72 is addxn0a~14
A1L72 = regxn0a[5] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L82 is addxn0a~15
A1L82 = regxn0a[4] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L92 is addxn0a~16
A1L92 = regxn0a[3] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L03 is addxn0a~17
A1L03 = regxn0a[2] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L13 is addxn0a~18
A1L13 = regxn0a[1] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L23 is addxn0a~19
A1L23 = regxn0a[0] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L144 is Mux~52
A1L144 = !counterbt[0] & counterbt[1] # counterbt[0] & (!counterbt[1] # counterbt[2]) # counterbt[3];


--A1L55 is addxn1a~10
A1L55 = regxn1a[9] & A1L144;


--A1L65 is addxn1a~11
A1L65 = regxn1a[8] & A1L144;


--A1L75 is addxn1a~12
A1L75 = regxn1a[7] & A1L144;


--A1L85 is addxn1a~13
A1L85 = regxn1a[6] & A1L144;


--A1L95 is addxn1a~14
A1L95 = regxn1a[5] & A1L144;


--A1L06 is addxn1a~15
A1L06 = regxn1a[4] & A1L144;


--A1L16 is addxn1a~16
A1L16 = regxn1a[3] & A1L144;


--A1L26 is addxn1a~17
A1L26 = regxn1a[2] & A1L144;


--A1L36 is addxn1a~18
A1L36 = regxn1a[1] & A1L144;


--A1L46 is addxn1a~19
A1L46 = regxn1a[0] & A1L144;


--A1L78 is addxn2a~10
A1L78 = regxn2a[9] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L88 is addxn2a~11
A1L88 = regxn2a[8] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L98 is addxn2a~12
A1L98 = regxn2a[7] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L09 is addxn2a~13
A1L09 = regxn2a[6] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L19 is addxn2a~14
A1L19 = regxn2a[5] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L29 is addxn2a~15
A1L29 = regxn2a[4] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L39 is addxn2a~16
A1L39 = regxn2a[3] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L49 is addxn2a~17
A1L49 = regxn2a[2] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L59 is addxn2a~18
A1L59 = regxn2a[1] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L69 is addxn2a~19
A1L69 = regxn2a[0] & (!counterbt[2] & counterbt[1] # counterbt[2] & !counterbt[1] & !counterbt[0]);


--A1L061 is addyn1a~19
A1L061 = regyn1a[9] & (!counterbt[2] & (!counterbt[1] # counterbt[0]) # counterbt[2] & !counterbt[0]);


--A1L951 is addyn1a~18
A1L951 = regyn1a[8] & (!counterbt[2] & (!counterbt[1] # counterbt[0]) # counterbt[2] & !counterbt[0]);


--A1L851 is addyn1a~17
A1L851 = regyn1a[7] & (!counterbt[2] & (!counterbt[1] # counterbt[0]) # counterbt[2] & !counterbt[0]);


--A1L751 is addyn1a~16
A1L751 = regyn1a[6] & (!counterbt[2] & (!counterbt[1] # counterbt[0]) # counterbt[2] & !counterbt[0]);


--A1L651 is addyn1a~15
A1L651 = regyn1a[5] & (!counterbt[2] & (!counterbt[1] # counterbt[0]) # counterbt[2] & !counterbt[0]);


--A1L551 is addyn1a~14
A1L551 = regyn1a[4] & (!counterbt[2] & (!counterbt[1] # counterbt[0]) # counterbt[2] & !counterbt[0]);


--A1L451 is addyn1a~13
A1L451 = regyn1a[3] & (!counterbt[2] & (!counterbt[1] # counterbt[0]) # counterbt[2] & !counterbt[0]);


--A1L351 is addyn1a~12
A1L351 = regyn1a[2] & (!counterbt[2] & (!counterbt[1] # counterbt[0]) # counterbt[2] & !counterbt[0]);


--A1L251 is addyn1a~11
A1L251 = regyn1a[1] & (!counterbt[2] & (!counterbt[1] # counterbt[0]) # counterbt[2] & !counterbt[0]);


--A1L151 is addyn1a~10
A1L151 = regyn1a[0] & (!counterbt[2] & (!counterbt[1] # counterbt[0]) # counterbt[2] & !counterbt[0]);


--A1L943 is counterbt~259
A1L943 = !C1_safe_q[3] # !C1_safe_q[1] # C1_safe_q[0] # C1_safe_q[2];


--A1L685 is resulta[17]~1281
A1L685 = LCELL(!A1L033 & A1L936 # A1L033 & A1L685 & !clr);


--A1L485 is resulta[16]~1282
A1L485 = LCELL(!A1L033 & A1L736 # A1L033 & A1L485 & !clr);


--A1L285 is resulta[15]~1283
A1L285 = LCELL(!A1L033 & A1L536 # A1L033 & A1L285 & !clr);


--A1L085 is resulta[14]~1284
A1L085 = LCELL(!A1L033 & A1L336 # A1L033 & A1L085 & !clr);


--A1L875 is resulta[13]~1285
A1L875 = LCELL(!A1L033 & A1L136 # A1L033 & A1L875 & !clr);


--A1L675 is resulta[12]~1286
A1L675 = LCELL(!A1L033 & A1L926 # A1L033 & A1L675 & !clr);


--A1L475 is resulta[11]~1287
A1L475 = LCELL(!A1L033 & A1L726 # A1L033 & A1L475 & !clr);


--A1L275 is resulta[10]~1288
A1L275 = LCELL(!A1L033 & A1L526 # A1L033 & A1L275 & !clr);


--A1L075 is resulta[9]~1289
A1L075 = LCELL(!A1L033 & A1L326 # A1L033 & A1L075 & !clr);


--A1L865 is resulta[8]~1290
A1L865 = LCELL(!A1L033 & A1L126 # A1L033 & A1L865 & !clr);


--A1L665 is resulta[7]~1291
A1L665 = LCELL(!A1L033 & A1L916 # A1L033 & A1L665 & !clr);


--A1L465 is resulta[6]~1292
A1L465 = LCELL(!A1L033 & A1L716 # A1L033 & A1L465 & !clr);


--A1L265 is resulta[5]~1293
A1L265 = LCELL(!A1L033 & A1L516 # A1L033 & A1L265 & !clr);


--A1L065 is resulta[4]~1294
A1L065 = LCELL(!A1L033 & A1L316 # A1L033 & A1L065 & !clr);


--A1L855 is resulta[3]~1295
A1L855 = LCELL(!A1L033 & A1L116 # A1L033 & A1L855 & !clr);


--A1L655 is resulta[2]~1296
A1L655 = LCELL(!A1L033 & A1L906 # A1L033 & A1L655 & !clr);


--A1L455 is resulta[1]~1297
A1L455 = LCELL(!A1L033 & A1L706 # A1L033 & A1L455 & !clr);


--A1L146 is suma[17]~1134
A1L146 = LCELL(!A1L033 & A1L146 & A1L344 # A1L033 & A1L922);


--A1L936 is suma[16]~1135
A1L936 = LCELL(!A1L033 & A1L936 & A1L344 # A1L033 & A1L522);


--A1L736 is suma[15]~1136
A1L736 = LCELL(!A1L033 & A1L736 & A1L344 # A1L033 & A1L122);


--A1L536 is suma[14]~1137
A1L536 = LCELL(!A1L033 & A1L536 & A1L344 # A1L033 & A1L712);