// Copyright 2007 Altera Corporation. All rights reserved.  
// Altera products are protected under numerous U.S. and foreign patents, 
// maskwork rights, copyrights and other intellectual property laws.  
//
// This reference design file, and your use thereof, is subject to and governed
// by the terms and conditions of the applicable Altera Reference Design 
// License Agreement (either as signed by you or found at www.altera.com).  By
// using this reference design file, you indicate your acceptance of such terms
// and conditions between you and Altera Corporation.  In the event that you do
// not agree with such terms and conditions, you may not use the reference 
// design file and please promptly destroy any copies you have made.
//
// This reference design file is being provided on an "as-is" basis and as an 
// accommodation and therefore all warranties, representations or guarantees of 
// any kind (whether express, implied or statutory) including, without 
// limitation, warranties of merchantability, non-infringement, or fitness for
// a particular purpose, are specifically disclaimed.  By making this reference
// design file available, Altera expressly does not recommend, suggest or 
// require that this reference design file be used in combination with any 
// other product not provided by Altera.
/////////////////////////////////////////////////////////////////////////////

//// CRC-32 of 80 data bits.  MSB used first.
//   Polynomial 04c11db7 (MSB excluded)
//     x^26 + x^23 + x^22 + x^16 + x^12 + x^11 + x^10 + x^8 + x^7 + x^5 + x^4 + x^2 + x^1 + x^0
//
// Optimal LUT depth 3
//
//        CCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCC DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
//        00000000001111111111222222222233 00000000001111111111222222222233333333334444444444555555555566666666667777777777
//        01234567890123456789012345678901 01234567890123456789012345678901234567890123456789012345678901234567890123456789
//
// C00  = X.X..XXX..X.XX.X.XXXX...XX.....X X.....X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...XX.....X
// C01  = .XXX.X..X.XXX.XXXX...X..X.X....X XX....XX.X.XXX..XX......X..XX....XXX.XX.....X.XX.XXX.X..X.XXX.XXXX...X..X.X....X
// C02  = ...XXX.X.XXX....X..XX.X.X..X...X XXX...XXXX...XX.XXX.....X.X...XXX..XXXXX....X......XXX.X.XXX....X..XX.X.X..X...X
// C03  = ....XXX.X.XXX....X..XX.X.X..X... .XXX...XXXX...XX.XXX.....X.X...XXX..XXXXX....X......XXX.X.XXX....X..XX.X.X..X...
// C04  = X.X......XXX...X.X.XXXX..XX..X.X X.XXX.X.X..XX..X..XXX...XX...XXX.X....XXXX..XXXXX.X......XXX...X.X.XXXX..XX..X.X
// C05  = .XXX.XXX...X.X.XXX.X.XXXXXXX..XX XX.XXXXX..X..X.....XXX..X...XX.......X.XXXX.X.X..XXX.XXX...X.X.XXX.X.XXXXXXX..XX
// C06  = ..XXX.XXX...X.X.XXX.X.XXXXXXX..X .XX.XXXXX..X..X.....XXX..X...XX.......X.XXXX.X.X..XXX.XXX...X.X.XXX.X.XXXXXXX..X
// C07  = ..XXX.X.XXX.X.......XX.X..XXXX.X X.XX.X.XX.X....XX....XXXXX..XX..X.X..X.X.XXX.XXX..XXX.X.XXX.X.......XX.X..XXXX.X
// C08  = ..XXX.X..X.XX..X.XXXXXX..X.XXXXX XX.XX...X.XXX....X....XX....X..XXXXX.XX.X.XX.XX...XXX.X..X.XX..X.XXXXXX..X.XXXXX
// C09  = ...XXX.X..X.XX..X.XXXXXX..X.XXXX .XX.XX...X.XXX....X....XX....X..XXXXX.XX.X.XX.XX...XXX.X..X.XX..X.XXXXXX..X.XXXX
// C10  = ..X.X..XX.XXX.XX..X..XXX.X.X.XX. X.XX.X...X...XX.X..X......X.XX.XXX.XX..XX.X.......X.X..XX.XXX.XX..X..XXX.X.X.XX.
// C11  = X.XX..XXXXXX....XXX.X.XX.XX.X.X. XX.XX....X..X.XXXX..X...XXXXX..X.X..X...XX.XXX.XX.XX..XXXXXX....XXX.X.XX.XX.X.X.
// C12  = .XXXXXX.XX.X.X.X....XX.X.XXX.X.. XXX.XXX..X..XX.X.XX..X..X..X..XX.........XX...XX.XXXXXX.XX.X.X.X....XX.X.XXX.X..
// C13  = X.XXXXXX.XX.X.X.X....XX.X.XXX.X. .XXX.XXX..X..XX.X.XX..X..X..X..XX.........XX...XX.XXXXXX.XX.X.X.X....XX.X.XXX.X.
// C14  = XX.XXXXXX.XX.X.X.X....XX.X.XXX.X ..XXX.XXX..X..XX.X.XX..X..X..X..XX.........XX...XX.XXXXXX.XX.X.X.X....XX.X.XXX.X
// C15  = .XX.XXXXXX.XX.X.X.X....XX.X.XXX. ...XXX.XXX..X..XX.X.XX..X..X..X..XX.........XX...XX.XXXXXX.XX.X.X.X....XX.X.XXX.
// C16  = X..X....XX........X.X......X.XX. X...XX..X...XX...X.X.XX.X.X..XX.X..X.X......X.XXX..X....XX........X.X......X.XX.
// C17  = XX..X....XX........X.X......X.XX .X...XX..X...XX...X.X.XX.X.X..XX.X..X.X......X.XXX..X....XX........X.X......X.XX
// C18  = XXX..X....XX........X.X......X.X ..X...XX..X...XX...X.X.XX.X.X..XX.X..X.X......X.XXX..X....XX........X.X......X.X
// C19  = .XXX..X....XX........X.X......X. ...X...XX..X...XX...X.X.XX.X.X..XX.X..X.X......X.XXX..X....XX........X.X......X.
// C20  = X.XXX..X....XX........X.X......X ....X...XX..X...XX...X.X.XX.X.X..XX.X..X.X......X.XXX..X....XX........X.X......X
// C21  = .X.XXX..X....XX........X.X...... .....X...XX..X...XX...X.X.XX.X.X..XX.X..X.X......X.XXX..X....XX........X.X......
// C22  = X...X..X.XX.XXX..XXXX....XX....X X........X.XX.X.X.XX...XX.XX.X.X..XXXXX..X.XXX.XX...X..X.XX.XXX..XXXX....XX....X
// C23  = .XX...XXX..XX.X..X...X..XXXX...X XX....X..X...X.XXX.XX.....XX.X.X..XXX.XX..X...XX.XX...XXX..XX.X..X...X..XXXX...X
// C24  = X.XX...XXX..XX.X..X...X..XXXX... .XX....X..X...X.XXX.XX.....XX.X.X..XXX.XX..X...XX.XX...XXX..XX.X..X...X..XXXX...
// C25  = XX.XX...XXX..XX.X..X...X..XXXX.. ..XX....X..X...X.XXX.XX.....XX.X.X..XXX.XX..X...XX.XX...XXX..XX.X..X...X..XXXX..
// C26  = XX..X.XX.X.XXXX...XX.....X.XXXXX X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...XX.....X.XXXXX
// C27  = XXX..X.XX.X.XXXX...XX.....X.XXXX .X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...XX.....X.XXXX
// C28  = .XXX..X.XX.X.XXXX...XX.....X.XXX ..X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...XX.....X.XXX
// C29  = ..XXX..X.XX.X.XXXX...XX.....X.XX ...X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...XX.....X.XX
// C30  = X..XXX..X.XX.X.XXXX...XX.....X.X ....X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...XX.....X.X
// C31  = .X..XXX..X.XX.X.XXXX...XX.....X. .....X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...XX.....X.
//
module crc32_dat80 (crc_in,dat_in,crc_out);
input [31:0] crc_in;
input [79:0] dat_in;
output [31:0] crc_out;

