module fu_loc8inc(
   x,
   ci,
   ci_b,
   co_b,
   s0,
   s1
);
   input [0:7]  x;
   input        ci;
   input        ci_b;
   output       co_b;
   output [0:7] s0;
   output [0:7] s1;

   wire [0:7]   x_if_ci;
   wire [0:7]   x_b;
   wire [0:7]   x_p;
   wire         g2_6t7_b;
   wire         g2_4t5_b;
   wire         g2_2t3_b;
   wire         g2_0t1_b;
   wire         g4_4t7;
   wire         g4_0t3;
   wire         t2_6t7;
   wire         t2_4t5;
   wire         t2_2t3;
   wire         t4_6t7_b;
   wire         t4_4t7_b;
   wire         t4_2t5_b;
   wire         t8_6t7;
   wire         t8_4t7;
   wire         t8_2t7;
   wire         t8_7t7_b;
   wire         t8_6t7_b;
   wire         t8_5t7_b;
   wire         t8_4t7_b;
   wire         t8_3t7_b;
   wire         t8_2t7_b;
   wire         t8_1t7_b;
   wire [0:7]   s1x_b;
   wire [0:7]   s1y_b;
   wire [0:7]   s0_b;

   //  i0_b0    i1_b0   i2_b0   i3_b0   i4_b0   i5_b0   i6_b0   i7_b0   <=== buffer inputs
   //  i0_b1    i1_b1   i2_b1   i3_b1   i4_b1   i5_b1   i6_b1   i7_b1   <=== buffer inputs
   //  i0_g2    i0_g4   i2_g2   i0_g8   i4_g2   i4_g4   i6_g2   skip    <=== global chain
   //  skip     skip    i2_t4   i2_t2   i4_t4   i4_t2   i6_t4   i6_t2   <=== local carry
   //  skip     skip    i2_t8x  skip    i4_t8x  skip    i6_t8x  skip    <=== local carry
   //  skip     i1_t8   i2_t8   i3_t8   i4_t8   i5_t8   i6_t8   i7_t8   <=== local carry
   //  i0_if    i1_if   i2_if   i3_if   i4_if   i5_if   i6_if   i7_if   <=== local carry
   //  i0_s1x   i1_s1x  i2_s1x  i3_s1x  i4_s1x  i5_s1x  i6_s1x  i7_s1x  <=== carry select
   //  i0_s1y   i1_s1y  i2_s1y  i3_s1y  i4_s1y  i5_s1y  i6_s1y  i7_s1y  <=== carry select
   //  i0_s1    i1_s1   i2_s1   i3_s1   i4_s1   i5_s1   i6_s1   i7_s1   <=== carry select
   //  i0_s0b   i1_s0b  i2_s0b  i3_s0b  i4_s0b  i5_s0b  i6_s0b  i7_s0b  <=== carry select
   //  i0_s0    i1_s0   i2_s0   i3_s0   i4_s0   i5_s0   i6_s0   i7_s0   <=== carry select

   //FOLDED

   //  i0_b0    i2_b0   i4_b0   i6_b0   skip  skip  skip  skip <=== buffer inputs
   //  i1_b0    i3_b0   i5_b0   i7_b0   skip  skip  skip  skip <=== buffer inputs
   //  i0_b1    i2_b1   i4_b1   i6_b1   skip  skip  skip  skip <=== buffer inputs
   //  i1_b1    i3_b1   i5_b1   i7_b1   skip  skip  skip  skip <=== buffer inputs
   //  i0_g2    i2_g2   i4_g2   i6_g2   skip  skip  skip  skip <=== global chain
   //  i0_g4    i0_g8   i4_g4   skip    skip  skip  skip  skip <=== global chain
   //  skip     i2_t2   i4_t2   i6_t2   skip  skip  skip  skip <=== local carry
   //  skip     i2_t4   i4_t4   i6_t4   skip  skip  skip  skip <=== local carry
   //  skip     i2_t8x  i4_t8x  i6_t8x  skip  skip  skip  skip <=== local carry
   //  skip     i2_t8   i4_t8   i6_t8   skip  skip  skip  skip <=== local carry
   //  i1_t8    i3_t8   i5_t8   i7_t8   skip  skip  skip  skip <=== local carry
   //  i0_if    i2_if   i4_if   i6_if   skip  skip  skip  skip <=== local carry
   //  i1_if    i3_if   i5_if   i7_if   skip  skip  skip  skip <=== local carry
   //  i0_s1x   i2_s1x  i4_s1x  i6_s1x  skip  skip  skip  skip <=== carry select
   //  i1_s1x   i3_s1x  i5_s1x  i7_s1x  skip  skip  skip  skip <=== carry select
   //  i0_s1y   i2_s1y  i4_s1y  i6_s1y  skip  skip  skip  skip <=== carry select
   //  i1_s1y   i3_s1y  i5_s1y  i7_s1y  skip  skip  skip  skip <=== carry select
   //  i0_s1    i2_s1   i4_s1   i6_s1   skip  skip  skip  skip <=== carry select
   //  i1_s1    i3_s1   i5_s1   i7_s1   skip  skip  skip  skip <=== carry select
   //  i0_s0b   i2_s0b  i4_s0b  i6_s0b  skip  skip  skip  skip <=== carry select
   //  i1_s0b   i3_s0b  i5_s0b  i7_s0b  skip  skip  skip  skip <=== carry select
   //  i0_s0    i2_s0   i4_s0   i6_s0   skip  skip  skip  skip <=== carry select
   //  i1_s0    i3_s0   i5_s0   i7_s0   skip  skip  skip  skip <=== carry select

   assign x_b[0] = (~x[0]);
   assign x_b[1] = (~x[1]);
   assign x_b[2] = (~x[2]);
   assign x_b[3] = (~x[3]);
   assign x_b[4] = (~x[4]);
   assign x_b[5] = (~x[5]);
   assign x_b[6] = (~x[6]);
   assign x_b[7] = (~x[7]);

   assign x_p[0] = (~x_b[0]);
   assign x_p[1] = (~x_b[1]);
   assign x_p[2] = (~x_b[2]);
   assign x_p[3] = (~x_b[3]);
   assign x_p[4] = (~x_b[4]);
   assign x_p[5] = (~x_b[5]);
   assign x_p[6] = (~x_b[6]);
   assign x_p[7] = (~x_b[7]);

   //--------------------------------------------

   assign g2_0t1_b = (~(x[0] & x[1]));		//0--
   assign g2_2t3_b = (~(x[2] & x[3]));		//2--
   assign g2_4t5_b = (~(x[4] & x[5]));		//4--
   assign g2_6t7_b = (~(x[6] & x[7]));		//6--

   assign g4_0t3 = (~(g2_0t1_b | g2_2t3_b));		//1--
   assign g4_4t7 = (~(g2_4t5_b | g2_6t7_b));		//5--

   assign co_b = (~(g4_0t3 & g4_4t7));		//3-- ; --output

   //-------------------------------------------

   assign t2_2t3 = (~(x_b[2] | x_b[3]));		//2--
   assign t2_4t5 = (~(x_b[4] | x_b[5]));		//4--
   assign t2_6t7 = (~(x_b[6] | x_b[7]));		//6--

   assign t4_2t5_b = (~(t2_2t3 & t2_4t5));		//3--
   assign t4_4t7_b = (~(t2_4t5 & t2_6t7));		//5--
   assign t4_6t7_b = (~(t2_6t7));		//7--

   assign t8_2t7 = (~(t4_2t5_b | t4_6t7_b));		//3--
   assign t8_4t7 = (~(t4_4t7_b));		//5--
   assign t8_6t7 = (~(t4_6t7_b));		//7--

   assign t8_1t7_b = (~(t8_2t7 & x_p[1]));		//1--
   assign t8_2t7_b = (~(t8_2t7));		//2--
   assign t8_3t7_b = (~(t8_4t7 & x_p[3]));		//3--
   assign t8_4t7_b = (~(t8_4t7));		//4--
   assign t8_5t7_b = (~(t8_6t7 & x_p[5]));		//5--
   assign t8_6t7_b = (~(t8_6t7));		//6--
   assign t8_7t7_b = (~(x_p[7]));		//7--

   //------------------------------------

   assign x_if_ci[0] = (~(x_p[0] ^ t8_1t7_b));
   assign x_if_ci[1] = (~(x_p[1] ^ t8_2t7_b));
   assign x_if_ci[2] = (~(x_p[2] ^ t8_3t7_b));
   assign x_if_ci[3] = (~(x_p[3] ^ t8_4t7_b));
   assign x_if_ci[4] = (~(x_p[4] ^ t8_5t7_b));
   assign x_if_ci[5] = (~(x_p[5] ^ t8_6t7_b));
   assign x_if_ci[6] = (~(x_p[6] ^ t8_7t7_b));
   assign x_if_ci[7] = (~(x_p[7]));

   assign s1x_b[0] = (~(x_p[0] & ci_b));
   assign s1x_b[1] = (~(x_p[1] & ci_b));
   assign s1x_b[2] = (~(x_p[2] & ci_b));
   assign s1x_b[3] = (~(x_p[3] & ci_b));
   assign s1x_b[4] = (~(x_p[4] & ci_b));
   assign s1x_b[5] = (~(x_p[5] & ci_b));
   assign s1x_b[6] = (~(x_p[6] & ci_b));
   assign s1x_b[7] = (~(x_p[7] & ci_b));

   assign s1y_b[0] = (~(x_if_ci[0] & ci));
   assign s1y_b[1] = (~(x_if_ci[1] & ci));
   assign s1y_b[2] = (~(x_if_ci[2] & ci));
   assign s1y_b[3] = (~(x_if_ci[3] & ci));
   assign s1y_b[4] = (~(x_if_ci[4] & ci));
   assign s1y_b[5] = (~(x_if_ci[5] & ci));
   assign s1y_b[6] = (~(x_if_ci[6] & ci));
   assign s1y_b[7] = (~(x_if_ci[7] & ci));

   assign s1[0] = (~(s1x_b[0] & s1y_b[0]));		//output
   assign s1[1] = (~(s1x_b[1] & s1y_b[1]));		//output
   assign s1[2] = (~(s1x_b[2] & s1y_b[2]));		//output
   assign s1[3] = (~(s1x_b[3] & s1y_b[3]));		//output
   assign s1[4] = (~(s1x_b[4] & s1y_b[4]));		//output
   assign s1[5] = (~(s1x_b[5] & s1y_b[5]));		//output
   assign s1[6] = (~(s1x_b[6] & s1y_b[6]));		//output
   assign s1[7] = (~(s1x_b[7] & s1y_b[7]));		//output

   assign s0_b[0] = (~x_p[0]);
   assign s0_b[1] = (~x_p[1]);
   assign s0_b[2] = (~x_p[2]);
   assign s0_b[3] = (~x_p[3]);
   assign s0_b[4] = (~x_p[4]);
   assign s0_b[5] = (~x_p[5]);
   assign s0_b[6] = (~x_p[6]);
   assign s0_b[7] = (~x_p[7]);

   assign s0[0] = (~s0_b[0]);		// output
   assign s0[1] = (~s0_b[1]);		// output
   assign s0[2] = (~s0_b[2]);		// output
   assign s0[3] = (~s0_b[3]);		// output
   assign s0[4] = (~s0_b[4]);		// output
   assign s0[5] = (~s0_b[5]);		// output
   assign s0[6] = (~s0_b[6]);		// output
   assign s0[7] = (~s0_b[7]);		// output

endmodule