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