// ************************************************************************** //
//                                                                            //
//    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 x_0_0,x_1_0,x_2_0,x_3_0,x_4_0,x_5_0,x_6_0,x_7_0;
nat x_0_6,x_1_6,x_2_6,x_3_6,x_4_6,x_5_6,x_6_6,x_7_6;
thread BitonicSort_8 {
    bool c_0_1_0,c_0_1_2,c_0_1_5,c_0_3_1,c_0_3_4,c_0_6_3,c_1_2_1,c_1_2_4,c_1_7_3,c_2_3_0,c_2_4_3,c_3_2_2,c_3_2_5,c_3_5_3,c_4_5_0,c_4_5_2,c_4_7_1,c_5_4_5,c_5_6_1,c_6_5_4,c_6_7_0,c_6_7_5,c_7_4_4,c_7_6_2;
nat x_0_1,x_1_1,x_2_1,x_3_1,x_4_1,x_5_1,x_6_1,x_7_1;
nat x_0_2,x_1_2,x_2_2,x_3_2,x_4_2,x_5_2,x_6_2,x_7_2;
nat x_0_3,x_1_3,x_2_3,x_3_3,x_4_3,x_5_3,x_6_3,x_7_3;
nat x_0_4,x_1_4,x_2_4,x_3_4,x_4_4,x_5_4,x_6_4,x_7_4;
nat x_0_5,x_1_5,x_2_5,x_3_5,x_4_5,x_5_5,x_6_5,x_7_5;
    c_0_1_0 = x_0_0<x_1_0;
    x_0_1 = (nat)(c_0_1_0&(bool)x_0_0 | (!c_0_1_0)&(bool)x_1_0);
    x_1_1 = (nat)(c_0_1_0&(bool)x_1_0 | (!c_0_1_0)&(bool)x_0_0);
    c_2_3_0 = x_2_0<x_3_0;
    x_2_1 = (nat)(c_2_3_0&(bool)x_2_0 | (!c_2_3_0)&(bool)x_3_0);
    x_3_1 = (nat)(c_2_3_0&(bool)x_3_0 | (!c_2_3_0)&(bool)x_2_0);
    c_4_5_0 = x_4_0<x_5_0;
    x_4_1 = (nat)(c_4_5_0&(bool)x_4_0 | (!c_4_5_0)&(bool)x_5_0);
    x_5_1 = (nat)(c_4_5_0&(bool)x_5_0 | (!c_4_5_0)&(bool)x_4_0);
    c_6_7_0 = x_6_0<x_7_0;
    x_6_1 = (nat)(c_6_7_0&(bool)x_6_0 | (!c_6_7_0)&(bool)x_7_0);
    x_7_1 = (nat)(c_6_7_0&(bool)x_7_0 | (!c_6_7_0)&(bool)x_6_0);
    c_0_3_1 = x_0_1<x_3_1;
    x_0_2 = (nat)(c_0_3_1&(bool)x_0_1 | (!c_0_3_1)&(bool)x_3_1);
    x_3_2 = (nat)(c_0_3_1&(bool)x_3_1 | (!c_0_3_1)&(bool)x_0_1);
    c_1_2_1 = x_1_1<x_2_1;
    x_1_2 = (nat)(c_1_2_1&(bool)x_1_1 | (!c_1_2_1)&(bool)x_2_1);
    x_2_2 = (nat)(c_1_2_1&(bool)x_2_1 | (!c_1_2_1)&(bool)x_1_1);
    c_4_7_1 = x_4_1<x_7_1;
    x_4_2 = (nat)(c_4_7_1&(bool)x_4_1 | (!c_4_7_1)&(bool)x_7_1);
    x_7_2 = (nat)(c_4_7_1&(bool)x_7_1 | (!c_4_7_1)&(bool)x_4_1);
    c_5_6_1 = x_5_1<x_6_1;
    x_5_2 = (nat)(c_5_6_1&(bool)x_5_1 | (!c_5_6_1)&(bool)x_6_1);
    x_6_2 = (nat)(c_5_6_1&(bool)x_6_1 | (!c_5_6_1)&(bool)x_5_1);
    c_0_1_2 = x_0_2<x_1_2;
    x_0_3 = (nat)(c_0_1_2&(bool)x_0_2 | (!c_0_1_2)&(bool)x_1_2);
    x_1_3 = (nat)(c_0_1_2&(bool)x_1_2 | (!c_0_1_2)&(bool)x_0_2);
    c_3_2_2 = x_3_2<x_2_2;
    x_3_3 = (nat)(c_3_2_2&(bool)x_3_2 | (!c_3_2_2)&(bool)x_2_2);
    x_2_3 = (nat)(c_3_2_2&(bool)x_2_2 | (!c_3_2_2)&(bool)x_3_2);
    c_4_5_2 = x_4_2<x_5_2;
    x_4_3 = (nat)(c_4_5_2&(bool)x_4_2 | (!c_4_5_2)&(bool)x_5_2);
    x_5_3 = (nat)(c_4_5_2&(bool)x_5_2 | (!c_4_5_2)&(bool)x_4_2);
    c_7_6_2 = x_7_2<x_6_2;
    x_7_3 = (nat)(c_7_6_2&(bool)x_7_2 | (!c_7_6_2)&(bool)x_6_2);
    x_6_3 = (nat)(c_7_6_2&(bool)x_6_2 | (!c_7_6_2)&(bool)x_7_2);
    c_0_6_3 = x_0_3<x_6_3;
    x_0_4 = (nat)(c_0_6_3&(bool)x_0_3 | (!c_0_6_3)&(bool)x_6_3);
    x_6_4 = (nat)(c_0_6_3&(bool)x_6_3 | (!c_0_6_3)&(bool)x_0_3);
    c_1_7_3 = x_1_3<x_7_3;
    x_1_4 = (nat)(c_1_7_3&(bool)x_1_3 | (!c_1_7_3)&(bool)x_7_3);
    x_7_4 = (nat)(c_1_7_3&(bool)x_7_3 | (!c_1_7_3)&(bool)x_1_3);
    c_3_5_3 = x_3_3<x_5_3;
    x_3_4 = (nat)(c_3_5_3&(bool)x_3_3 | (!c_3_5_3)&(bool)x_5_3);
    x_5_4 = (nat)(c_3_5_3&(bool)x_5_3 | (!c_3_5_3)&(bool)x_3_3);
    c_2_4_3 = x_2_3<x_4_3;
    x_2_4 = (nat)(c_2_4_3&(bool)x_2_3 | (!c_2_4_3)&(bool)x_4_3);
    x_4_4 = (nat)(c_2_4_3&(bool)x_4_3 | (!c_2_4_3)&(bool)x_2_3);
    c_0_3_4 = x_0_4<x_3_4;
    x_0_5 = (nat)(c_0_3_4&(bool)x_0_4 | (!c_0_3_4)&(bool)x_3_4);
    x_3_5 = (nat)(c_0_3_4&(bool)x_3_4 | (!c_0_3_4)&(bool)x_0_4);
    c_1_2_4 = x_1_4<x_2_4;
    x_1_5 = (nat)(c_1_2_4&(bool)x_1_4 | (!c_1_2_4)&(bool)x_2_4);
    x_2_5 = (nat)(c_1_2_4&(bool)x_2_4 | (!c_1_2_4)&(bool)x_1_4);
    c_6_5_4 = x_6_4<x_5_4;
    x_6_5 = (nat)(c_6_5_4&(bool)x_6_4 | (!c_6_5_4)&(bool)x_5_4);
    x_5_5 = (nat)(c_6_5_4&(bool)x_5_4 | (!c_6_5_4)&(bool)x_6_4);
    c_7_4_4 = x_7_4<x_4_4;
    x_7_5 = (nat)(c_7_4_4&(bool)x_7_4 | (!c_7_4_4)&(bool)x_4_4);
    x_4_5 = (nat)(c_7_4_4&(bool)x_4_4 | (!c_7_4_4)&(bool)x_7_4);
    c_0_1_5 = x_0_5<x_1_5;
    x_0_6 = (nat)(c_0_1_5&(bool)x_0_5 | (!c_0_1_5)&(bool)x_1_5);
    x_1_6 = (nat)(c_0_1_5&(bool)x_1_5 | (!c_0_1_5)&(bool)x_0_5);
    c_3_2_5 = x_3_5<x_2_5;
    x_3_6 = (nat)(c_3_2_5&(bool)x_3_5 | (!c_3_2_5)&(bool)x_2_5);
    x_2_6 = (nat)(c_3_2_5&(bool)x_2_5 | (!c_3_2_5)&(bool)x_3_5);
    c_6_7_5 = x_6_5<x_7_5;
    x_6_6 = (nat)(c_6_7_5&(bool)x_6_5 | (!c_6_7_5)&(bool)x_7_5);
    x_7_6 = (nat)(c_6_7_5&(bool)x_7_5 | (!c_6_7_5)&(bool)x_6_5);
    c_5_4_5 = x_5_5<x_4_5;
    x_5_6 = (nat)(c_5_4_5&(bool)x_5_5 | (!c_5_4_5)&(bool)x_4_5);
    x_4_6 = (nat)(c_5_4_5&(bool)x_4_5 | (!c_5_4_5)&(bool)x_5_5);
}