// ************************************************************************** //
//                                                                            //
//    eses                   eses                                             //
//   eses                     eses                                            //
//  eses    eseses  esesese    eses   Embedded Systems Group                  //
//  ese    ese  ese ese         ese                                           //
//  ese    eseseses eseseses    ese   Department of Computer Science          //
//  eses   eses          ese   eses                                           //
//   eses   eseses  eseseses  eses    University of Kaiserslautern            //
//    eses                   eses                                             //
//                                                                            //
// ************************************************************************** //


nat x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31;
nat y0,y1,y2,y3,y4,y5,y6,y7,y8,y9,y10,y11,y12,y13,y14,y15,y16,y17,y18,y19,y20,y21,y22,y23,y24,y25,y26,y27,y28,y29,y30,y31;
nat s0,s1,s2,s3,s4,s5,s6,s7,s8,s9,s10,s11,s12,s13,s14,s15,s16,s17,s18,s19,s20,s21,s22,s23,s24,s25,s26,s27,s28,s29,s30,s31,s32;

thread RadixBAddCarryLookahead32 {
    bool g0,g1,g2,g3,g4,g5,g6,g7,g8,g9,g10,g11,g12,g13,g14,g15,g16,g17,g18,g19,g20,g21,g22,g23,g24,g25,g26,g27,g28,g29,g30,g31;
    bool p0,p1,p2,p3,p4,p5,p6,p7,p8,p9,p10,p11,p12,p13,p14,p15,p16,p17,p18,p19,p20,p21,p22,p23,p24,p25,p26,p27,p28,p29,p30,p31;
    // preliminary sum digits
    s0 = x0 + y0;
    s1 = x1 + y1;
    s2 = x2 + y2;
    s3 = x3 + y3;
    s4 = x4 + y4;
    s5 = x5 + y5;
    s6 = x6 + y6;
    s7 = x7 + y7;
    s8 = x8 + y8;
    s9 = x9 + y9;
    s10 = x10 + y10;
    s11 = x11 + y11;
    s12 = x12 + y12;
    s13 = x13 + y13;
    s14 = x14 + y14;
    s15 = x15 + y15;
    s16 = x16 + y16;
    s17 = x17 + y17;
    s18 = x18 + y18;
    s19 = x19 + y19;
    s20 = x20 + y20;
    s21 = x21 + y21;
    s22 = x22 + y22;
    s23 = x23 + y23;
    s24 = x24 + y24;
    s25 = x25 + y25;
    s26 = x26 + y26;
    s27 = x27 + y27;
    s28 = x28 + y28;
    s29 = x29 + y29;
    s30 = x30 + y30;
    s31 = x31 + y31;
    // initial generate conditions
    g0 = s0>255;
    g1 = s1>255;
    g2 = s2>255;
    g3 = s3>255;
    g4 = s4>255;
    g5 = s5>255;
    g6 = s6>255;
    g7 = s7>255;
    g8 = s8>255;
    g9 = s9>255;
    g10 = s10>255;
    g11 = s11>255;
    g12 = s12>255;
    g13 = s13>255;
    g14 = s14>255;
    g15 = s15>255;
    g16 = s16>255;
    g17 = s17>255;
    g18 = s18>255;
    g19 = s19>255;
    g20 = s20>255;
    g21 = s21>255;
    g22 = s22>255;
    g23 = s23>255;
    g24 = s24>255;
    g25 = s25>255;
    g26 = s26>255;
    g27 = s27>255;
    g28 = s28>255;
    g29 = s29>255;
    g30 = s30>255;
    g31 = s31>255;
    // initial propagate conditions
    p0 = s0==255;
    p1 = s1==255;
    p2 = s2==255;
    p3 = s3==255;
    p4 = s4==255;
    p5 = s5==255;
    p6 = s6==255;
    p7 = s7==255;
    p8 = s8==255;
    p9 = s9==255;
    p10 = s10==255;
    p11 = s11==255;
    p12 = s12==255;
    p13 = s13==255;
    p14 = s14==255;
    p15 = s15==255;
    p16 = s16==255;
    p17 = s17==255;
    p18 = s18==255;
    p19 = s19==255;
    p20 = s20==255;
    p21 = s21==255;
    p22 = s22==255;
    p23 = s23==255;
    p24 = s24==255;
    p25 = s25==255;
    p26 = s26==255;
    p27 = s27==255;
    p28 = s28==255;
    p29 = s29==255;
    p30 = s30==255;
    p31 = s31==255;
    // carry propagation prefix tree
    // up-level 1
    g1 = g0 & p1 | g1;
    p1 = p1 & p0;
    g3 = g2 & p3 | g3;
    p3 = p3 & p2;
    g5 = g4 & p5 | g5;
    p5 = p5 & p4;
    g7 = g6 & p7 | g7;
    p7 = p7 & p6;
    g9 = g8 & p9 | g9;
    p9 = p9 & p8;
    g11 = g10 & p11 | g11;
    p11 = p11 & p10;
    g13 = g12 & p13 | g13;
    p13 = p13 & p12;
    g15 = g14 & p15 | g15;
    p15 = p15 & p14;
    g17 = g16 & p17 | g17;
    p17 = p17 & p16;
    g19 = g18 & p19 | g19;
    p19 = p19 & p18;
    g21 = g20 & p21 | g21;
    p21 = p21 & p20;
    g23 = g22 & p23 | g23;
    p23 = p23 & p22;
    g25 = g24 & p25 | g25;
    p25 = p25 & p24;
    g27 = g26 & p27 | g27;
    p27 = p27 & p26;
    g29 = g28 & p29 | g29;
    p29 = p29 & p28;
    g31 = g30 & p31 | g31;
    p31 = p31 & p30;
    // up-level 2
    g3 = g1 & p3 | g3;
    p3 = p3 & p1;
    g7 = g5 & p7 | g7;
    p7 = p7 & p5;
    g11 = g9 & p11 | g11;
    p11 = p11 & p9;
    g15 = g13 & p15 | g15;
    p15 = p15 & p13;
    g19 = g17 & p19 | g19;
    p19 = p19 & p17;
    g23 = g21 & p23 | g23;
    p23 = p23 & p21;
    g27 = g25 & p27 | g27;
    p27 = p27 & p25;
    g31 = g29 & p31 | g31;
    p31 = p31 & p29;
    // up-level 3
    g7 = g3 & p7 | g7;
    p7 = p7 & p3;
    g15 = g11 & p15 | g15;
    p15 = p15 & p11;
    g23 = g19 & p23 | g23;
    p23 = p23 & p19;
    g31 = g27 & p31 | g31;
    p31 = p31 & p27;
    // up-level 4
    g15 = g7 & p15 | g15;
    p15 = p15 & p7;
    g31 = g23 & p31 | g31;
    p31 = p31 & p23;
    // up-level 5
    g31 = g15 & p31 | g31;
    p31 = p31 & p15;
    // down-level 7
    // down-level 8
    g23 = g15 & p23 | g23;
    p23 = p23 & p15;
    // down-level 9
    g11 = g7 & p11 | g11;
    p11 = p11 & p7;
    g19 = g15 & p19 | g19;
    p19 = p19 & p15;
    g27 = g23 & p27 | g27;
    p27 = p27 & p23;
    // down-level 10
    g5 = g3 & p5 | g5;
    p5 = p5 & p3;
    g9 = g7 & p9 | g9;
    p9 = p9 & p7;
    g13 = g11 & p13 | g13;
    p13 = p13 & p11;
    g17 = g15 & p17 | g17;
    p17 = p17 & p15;
    g21 = g19 & p21 | g21;
    p21 = p21 & p19;
    g25 = g23 & p25 | g25;
    p25 = p25 & p23;
    g29 = g27 & p29 | g29;
    p29 = p29 & p27;
    // down-level 11
    g2 = g1 & p2 | g2;
    p2 = p2 & p1;
    g4 = g3 & p4 | g4;
    p4 = p4 & p3;
    g6 = g5 & p6 | g6;
    p6 = p6 & p5;
    g8 = g7 & p8 | g8;
    p8 = p8 & p7;
    g10 = g9 & p10 | g10;
    p10 = p10 & p9;
    g12 = g11 & p12 | g12;
    p12 = p12 & p11;
    g14 = g13 & p14 | g14;
    p14 = p14 & p13;
    g16 = g15 & p16 | g16;
    p16 = p16 & p15;
    g18 = g17 & p18 | g18;
    p18 = p18 & p17;
    g20 = g19 & p20 | g20;
    p20 = p20 & p19;
    g22 = g21 & p22 | g22;
    p22 = p22 & p21;
    g24 = g23 & p24 | g24;
    p24 = p24 & p23;
    g26 = g25 & p26 | g26;
    p26 = p26 & p25;
    g28 = g27 & p28 | g28;
    p28 = p28 & p27;
    g30 = g29 & p30 | g30;
    p30 = p30 & p29;
    // compute final sum digits
    s0 = s0 % 256;
    s1 = (s1 + (nat) (g0&(bool)1)) % 256;
    s2 = (s2 + (nat) (g1&(bool)1)) % 256;
    s3 = (s3 + (nat) (g2&(bool)1)) % 256;
    s4 = (s4 + (nat) (g3&(bool)1)) % 256;
    s5 = (s5 + (nat) (g4&(bool)1)) % 256;
    s6 = (s6 + (nat) (g5&(bool)1)) % 256;
    s7 = (s7 + (nat) (g6&(bool)1)) % 256;
    s8 = (s8 + (nat) (g7&(bool)1)) % 256;
    s9 = (s9 + (nat) (g8&(bool)1)) % 256;
    s10 = (s10 + (nat) (g9&(bool)1)) % 256;
    s11 = (s11 + (nat) (g10&(bool)1)) % 256;
    s12 = (s12 + (nat) (g11&(bool)1)) % 256;
    s13 = (s13 + (nat) (g12&(bool)1)) % 256;
    s14 = (s14 + (nat) (g13&(bool)1)) % 256;
    s15 = (s15 + (nat) (g14&(bool)1)) % 256;
    s16 = (s16 + (nat) (g15&(bool)1)) % 256;
    s17 = (s17 + (nat) (g16&(bool)1)) % 256;
    s18 = (s18 + (nat) (g17&(bool)1)) % 256;
    s19 = (s19 + (nat) (g18&(bool)1)) % 256;
    s20 = (s20 + (nat) (g19&(bool)1)) % 256;
    s21 = (s21 + (nat) (g20&(bool)1)) % 256;
    s22 = (s22 + (nat) (g21&(bool)1)) % 256;
    s23 = (s23 + (nat) (g22&(bool)1)) % 256;
    s24 = (s24 + (nat) (g23&(bool)1)) % 256;
    s25 = (s25 + (nat) (g24&(bool)1)) % 256;
    s26 = (s26 + (nat) (g25&(bool)1)) % 256;
    s27 = (s27 + (nat) (g26&(bool)1)) % 256;
    s28 = (s28 + (nat) (g27&(bool)1)) % 256;
    s29 = (s29 + (nat) (g28&(bool)1)) % 256;
    s30 = (s30 + (nat) (g29&(bool)1)) % 256;
    s31 = (s31 + (nat) (g30&(bool)1)) % 256;
    s32 = (nat) (g31&(bool)1);
}