wire [31:0] crc_out;

parameter METHOD = 1;

generate
  if (METHOD == 0)
    crc32_dat80_flat cc (.crc_in(crc_in),.dat_in(dat_in),.crc_out(crc_out));
  else
    crc32_dat80_factor cc (.crc_in(crc_in),.dat_in(dat_in),.crc_out(crc_out));
endgenerate

endmodule

////////////////////////////////////////////////////////////////
// Flat version
////////////////////////////////////////////////////////////////

module crc32_dat80_flat (crc_in,dat_in,crc_out);
input [31:0] crc_in;
input [79:0] dat_in;
output [31:0] crc_out;

wire [31:0] crc_out;

wire x15, x14, x13, x12, x11, x10, x9, 
       x8, x7, x6, x5, x4, x3, x2, x1, 
       x0, x31, x30, x29, x28, x27, x26, x25, 
       x24, x23, x22, x21, x20, x19, x18, x17, 
       x16;

assign crc_out = {x31,x30,x29,x28,x27,x26,x25,x24,x23,x22,x21,x20,x19,x18,x17,
        x16,x15,x14,x13,x12,x11,x10,x9,x8,x7,x6,x5,x4,x3,x2,x1,
        x0};

wire d0,d1,d2,d3,d4,d5,d6,d7,d8,d9,d10,d11,d12,d13,d14,
    d15,d16,d17,d18,d19,d20,d21,d22,d23,d24,d25,d26,d27,d28,d29,d30,
    d31,d32,d33,d34,d35,d36,d37,d38,d39,d40,d41,d42,d43,d44,d45,d46,
    d47,d48,d49,d50,d51,d52,d53,d54,d55,d56,d57,d58,d59,d60,d61,d62,
    d63,d64,d65,d66,d67,d68,d69,d70,d71,d72,d73,d74,d75,d76,d77,d78,
    d79;

