pd.map.eqn

using judgement on average power overflow or too small to implement the protection on amplifier

--F1L1 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~815
F1L1 = B1_squ2temp[0] & (B1_squ1temp[0] $ VCC) # !B1_squ2temp[0] & B1_squ1temp[0] & VCC;

--F1L2 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~816
F1L2 = CARRY(B1_squ2temp[0] & B1_squ1temp[0]);


--F1L3 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~817
F1L3 = B1_squ2temp[1] & (B1_squ1temp[1] & F1L2 & VCC # !B1_squ1temp[1] & !F1L2) # !B1_squ2temp[1] & (B1_squ1temp[1] & !F1L2 # !B1_squ1temp[1] & (F1L2 # GND));

--F1L4 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~818
F1L4 = CARRY(B1_squ2temp[1] & !B1_squ1temp[1] & !F1L2 # !B1_squ2temp[1] & (!F1L2 # !B1_squ1temp[1]));


--F1L5 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~819
F1L5 = (B1_squ2temp[2] $ B1_squ1temp[2] $ !F1L4) # GND;

--F1L6 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~820
F1L6 = CARRY(B1_squ2temp[2] & (B1_squ1temp[2] # !F1L4) # !B1_squ2temp[2] & B1_squ1temp[2] & !F1L4);


--F1L7 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~821
F1L7 = B1_squ2temp[3] & (B1_squ1temp[3] & F1L6 & VCC # !B1_squ1temp[3] & !F1L6) # !B1_squ2temp[3] & (B1_squ1temp[3] & !F1L6 # !B1_squ1temp[3] & (F1L6 # GND));

--F1L8 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~822
F1L8 = CARRY(B1_squ2temp[3] & !B1_squ1temp[3] & !F1L6 # !B1_squ2temp[3] & (!F1L6 # !B1_squ1temp[3]));


--F1L9 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~823
F1L9 = (B1_squ2temp[4] $ B1_squ1temp[4] $ !F1L8) # GND;

--F1L10 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~824
F1L10 = CARRY(B1_squ2temp[4] & (B1_squ1temp[4] # !F1L8) # !B1_squ2temp[4] & B1_squ1temp[4] & !F1L8);


--F1L11 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~825
F1L11 = B1_squ2temp[5] & (B1_squ1temp[5] & F1L10 & VCC # !B1_squ1temp[5] & !F1L10) # !B1_squ2temp[5] & (B1_squ1temp[5] & !F1L10 # !B1_squ1temp[5] & (F1L10 # GND));

--F1L12 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~826
F1L12 = CARRY(B1_squ2temp[5] & !B1_squ1temp[5] & !F1L10 # !B1_squ2temp[5] & (!F1L10 # !B1_squ1temp[5]));


--F1L13 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~827
F1L13 = (B1_squ2temp[6] $ B1_squ1temp[6] $ !F1L12) # GND;

--F1L14 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~828
F1L14 = CARRY(B1_squ2temp[6] & (B1_squ1temp[6] # !F1L12) # !B1_squ2temp[6] & B1_squ1temp[6] & !F1L12);


--F1L15 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~829
F1L15 = B1_squ2temp[7] & (B1_squ1temp[7] & F1L14 & VCC # !B1_squ1temp[7] & !F1L14) # !B1_squ2temp[7] & (B1_squ1temp[7] & !F1L14 # !B1_squ1temp[7] & (F1L14 # GND));

--F1L16 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~830
F1L16 = CARRY(B1_squ2temp[7] & !B1_squ1temp[7] & !F1L14 # !B1_squ2temp[7] & (!F1L14 # !B1_squ1temp[7]));


--F1L17 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~831
F1L17 = (B1_squ2temp[8] $ B1_squ1temp[8] $ !F1L16) # GND;

--F1L18 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~832
F1L18 = CARRY(B1_squ2temp[8] & (B1_squ1temp[8] # !F1L16) # !B1_squ2temp[8] & B1_squ1temp[8] & !F1L16);


--F1L19 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~833
F1L19 = B1_squ2temp[9] & (B1_squ1temp[9] & F1L18 & VCC # !B1_squ1temp[9] & !F1L18) # !B1_squ2temp[9] & (B1_squ1temp[9] & !F1L18 # !B1_squ1temp[9] & (F1L18 # GND));

--F1L20 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~834
F1L20 = CARRY(B1_squ2temp[9] & !B1_squ1temp[9] & !F1L18 # !B1_squ2temp[9] & (!F1L18 # !B1_squ1temp[9]));


--F1L21 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~835
F1L21 = (B1_squ2temp[10] $ B1_squ1temp[10] $ !F1L20) # GND;

--F1L22 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~836
F1L22 = CARRY(B1_squ2temp[10] & (B1_squ1temp[10] # !F1L20) # !B1_squ2temp[10] & B1_squ1temp[10] & !F1L20);


--F1L23 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~837
F1L23 = B1_squ2temp[11] & (B1_squ1temp[11] & F1L22 & VCC # !B1_squ1temp[11] & !F1L22) # !B1_squ2temp[11] & (B1_squ1temp[11] & !F1L22 # !B1_squ1temp[11] & (F1L22 # GND));

--F1L24 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~838
F1L24 = CARRY(B1_squ2temp[11] & !B1_squ1temp[11] & !F1L22 # !B1_squ2temp[11] & (!F1L22 # !B1_squ1temp[11]));


--F1L25 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~839
F1L25 = (B1_squ2temp[12] $ B1_squ1temp[12] $ !F1L24) # GND;

--F1L26 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~840
F1L26 = CARRY(B1_squ2temp[12] & (B1_squ1temp[12] # !F1L24) # !B1_squ2temp[12] & B1_squ1temp[12] & !F1L24);


--F1L27 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~841
F1L27 = B1_squ2temp[13] & (B1_squ1temp[13] & F1L26 & VCC # !B1_squ1temp[13] & !F1L26) # !B1_squ2temp[13] & (B1_squ1temp[13] & !F1L26 # !B1_squ1temp[13] & (F1L26 # GND));

--F1L28 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~842
F1L28 = CARRY(B1_squ2temp[13] & !B1_squ1temp[13] & !F1L26 # !B1_squ2temp[13] & (!F1L26 # !B1_squ1temp[13]));


--F1L29 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~843
F1L29 = (B1_squ2temp[14] $ B1_squ1temp[14] $ !F1L28) # GND;

--F1L30 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~844
F1L30 = CARRY(B1_squ2temp[14] & (B1_squ1temp[14] # !F1L28) # !B1_squ2temp[14] & B1_squ1temp[14] & !F1L28);


--F1L31 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~845
F1L31 = B1_squ2temp[15] & (B1_squ1temp[15] & F1L30 & VCC # !B1_squ1temp[15] & !F1L30) # !B1_squ2temp[15] & (B1_squ1temp[15] & !F1L30 # !B1_squ1temp[15] & (F1L30 # GND));

--F1L32 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~846
F1L32 = CARRY(B1_squ2temp[15] & !B1_squ1temp[15] & !F1L30 # !B1_squ2temp[15] & (!F1L30 # !B1_squ1temp[15]));


--F1L33 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~847
F1L33 = (B1_squ2temp[16] $ B1_squ1temp[16] $ !F1L32) # GND;

--F1L34 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~848
F1L34 = CARRY(B1_squ2temp[16] & (B1_squ1temp[16] # !F1L32) # !B1_squ2temp[16] & B1_squ1temp[16] & !F1L32);


--F1L35 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~849
F1L35 = B1_squ2temp[17] & (B1_squ1temp[17] & F1L34 & VCC # !B1_squ1temp[17] & !F1L34) # !B1_squ2temp[17] & (B1_squ1temp[17] & !F1L34 # !B1_squ1temp[17] & (F1L34 # GND));

--F1L36 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~850
F1L36 = CARRY(B1_squ2temp[17] & !B1_squ1temp[17] & !F1L34 # !B1_squ2temp[17] & (!F1L34 # !B1_squ1temp[17]));


--F1L37 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~851
F1L37 = (B1_squ2temp[18] $ B1_squ1temp[18] $ !F1L36) # GND;

--F1L38 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~852
F1L38 = CARRY(B1_squ2temp[18] & (B1_squ1temp[18] # !F1L36) # !B1_squ2temp[18] & B1_squ1temp[18] & !F1L36);


--F1L39 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~853
F1L39 = B1_squ2temp[19] & (B1_squ1temp[19] & F1L38 & VCC # !B1_squ1temp[19] & !F1L38) # !B1_squ2temp[19] & (B1_squ1temp[19] & !F1L38 # !B1_squ1temp[19] & (F1L38 # GND));

--F1L40 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~854
F1L40 = CARRY(B1_squ2temp[19] & !B1_squ1temp[19] & !F1L38 # !B1_squ2temp[19] & (!F1L38 # !B1_squ1temp[19]));


--F1L41 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~855
F1L41 = (B1_squ2temp[20] $ B1_squ1temp[20] $ !F1L40) # GND;

--F1L42 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~856
F1L42 = CARRY(B1_squ2temp[20] & (B1_squ1temp[20] # !F1L40) # !B1_squ2temp[20] & B1_squ1temp[20] & !F1L40);


--F1L43 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~857
F1L43 = B1_squ2temp[21] & (B1_squ1temp[21] & F1L42 & VCC # !B1_squ1temp[21] & !F1L42) # !B1_squ2temp[21] & (B1_squ1temp[21] & !F1L42 # !B1_squ1temp[21] & (F1L42 # GND));

--F1L44 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~858
F1L44 = CARRY(B1_squ2temp[21] & !B1_squ1temp[21] & !F1L42 # !B1_squ2temp[21] & (!F1L42 # !B1_squ1temp[21]));


--F1L45 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~859
F1L45 = (B1_squ2temp[22] $ B1_squ1temp[22] $ !F1L44) # GND;

--F1L46 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~860
F1L46 = CARRY(B1_squ2temp[22] & (B1_squ1temp[22] # !F1L44) # !B1_squ2temp[22] & B1_squ1temp[22] & !F1L44);


--F1L47 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~861
F1L47 = B1_squ2temp[23] & (B1_squ1temp[23] & F1L46 & VCC # !B1_squ1temp[23] & !F1L46) # !B1_squ2temp[23] & (B1_squ1temp[23] & !F1L46 # !B1_squ1temp[23] & (F1L46 # GND));

--F1L48 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~862
F1L48 = CARRY(B1_squ2temp[23] & !B1_squ1temp[23] & !F1L46 # !B1_squ2temp[23] & (!F1L46 # !B1_squ1temp[23]));


--F1L49 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~863
F1L49 = (B1_squ2temp[24] $ B1_squ1temp[24] $ !F1L48) # GND;

--F1L50 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~864
F1L50 = CARRY(B1_squ2temp[24] & (B1_squ1temp[24] # !F1L48) # !B1_squ2temp[24] & B1_squ1temp[24] & !F1L48);


--F1L51 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~865
F1L51 = B1_squ2temp[25] & (B1_squ1temp[25] & F1L50 & VCC # !B1_squ1temp[25] & !F1L50) # !B1_squ2temp[25] & (B1_squ1temp[25] & !F1L50 # !B1_squ1temp[25] & (F1L50 # GND));

--F1L52 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~866
F1L52 = CARRY(B1_squ2temp[25] & !B1_squ1temp[25] & !F1L50 # !B1_squ2temp[25] & (!F1L50 # !B1_squ1temp[25]));


--F1L53 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~867
F1L53 = (B1_squ2temp[26] $ B1_squ1temp[26] $ !F1L52) # GND;

--F1L54 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~868
F1L54 = CARRY(B1_squ2temp[26] & (B1_squ1temp[26] # !F1L52) # !B1_squ2temp[26] & B1_squ1temp[26] & !F1L52);


--B1L199 is vgactr:inst|LessThan~1917
B1L199 = F1L43 & F1L47 & F1L51;


--B1L200 is vgactr:inst|LessThan~1918
B1L200 = F1L33 # F1L35 # F1L37 # F1L41;


--B1L201 is vgactr:inst|LessThan~1919
B1L201 = F1L27 & F1L29 & F1L31;


--B1L202 is vgactr:inst|LessThan~1920
B1L202 = F1L39 # B1L200 # F1L25 & B1L201;


--B1L203 is vgactr:inst|LessThan~1921
B1L203 = F1L1 # F1L3 # F1L5 # F1L9;


--B1L204 is vgactr:inst|LessThan~1922
B1L204 = F1L11 & (F1L7 # B1L203);


--B1L205 is vgactr:inst|LessThan~1923
B1L205 = F1L15 & (F1L13 # B1L204);


--B1L206 is vgactr:inst|LessThan~1924
B1L206 = F1L19 # F1L21 # F1L17 & B1L205;


--B1L207 is vgactr:inst|LessThan~1925
B1L207 = F1L23 & F1L27 & F1L29 & F1L31;


--B1L208 is vgactr:inst|LessThan~1926
B1L208 = B1L199 & (B1L202 # B1L206 & B1L207);


--B1L209 is vgactr:inst|LessThan~1927
B1L209 = F1L51 & (F1L49 # F1L45 & F1L47);


--B1_squ2temp[27] is vgactr:inst|squ2temp[27]
B1_squ2temp[27] = DFFEAS(E2_result[27], Iiclk,  ,  ,  ,  ,  ,  ,  );


--B1_squ1temp[27] is vgactr:inst|squ1temp[27]
B1_squ1temp[27] = DFFEAS(E1_result[27], Iiclk,  ,  ,  ,  ,  ,  ,  );


--F1L55 is vgactr:inst|lpm_add_sub:square_sum|add_sub_5pe:auto_generated|add_sub_cella[0]~869
F1L55 = B1_squ2temp[27] $ B1_squ1temp[27] $ F1L54;


--B1L210 is vgactr:inst|LessThan~1928
B1L210 = !F1L55 & (F1L53 # B1L208 # B1L209);


--B1L105 is vgactr:inst|count[0]~225
B1L105 = B1_count[0] $ VCC;

--B1L106 is vgactr:inst|count[0]~226
B1L106 = CARRY(B1_count[0]);


--B1_keep is vgactr:inst|keep
B1_keep = DFFEAS(B1L198, Iiclk,  ,  ,  ,  ,  ,  ,  );


--B1L108 is vgactr:inst|count[1]~227
B1L108 = B1_count[1] & !B1L106 # !B1_count[1] & (B1L106 # GND);

--B1L109 is vgactr:inst|count[1]~228
B1L109 = CARRY(!B1L106 # !B1_count[1]);


--B1L111 is vgactr:inst|count[2]~229
B1L111 = B1_count[2] & (B1L109 $ GND) # !B1_count[2] & !B1L109 & VCC;

--B1L112 is vgactr:inst|count[2]~230
B1L112 = CARRY(B1_count[2] & !B1L109);


--B1L114 is vgactr:inst|count[3]~231
B1L114 = B1_count[3] & !B1L112 # !B1_count[3] & (B1L112 # GND);

--B1L115 is vgactr:inst|count[3]~232
B1L115 = CARRY(!B1L112 # !B1_count[3]);


--B1L117 is vgactr:inst|count[4]~233
B1L117 = B1_count[4] & (B1L115 $ GND) # !B1_count[4] & !B1L115 & VCC;

--B1L118 is vgactr:inst|count[4]~234
B1L118 = CARRY(B1_count[4] & !B1L115);


--B1L120 is vgactr:inst|count[5]~235
B1L120 = B1_count[5] & !B1L118 # !B1_count[5] & (B1L118 # GND);

--B1L121 is vgactr:inst|count[5]~236
B1L121 = CARRY(!B1L118 # !B1_count[5]);


--B1L123 is vgactr:inst|count[6]~237
B1L123 = B1_count[6] & (B1L121 $ GND) # !B1_count[6] & !B1L121 & VCC;

--B1L124 is vgactr:inst|count[6]~238
B1L124 = CARRY(B1_count[6] & !B1L121);


--B1L126 is vgactr:inst|count[7]~239
B1L126 = B1_count[7] & !B1L124 # !B1_count[7] & (B1L124 # GND);

--B1L127 is vgactr:inst|count[7]~240
B1L127 = CARRY(!B1L124 # !B1_count[7]);


--B1L129 is vgactr:inst|count[8]~241
B1L129 = B1_count[8] & (B1L127 $ GND) # !B1_count[8] & !B1L127 & VCC;

--B1L130 is vgactr:inst|count[8]~242
B1L130 = CARRY(B1_count[8] & !B1L127);


--B1L132 is vgactr:inst|count[9]~243
B1L132 = B1_count[9] & !B1L130 # !B1_count[9] & (B1L130 # GND);

--B1L133 is vgactr:inst|count[9]~244
B1L133 = CARRY(!B1L130 # !B1_count[9]);


--B1L135 is vgactr:inst|count[10]~245
B1L135 = B1_count[10] & (B1L133 $ GND) # !B1_count[10] & !B1L133 & VCC;

--B1L136 is vgactr:inst|count[10]~246
B1L136 = CARRY(B1_count[10] & !B1L133);


--B1L138 is vgactr:inst|count[11]~247
B1L138 = B1_count[11] & !B1L136 # !B1_count[11] & (B1L136 # GND);

--B1L139 is vgactr:inst|count[11]~248
B1L139 = CARRY(!B1L136 # !B1_count[11]);


--B1L141 is vgactr:inst|count[12]~249
B1L141 = B1_count[12] & (B1L139 $ GND) # !B1_count[12] & !B1L139 & VCC;

--B1L142 is vgactr:inst|count[12]~250
B1L142 = CARRY(B1_count[12] & !B1L139);


--B1L144 is vgactr:inst|count[13]~251
B1L144 = B1_count[13] & !B1L142 # !B1_count[13] & (B1L142 # GND);

--B1L145 is vgactr:inst|count[13]~252
B1L145 = CARRY(!B1L142 # !B1_count[13]);


--B1L147 is vgactr:inst|count[14]~253
B1L147 = B1_count[14] & (B1L145 $ GND) # !B1_count[14] & !B1L145 & VCC;

--B1L148 is vgactr:inst|count[14]~254
B1L148 = CARRY(B1_count[14] & !B1L145);


--B1L150 is vgactr:inst|count[15]~255
B1L150 = B1_count[15] & !B1L148 # !B1_count[15] & (B1L148 # GND);

--B1L151 is vgactr:inst|count[15]~256
B1L151 = CARRY(!B1L148 # !B1_count[15]);


--B1L153 is vgactr:inst|count[16]~257
B1L153 = B1_count[16] & (B1L151 $ GND) # !B1_count[16] & !B1L151 & VCC;

--B1L154 is vgactr:inst|count[16]~258
B1L154 = CARRY(B1_count[16] & !B1L151);


--B1L156 is vgactr:inst|count[17]~259
B1L156 = B1_count[17] & !B1L154 # !B1_count[17] & (B1L154 # GND);

--B1L157 is vgactr:inst|count[17]~260
B1L157 = CARRY(!B1L154 # !B1_count[17]);


--B1L159 is vgactr:inst|count[18]~261
B1L159 = B1_count[18] & (B1L157 $ GND) # !B1_count[18] & !B1L157 & VCC;

--B1L160 is vgactr:inst|count[18]~262
B1L160 = CARRY(B1_count[18] & !B1L157);


--B1L162 is vgactr:inst|count[19]~263
B1L162 = B1_count[19] & !B1L160 # !B1_count[19] & (B1L160 # GND);

--B1L163 is vgactr:inst|count[19]~264
B1L163 = CARRY(!B1L160 # !B1_count[19]);


--B1L165 is vgactr:inst|count[20]~265
B1L165 = B1_count[20] & (B1L163 $ GND) # !B1_count[20] & !B1L163 & VCC;

--B1L166 is vgactr:inst|count[20]~266