assign { d79,d78,d77,d76,d75,d74,d73,d72,d71,d70,d69,d68,d67,d66,d65,
        d64,d63,d62,d61,d60,d59,d58,d57,d56,d55,d54,d53,d52,d51,d50,d49,
        d48,d47,d46,d45,d44,d43,d42,d41,d40,d39,d38,d37,d36,d35,d34,d33,
        d32,d31,d30,d29,d28,d27,d26,d25,d24,d23,d22,d21,d20,d19,d18,d17,
        d16,d15,d14,d13,d12,d11,d10,d9,d8,d7,d6,d5,d4,d3,d2,d1,
        d0} = dat_in [79:0];

wire c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,
    c15,c16,c17,c18,c19,c20,c21,c22,c23,c24,c25,c26,c27,c28,c29,c30,
    c31;

assign { c31,c30,c29,c28,c27,c26,c25,c24,c23,c22,c21,c20,c19,c18,c17,
        c16,c15,c14,c13,c12,c11,c10,c9,c8,c7,c6,c5,c4,c3,c2,c1,
        c0} = crc_in [31:0];

    assign x15 = c16 ^ c9 ^ d12 ^ c14 ^ d34 ^ d3 ^ d62 ^ c11 ^ c23 ^ 
        d57 ^ c12 ^ d8 ^ d72 ^ d71 ^ d59 ^ d27 ^ d53 ^ c5 ^ c24 ^ 
        c29 ^ d76 ^ d54 ^ c4 ^ c28 ^ d4 ^ d55 ^ d9 ^ d30 ^ d56 ^ 
        c7 ^ d60 ^ c2 ^ d24 ^ d5 ^ d44 ^ d78 ^ d33 ^ d15 ^ d18 ^ 
        d74 ^ d21 ^ d77 ^ d49 ^ d16 ^ c18 ^ d50 ^ c6 ^ c8 ^ d45 ^ 
        d66 ^ d64 ^ d7 ^ c26 ^ d52 ^ c30 ^ c1 ^ d20;  // 57 ins 1 outs level 3

    assign x14 = d56 ^ d32 ^ d52 ^ d61 ^ c10 ^ c28 ^ d63 ^ d73 ^ d58 ^ 
        c5 ^ d43 ^ d79 ^ c15 ^ d55 ^ d65 ^ d77 ^ d3 ^ c11 ^ d14 ^ 
        d49 ^ d8 ^ d15 ^ d54 ^ d75 ^ c6 ^ c29 ^ c25 ^ c27 ^ c0 ^ 
        d2 ^ c8 ^ c17 ^ d7 ^ d76 ^ c7 ^ d23 ^ d4 ^ d26 ^ d17 ^ 
        c4 ^ d20 ^ d11 ^ d29 ^ d70 ^ d33 ^ d59 ^ c1 ^ d48 ^ d6 ^ 
        c13 ^ d53 ^ d51 ^ c23 ^ c3 ^ c22 ^ d71 ^ d19 ^ d44 ^ c31;  // 59 ins 1 outs level 3

    assign x13 = c14 ^ d78 ^ d47 ^ d62 ^ d54 ^ d64 ^ d43 ^ d72 ^ c3 ^ 
        d25 ^ d3 ^ c0 ^ c5 ^ d53 ^ d1 ^ c6 ^ d50 ^ c16 ^ d60 ^ 
        d31 ^ c21 ^ c2 ^ d48 ^ d52 ^ d7 ^ d51 ^ d58 ^ c27 ^ d57 ^ 
        d28 ^ d19 ^ c26 ^ d2 ^ d42 ^ d5 ^ c7 ^ c12 ^ d76 ^ c28 ^ 
        c24 ^ d14 ^ d22 ^ d75 ^ c10 ^ d69 ^ d74 ^ c4 ^ d13 ^ d16 ^ 
        d70 ^ d32 ^ c22 ^ d10 ^ d6 ^ d18 ^ c9 ^ c30 ^ d55;  // 58 ins 1 outs level 3

    assign x12 = d77 ^ d47 ^ c2 ^ c6 ^ d50 ^ c27 ^ c20 ^ d52 ^ c3 ^ 
        d41 ^ d51 ^ c13 ^ d21 ^ c25 ^ d42 ^ d31 ^ d53 ^ c29 ^ c26 ^ 
        c5 ^ d75 ^ c15 ^ d68 ^ c4 ^ d30 ^ d12 ^ c1 ^ d18 ^ d6 ^ 
        d73 ^ d24 ^ d0 ^ d2 ^ d69 ^ d5 ^ c9 ^ c11 ^ d59 ^ d4 ^ 
        d9 ^ c8 ^ d57 ^ c21 ^ d1 ^ d49 ^ c23 ^ d56 ^ d17 ^ d46 ^ 
        d54 ^ d71 ^ d74 ^ d13 ^ d61 ^ d27 ^ d15 ^ d63;  // 57 ins 1 outs level 3

    assign x11 = d33 ^ d51 ^ c23 ^ c22 ^ d14 ^ d78 ^ d56 ^ d4 ^ c17 ^ 
        c6 ^ d28 ^ d44 ^ c7 ^ c26 ^ d70 ^ c3 ^ d15 ^ d12 ^ d66 ^ 
        d57 ^ d17 ^ d24 ^ c9 ^ c16 ^ d74 ^ c0 ^ c30 ^ d68 ^ d71 ^ 
        d59 ^ d40 ^ d36 ^ c2 ^ d48 ^ d27 ^ d31 ^ d73 ^ d25 ^ d1 ^ 
        d76 ^ d65 ^ c11 ^ d20 ^ d54 ^ d64 ^ d41 ^ c8 ^ c25 ^ c28 ^ 
        d45 ^ c18 ^ d50 ^ d3 ^ d0 ^ d58 ^ d47 ^ d9 ^ d43 ^ d16 ^ 
        c10 ^ d26 ^ d55 ^ c20;  // 63 ins 1 outs level 3

    assign x10 = c14 ^ c18 ^ c2 ^ c29 ^ c27 ^ c15 ^ d52 ^ d59 ^ d19 ^ 
        d71 ^ d28 ^ c25 ^ d5 ^ c21 ^ d73 ^ d77 ^ d3 ^ d9 ^ c7 ^ 
        d39 ^ d60 ^ d32 ^ d69 ^ c22 ^ d58 ^ c12 ^ c11 ^ d2 ^ d63 ^ 
        d13 ^ d56 ^ d70 ^ c4 ^ d66 ^ d29 ^ d50 ^ d31 ^ d35 ^ d33 ^ 
        d16 ^ d0 ^ c10 ^ d78 ^ d40 ^ d36 ^ d26 ^ d55 ^ d14 ^ c30 ^ 
        d62 ^ c23 ^ d75 ^ c8 ^ d42;  // 54 ins 1 outs level 3

    assign x9 = d35 ^ d38 ^ c29 ^ d29 ^ c16 ^ d76 ^ d55 ^ c21 ^ c28 ^ 
        d61 ^ d46 ^ d79 ^ d41 ^ c10 ^ d23 ^ d58 ^ d60 ^ d9 ^ d64 ^ 
        d47 ^ c30 ^ d34 ^ d18 ^ d68 ^ c7 ^ d2 ^ d24 ^ c23 ^ d51 ^ 
        c18 ^ d69 ^ c13 ^ d53 ^ c12 ^ c26 ^ d5 ^ d74 ^ c19 ^ c4 ^ 
        d44 ^ d32 ^ d13 ^ d70 ^ d1 ^ c31 ^ c20 ^ d12 ^ d33 ^ d71 ^ 
        d66 ^ c22 ^ d36 ^ d78 ^ d11 ^ c3 ^ d52 ^ d43 ^ d67 ^ d4 ^ 
        d77 ^ d39 ^ c5;  // 62 ins 1 outs level 3

    assign x8 = d0 ^ d31 ^ c20 ^ d57 ^ d10 ^ d54 ^ c21 ^ d79 ^ d45 ^ 
        d28 ^ d63 ^ d38 ^ c2 ^ d59 ^ c19 ^ c22 ^ c18 ^ d37 ^ d66 ^ 
        d40 ^ d34 ^ d78 ^ c27 ^ d17 ^ d60 ^ d46 ^ d52 ^ c17 ^ c15 ^ 
        d65 ^ d76 ^ c29 ^ c6 ^ d12 ^ c30 ^ c9 ^ c12 ^ d1 ^ d3 ^ 
        d70 ^ d22 ^ d11 ^ d35 ^ d43 ^ d67 ^ c3 ^ d51 ^ d42 ^ d32 ^ 
        c25 ^ d75 ^ c11 ^ d50 ^ d8 ^ d33 ^ c31 ^ d69 ^ d23 ^ c4 ^ 
        c28 ^ d68 ^ d4 ^ d77 ^ d73;  // 64 ins 1 outs level 3

    assign x7 = c10 ^ c6 ^ c9 ^ c4 ^ c12 ^ d50 ^ d47 ^ d52 ^ d16 ^ 
        d56 ^ c8 ^ d3 ^ d21 ^ d58 ^ d77 ^ d7 ^ d0 ^ d74 ^ d75 ^ 
        c26 ^ c20 ^ d28 ^ c31 ^ d32 ^ d39 ^ d42 ^ c29 ^ d23 ^ d43 ^ 
        d57 ^ d24 ^ d29 ^ d68 ^ c21 ^ c2 ^ d25 ^ d54 ^ c27 ^ d76 ^ 
        d10 ^ c3 ^ d71 ^ d41 ^ d22 ^ d69 ^ d45 ^ d79 ^ c28 ^ d2 ^ 
        d5 ^ d15 ^ d8 ^ d34 ^ d37 ^ d46 ^ d51 ^ d60 ^ c23;  // 58 ins 1 outs level 3

    assign x6 = c16 ^ d56 ^ c6 ^ d38 ^ c8 ^ c26 ^ d30 ^ c14 ^ d55 ^ 
        d21 ^ d47 ^ d74 ^ c18 ^ d4 ^ d50 ^ d54 ^ c31 ^ d71 ^ d73 ^ 
        d43 ^ c7 ^ d72 ^ d8 ^ d76 ^ d14 ^ d1 ^ d65 ^ d6 ^ d20 ^ 
        c28 ^ c25 ^ d60 ^ d62 ^ d66 ^ d70 ^ d41 ^ c12 ^ c20 ^ c2 ^ 
        c27 ^ c24 ^ d75 ^ c23 ^ d79 ^ d52 ^ d40 ^ d5 ^ d64 ^ c17 ^ 
        d2 ^ d22 ^ d25 ^ d68 ^ d42 ^ c4 ^ d51 ^ c22 ^ d11 ^ d29 ^ 
        c3 ^ d45 ^ d7;  // 62 ins 1 outs level 3

    assign x5 = d24 ^ d44 ^ d61 ^ c13 ^ c31 ^ d67 ^ c2 ^ d72 ^ d41 ^ 
        d55 ^ d37 ^ d69 ^ c16 ^ d5 ^ d10 ^ d53 ^ d74 ^ d3 ^ d64 ^ 
        c21 ^ d73 ^ d50 ^ d54 ^ d46 ^ d1 ^ c5 ^ d28 ^ d7 ^ c23 ^ 
        d70 ^ c1 ^ d71 ^ d42 ^ d40 ^ d75 ^ c3 ^ c19 ^ c27 ^ d79 ^ 
        c26 ^ d51 ^ c17 ^ d20 ^ d63 ^ d29 ^ d13 ^ c24 ^ c6 ^ d21 ^ 
        d19 ^ d78 ^ c15 ^ d39 ^ d49 ^ d4 ^ c7 ^ d65 ^ d59 ^ c30 ^ 
        c25 ^ d6 ^ c22 ^ d0 ^ c11;  // 64 ins 1 outs level 3

    assign x4 = d19 ^ d50 ^ d12 ^ d30 ^ d2 ^ d40 ^ d68 ^ d8 ^ d74 ^ 
        d44 ^ d38 ^ d73 ^ d79 ^ c20 ^ d58 ^ c17 ^ d18 ^ c29 ^ c19 ^ 
        d65 ^ c26 ^ d59 ^ d57 ^ d33 ^ d3 ^ d39 ^ c11 ^ d29 ^ d11 ^ 
        d69 ^ c21 ^ d15 ^ d77 ^ d46 ^ c0 ^ d31 ^ c9 ^ c15 ^ c2 ^ 
        d41 ^ d20 ^ c22 ^ c10 ^ d24 ^ d4 ^ d70 ^ d63 ^ d45 ^ d67 ^ 
        c31 ^ d47 ^ d48 ^ d25 ^ c25 ^ d6 ^ d0;  // 56 ins 1 outs level 3

    assign x3 = d45 ^ c4 ^ d39 ^ d69 ^ d27 ^ d52 ^ d54 ^ d68 ^ d25 ^ 
        c10 ^ c28 ^ d76 ^ c8 ^ d2 ^ d19 ^ c12 ^ d1 ^ d18 ^ d58 ^ 
        d31 ^ c17 ^ d71 ^ d32 ^ d38 ^ d8 ^ c21 ^ d73 ^ d59 ^ c6 ^ 
        d53 ^ d3 ^ d37 ^ c11 ^ d36 ^ c25 ^ d10 ^ d65 ^ d60 ^ c23 ^ 
        d17 ^ c20 ^ d33 ^ d9 ^ d56 ^ c5 ^ d7 ^ d40 ^ d15 ^ d14;  // 49 ins 1 outs level 3

    assign x2 = d44 ^ d58 ^ d31 ^ d7 ^ d6 ^ c9 ^ d9 ^ d17 ^ d72 ^ 
        d2 ^ c27 ^ c24 ^ d53 ^ d57 ^ d32 ^ d0 ^ d59 ^ d51 ^ d35 ^ 
        d38 ^ d18 ^ d16 ^ c10 ^ c22 ^ d79 ^ d70 ^ c3 ^ c4 ^ d68 ^ 
        c19 ^ c7 ^ d75 ^ d14 ^ d24 ^ d26 ^ d55 ^ d13 ^ d39 ^ c20 ^ 
        d67 ^ d1 ^ d52 ^ c31 ^ d36 ^ d37 ^ c5 ^ d8 ^ d64 ^ d30 ^ 
        c16 ^ c11;  // 51 ins 1 outs level 3

    assign x1 = d12 ^ c2 ^ c24 ^ d63 ^ d47 ^ d27 ^ c31 ^ d13 ^ d34 ^ 
        d9 ^ d74 ^ d69 ^ d65 ^ d44 ^ d58 ^ d72 ^ c21 ^ c16 ^ d56 ^ 
        d28 ^ d37 ^ d16 ^ d38 ^ c8 ^ d60 ^ c3 ^ d11 ^ d64 ^ d62 ^ 
        c11 ^ c10 ^ d33 ^ c5 ^ d1 ^ d24 ^ d53 ^ d46 ^ d17 ^ d49 ^ 
        d79 ^ d59 ^ c17 ^ c26 ^ c15 ^ d6 ^ c12 ^ d51 ^ d50 ^ d35 ^ 
        c1 ^ c14 ^ d0 ^ d7;  // 53 ins 1 outs level 3

    assign x0 = d0 ^ d50 ^ c12 ^ d6 ^ c25 ^ d65 ^ c7 ^ c15 ^ c17 ^ 
        d30 ^ c5 ^ d37 ^ c20 ^ d55 ^ d26 ^ c10 ^ d16 ^ d31 ^ c6 ^ 
        d29 ^ d66 ^ d79 ^ d10 ^ d9 ^ d47 ^ c0 ^ c19 ^ d58 ^ d73 ^ 
        d68 ^ d32 ^ d12 ^ d53 ^ d60 ^ d28 ^ d72 ^ d34 ^ c18 ^ d45 ^ 
        d54 ^ d25 ^ d48 ^ d24 ^ d44 ^ d61 ^ c13 ^ c31 ^ d67 ^ c2 ^ 
        c24 ^ d63;  // 51 ins 1 outs level 3

    assign x31 = d72 ^ d28 ^ d43 ^ d44 ^ d71 ^ d60 ^ d47 ^ c12 ^ d59 ^ 
        d24 ^ d5 ^ c19 ^ d31 ^ c1 ^ c24 ^ d62 ^ d8 ^ d9 ^ d49 ^ 
        c6 ^ d27 ^ d78 ^ c17 ^ c11 ^ d67 ^ d52 ^ d64 ^ d29 ^ c14 ^ 
        d11 ^ d46 ^ c18 ^ d30 ^ d25 ^ d15 ^ d36 ^ c23 ^ c30 ^ c9 ^ 
        c4 ^ d33 ^ d23 ^ d53 ^ d57 ^ c5 ^ d66 ^ d54 ^ d65 ^ c16;  // 49 ins 1 outs level 3

    assign x30 = d64 ^ d10 ^ d58 ^ c5 ^ d43 ^ d35 ^ d8 ^ d26 ^ c13 ^ 
        c10 ^ c31 ^ d70 ^ d46 ^ d77 ^ d29 ^ d32 ^ c8 ^ d79 ^ c16 ^ 
        d52 ^ d42 ^ d28 ^ d66 ^ d27 ^ c0 ^ d61 ^ c15 ^ d30 ^ d51 ^ 
        c17 ^ c18 ^ d71 ^ c4 ^ d4 ^ d56 ^ d22 ^ d53 ^ d48 ^ c11 ^ 
        d14 ^ d45 ^ d7 ^ d23 ^ c23 ^ d59 ^ d65 ^ c29 ^ d63 ^ c22 ^ 
        d24 ^ c3;  // 51 ins 1 outs level 3

    assign x29 = d69 ^ d25 ^ d58 ^ d42 ^ d27 ^ d63 ^ d3 ^ c30 ^ d50 ^ 
        d47 ^ c22 ^ d23 ^ d22 ^ d21 ^ d29 ^ d76 ^ d52 ^ c16 ^ d6 ^ 
        d45 ^ d9 ^ d57 ^ c31 ^ c14 ^ d79 ^ d7 ^ d44 ^ c21 ^ d70 ^ 
        d78 ^ c17 ^ d51 ^ c12 ^ c28 ^ d62 ^ d31 ^ d26 ^ c9 ^ c3 ^ 
        d28 ^ d55 ^ d60 ^ c15 ^ d64 ^ c10 ^ d41 ^ d34 ^ c2 ^ c7 ^ 
        d13 ^ c4 ^ d65;  // 52 ins 1 outs level 3

    assign x28 = d78 ^ d69 ^ c1 ^ d28 ^ c20 ^ d20 ^ c3 ^ c9 ^ d25 ^ 
        c15 ^ d24 ^ c8 ^ d59 ^ d57 ^ d41 ^ c11 ^ d30 ^ d5 ^ d64 ^ 
        c16 ^ d40 ^ d44 ^ d75 ^ c21 ^ d22 ^ d77 ^ d26 ^ d51 ^ d6 ^