crc32_dat72.v

本電子檔為 verilog cookbook,包含了通訊,影像,DSP等重要常用之verilog編碼,可作為工程師與初學者的參考手冊

// 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 72 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 DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
//        00000000001111111111222222222233 000000000011111111112222222222333333333344444444445555555555666666666677
//        01234567890123456789012345678901 012345678901234567890123456789012345678901234567890123456789012345678901
//
// C00  = ....XX.XX.X..XXX..X.XX.X.XXXX... X.....X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...
// C01  = ....X.XX.XXX.X..X.XXX.XXXX...X.. XX....XX.X.XXX..XX......X..XX....XXX.XX.....X.XX.XXX.X..X.XXX.XXXX...X..
// C02  = ....X......XXX.X.XXX....X..XX.X. XXX...XXXX...XX.XXX.....X.X...XXX..XXXXX....X......XXX.X.XXX....X..XX.X.
// C03  = X....X......XXX.X.XXX....X..XX.X .XXX...XXXX...XX.XXX.....X.X...XXX..XXXXX....X......XXX.X.XXX....X..XX.X
// C04  = XX..XXXXX.X......XXX...X.X.XXXX. X.XXX.X.X..XX..X..XXX...XX...XXX.X....XXXX..XXXXX.X......XXX...X.X.XXXX.
// C05  = XXX.X.X..XXX.XXX...X.X.XXX.X.XXX XX.XXXXX..X..X.....XXX..X...XX.......X.XXXX.X.X..XXX.XXX...X.X.XXX.X.XXX
// C06  = XXXX.X.X..XXX.XXX...X.X.XXX.X.XX .XX.XXXXX..X..X.....XXX..X...XX.......X.XXXX.X.X..XXX.XXX...X.X.XXX.X.XX
// C07  = .XXX.XXX..XXX.X.XXX.X.......XX.X X.XX.X.XX.X....XX....XXXXX..XX..X.X..X.X.XXX.XXX..XXX.X.XXX.X.......XX.X
// C08  = X.XX.XX...XXX.X..X.XX..X.XXXXXX. XX.XX...X.XXX....X....XX....X..XXXXX.XX.X.XX.XX...XXX.X..X.XX..X.XXXXXX.
// C09  = .X.XX.XX...XXX.X..X.XX..X.XXXXXX .XX.XX...X.XXX....X....XX....X..XXXXX.XX.X.XX.XX...XXX.X..X.XX..X.XXXXXX
// C10  = X.X.......X.X..XX.XXX.XX..X..XXX X.XX.X...X...XX.X..X......X.XX.XXX.XX..XX.X.......X.X..XX.XXX.XX..X..XXX
// C11  = XX.XXX.XX.XX..XXXXXX....XXX.X.XX XX.XX....X..X.XXXX..X...XXXXX..X.X..X...XX.XXX.XX.XX..XXXXXX....XXX.X.XX
// C12  = .XX...XX.XXXXXX.XX.X.X.X....XX.X XXX.XXX..X..XX.X.XX..X..X..X..XX.........XX...XX.XXXXXX.XX.X.X.X....XX.X
// C13  = ..XX...XX.XXXXXX.XX.X.X.X....XX. .XXX.XXX..X..XX.X.XX..X..X..X..XX.........XX...XX.XXXXXX.XX.X.X.X....XX.
// C14  = ...XX...XX.XXXXXX.XX.X.X.X....XX ..XXX.XXX..X..XX.X.XX..X..X..X..XX.........XX...XX.XXXXXX.XX.X.X.X....XX
// C15  = ....XX...XX.XXXXXX.XX.X.X.X....X ...XXX.XXX..X..XX.X.XX..X..X..X..XX.........XX...XX.XXXXXX.XX.X.X.X....X
// C16  = ....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...
// C17  = .....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..
// C18  = ......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.
// C19  = X......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
// C20  = .X......X.XXX..X....XX........X. ....X...XX..X...XX...X.X.XX.X.X..XX.X..X.X......X.XXX..X....XX........X.
// C21  = X.X......X.XXX..X....XX........X .....X...XX..X...XX...X.X.XX.X.X..XX.X..X.X......X.XXX..X....XX........X
// C22  = .X.XXX.XX...X..X.XX.XXX..XXXX... X........X.XX.X.X.XX...XX.XX.X.X..XXXXX..X.XXX.XX...X..X.XX.XXX..XXXX...
// C23  = ..X...XX.XX...XXX..XX.X..X...X.. XX....X..X...X.XXX.XX.....XX.X.X..XXX.XX..X...XX.XX...XXX..XX.X..X...X..
// C24  = X..X...XX.XX...XXX..XX.X..X...X. .XX....X..X...X.XXX.XX.....XX.X.X..XXX.XX..X...XX.XX...XXX..XX.X..X...X.
// C25  = XX..X...XX.XX...XXX..XX.X..X...X ..XX....X..X...X.XXX.XX.....XX.X.X..XXX.XX..X...XX.XX...XXX..XX.X..X...X
// C26  = .XX.X..XXX..X.XX.X.XXXX...XX.... X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...XX....
// C27  = X.XX.X..XXX..X.XX.X.XXXX...XX... .X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...XX...
// C28  = XX.XX.X..XXX..X.XX.X.XXXX...XX.. ..X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...XX..
// C29  = .XX.XX.X..XXX..X.XX.X.XXXX...XX. ...X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...XX.
// C30  = ..XX.XX.X..XXX..X.XX.X.XXXX...XX ....X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...XX
// C31  = ...XX.XX.X..XXX..X.XX.X.XXXX...X .....X..XX.X...X.......XXX.XXXXX.X..X......XX.XX.X..XXX..X.XX.X.XXXX...X
//
module crc32_dat72 (crc_in,dat_in,crc_out);
input [31:0] crc_in;
input [71:0] dat_in;
output [31:0] crc_out;

wire [31:0] crc_out;

parameter METHOD = 1;

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

endmodule

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

module crc32_dat72_flat (crc_in,dat_in,crc_out);
input [31:0] crc_in;
input [71:0] dat_in;
output [31:0] crc_out;

wire [31:0] crc_out;

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

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;

assign { 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 [71: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 x7 = d47 ^ d0 ^ d56 ^ d69 ^ c18 ^ d21 ^ c11 ^ c14 ^ d46 ^ 
        c5 ^ d43 ^ d45 ^ d5 ^ c20 ^ d22 ^ d15 ^ c17 ^ d7 ^ d34 ^ 
        d3 ^ c12 ^ c10 ^ d16 ^ c29 ^ d60 ^ c2 ^ d8 ^ d10 ^ d57 ^ 
        c7 ^ d39 ^ d2 ^ c28 ^ d58 ^ d71 ^ d25 ^ d68 ^ d54 ^ d24 ^ 
        d23 ^ d37 ^ d51 ^ d50 ^ c16 ^ d52 ^ c6 ^ d29 ^ d32 ^ d28 ^ 
        c3 ^ c31 ^ d42 ^ d41 ^ c1;  // 54 ins 1 outs level 3

    assign x6 = c28 ^ c26 ^ d56 ^ d66 ^ d14 ^ d7 ^ c11 ^ d2 ^ c16 ^ 
        d4 ^ d25 ^ d38 ^ c25 ^ d21 ^ d70 ^ c3 ^ d68 ^ d40 ^ c31 ^ 
        d8 ^ d6 ^ d52 ^ d11 ^ c12 ^ d60 ^ d29 ^ d41 ^ d65 ^ c14 ^ 
        d62 ^ c22 ^ d55 ^ c24 ^ d50 ^ c20 ^ c1 ^ c7 ^ c2 ^ c5 ^ 
        d64 ^ d43 ^ d71 ^ d5 ^ c15 ^ d22 ^ d20 ^ d42 ^ d51 ^ c0 ^ 
        d30 ^ c10 ^ d1 ^ c30 ^ d47 ^ d54 ^ d45;  // 56 ins 1 outs level 3

    assign x5 = c13 ^ d53 ^ d50 ^ c10 ^ d1 ^ d51 ^ d54 ^ c11 ^ d63 ^ 
        d41 ^ c19 ^ c14 ^ d20 ^ c31 ^ c15 ^ d0 ^ d5 ^ d70 ^ c2 ^ 
        c4 ^ d6 ^ d19 ^ c25 ^ d44 ^ d10 ^ c0 ^ d64 ^ c30 ^ c21 ^ 
        d37 ^ c9 ^ d40 ^ d61 ^ d29 ^ d71 ^ d65 ^ d24 ^ d28 ^ d55 ^ 
        d42 ^ d4 ^ d3 ^ c1 ^ c6 ^ d49 ^ d67 ^ c29 ^ c23 ^ d59 ^ 
        d46 ^ d13 ^ c24 ^ c27 ^ d39 ^ d69 ^ d7 ^ d21;  // 57 ins 1 outs level 3

    assign x4 = c4 ^ d45 ^ d48 ^ d12 ^ d31 ^ d67 ^ d70 ^ d63 ^ c18 ^ 
        d8 ^ d25 ^ d40 ^ d4 ^ c27 ^ d15 ^ c29 ^ c28 ^ d18 ^ d6 ^ 
        d39 ^ c8 ^ d33 ^ d57 ^ d3 ^ d59 ^ d41 ^ c6 ^ d29 ^ d38 ^ 
        c25 ^ d58 ^ d11 ^ d46 ^ d2 ^ d0 ^ d24 ^ d44 ^ d69 ^ d47 ^ 
        d68 ^ c17 ^ c1 ^ c19 ^ c10 ^ c30 ^ d50 ^ d65 ^ d30 ^ c5 ^ 
        d19 ^ c23 ^ c7 ^ d20 ^ c0;  // 54 ins 1 outs level 3

    assign x3 = d2 ^ d39 ^ d36 ^ d31 ^ d56 ^ d3 ^ d69 ^ d54 ^ d32 ^ 
        d58 ^ d60 ^ c19 ^ d10 ^ c12 ^ c25 ^ d68 ^ d9 ^ c20 ^ c29 ^ 
        d7 ^ d8 ^ c0 ^ d19 ^ d18 ^ c31 ^ d15 ^ c5 ^ c16 ^ d38 ^ 
        c28 ^ d52 ^ d1 ^ c14 ^ d65 ^ d59 ^ d14 ^ c13 ^ d53 ^ d71 ^ 
        d40 ^ d45 ^ d17 ^ d25 ^ d33 ^ d37 ^ c18 ^ d27;  // 47 ins 1 outs level 3

    assign x2 = d55 ^ d59 ^ d44 ^ d14 ^ c30 ^ c24 ^ c27 ^ d9 ^ d16 ^ 
        c28 ^ c4 ^ d6 ^ d37 ^ d26 ^ c15 ^ d52 ^ d38 ^ d64 ^ d57 ^ 
        d18 ^ d13 ^ d32 ^ d7 ^ d24 ^ d67 ^ c12 ^ d35 ^ d58 ^ d31 ^ 
        c17 ^ c11 ^ d17 ^ d0 ^ c18 ^ d51 ^ d53 ^ c19 ^ d1 ^ d68 ^ 
        c13 ^ d70 ^ d2 ^ d39 ^ d36 ^ d8 ^ d30;  // 46 ins 1 outs level 3

    assign x1 = d47 ^ d6 ^ c13 ^ d53 ^ d50 ^ c10 ^ d1 ^ d51 ^ d0 ^ 
        c11 ^ d7 ^ d13 ^ d9 ^ d69 ^ d63 ^ d62 ^ d16 ^ d64 ^ c16 ^ 
        c4 ^ c24 ^ d46 ^ c29 ^ d49 ^ c6 ^ d33 ^ d37 ^ d65 ^ c9 ^ 
        d44 ^ d17 ^ c20 ^ d38 ^ c25 ^ c23 ^ c18 ^ d60 ^ d24 ^ c19 ^ 
        c7 ^ d11 ^ d34 ^ d28 ^ d35 ^ d12 ^ d27 ^ d56 ^ c22 ^ d59 ^ 
        d58;  // 50 ins 1 outs level 3

    assign x0 = d16 ^ c27 ^ d55 ^ c21 ^ c26 ^ d61 ^ d47 ^ d28 ^ d24 ^ 
        c25 ^ d32 ^ d29 ^ d37 ^ c28 ^ d60 ^ c14 ^ c8 ^ d6 ^ d9 ^ 
        d10 ^ c20 ^ c4 ^ d45 ^ d48 ^ c18 ^ c15 ^ d63 ^ d26 ^ d12 ^ 
        d31 ^ d58 ^ d34 ^ d67 ^ c7 ^ c23 ^ d44 ^ d66 ^ d0 ^ d54 ^ 
        c5 ^ d30 ^ d25 ^ c13 ^ d65 ^ d68 ^ d53 ^ d50 ^ c10;  // 48 ins 1 outs level 3

    assign x31 = d24 ^ d36 ^ d62 ^ d64 ^ d11 ^ c26 ^ c20 ^ d54 ^ c3 ^ 
        d8 ^ d47 ^ d71 ^ d46 ^ d28 ^ d43 ^ d65 ^ d33 ^ d23 ^ c12 ^ 
        c22 ^ d67 ^ c25 ^ c31 ^ d25 ^ d30 ^ c7 ^ d66 ^ c19 ^ c9 ^ 
        d49 ^ c6 ^ d53 ^ d15 ^ d44 ^ c4 ^ d27 ^ c17 ^ d60 ^ c13 ^ 
        d5 ^ d59 ^ d31 ^ c24 ^ c14 ^ d29 ^ d52 ^ c27 ^ d57 ^ d9;  // 49 ins 1 outs level 3

    assign x30 = c30 ^ d61 ^ d59 ^ d63 ^ d70 ^ c21 ^ c8 ^ d30 ^ d28 ^ 
        c3 ^ c18 ^ d52 ^ d65 ^ c16 ^ d14 ^ c2 ^ d46 ^ c19 ^ c11 ^ 
        d32 ^ d24 ^ d71 ^ d7 ^ d45 ^ d58 ^ c6 ^ d23 ^ d66 ^ c24 ^ 
        d29 ^ d22 ^ c25 ^ d51 ^ d4 ^ d43 ^ c26 ^ d27 ^ d26 ^ d8 ^ 
        d10 ^ c13 ^ c12 ^ d42 ^ d48 ^ d56 ^ d53 ^ d35 ^ d64 ^ c23 ^ 
        c31 ^ c5;  // 51 ins 1 outs level 3

    assign x29 = c20 ^ d51 ^ c17 ^ d7 ^ d28 ^ c30 ^ d62 ^ c22 ^ d44 ^ 
        c4 ^ d25 ^ d31 ^ d47 ^ d70 ^ d50 ^ d13 ^ d64 ^ c29 ^ d22 ^ 
        d45 ^ d6 ^ c1 ^ d58 ^ c2 ^ c5 ^ d57 ^ d69 ^ c25 ^ d3 ^ 
        d60 ^ c18 ^ d34 ^ c24 ^ c23 ^ c10 ^ d42 ^ d27 ^ d63 ^ d41 ^ 
        d21 ^ d9 ^ d65 ^ c12 ^ c15 ^ d23 ^ c11 ^ d29 ^ c7 ^ d52 ^ 
        d55 ^ d26;  // 51 ins 1 outs level 3

    assign x28 = c28 ^ d27 ^ d5 ^ d41 ^ d8 ^ c10 ^ d24 ^ d44 ^ c21 ^ 
        d63 ^ d6 ^ d46 ^ d59 ^ c4 ^ d68 ^ c6 ^ c1 ^ d12 ^ d33 ^ 
        c24 ^ d25 ^ d56 ^ d2 ^ d64 ^ d50 ^ d69 ^ d20 ^ c0 ^ d28 ^ 
        d22 ^ d43 ^ c11 ^ d54 ^ d61 ^ d62 ^ c23 ^ d51 ^ c14 ^ d40 ^ 
        d57 ^ c29 ^ c22 ^ c3 ^ c19 ^ d26 ^ d21 ^ c17 ^ d30 ^ d49 ^ 
        c16 ^ c9;  // 51 ins 1 outs level 3

    assign x27 = d20 ^ d7 ^ c18 ^ d32 ^ c27 ^ c5 ^ c0 ^ d21 ^ d49 ^ 
        c13 ^ d1 ^ d25 ^ d42 ^ d43 ^ c23 ^ c8 ^ c22 ^ d23 ^ c9 ^ 
        d48 ^ d58 ^ d29 ^ d61 ^ d45 ^ c3 ^ c15 ^ d40 ^ c16 ^ d4 ^ 
        d19 ^ d56 ^ d60 ^ d63 ^ d67 ^ d27 ^ d50 ^ c20 ^ d55 ^ d39 ^ 
        d11 ^ c21 ^ d24 ^ d68 ^ c28 ^ c10 ^ d53 ^ d62 ^ d26 ^ c2 ^ 
        d5;  // 50 ins 1 outs level 3

    assign x26 = d25 ^ d24 ^ d48 ^ d4 ^ d54 ^ d0 ^ d19 ^ d66 ^ d28 ^ 
        c2 ^ d44 ^ d47 ^ c7 ^ d39 ^ c12 ^ d31 ^ d61 ^ c19 ^ d20 ^ 
        c15 ^ d22 ^ d6 ^ d67 ^ c17 ^ d26 ^ d18 ^ c4 ^ d3 ^ d62 ^ 
        c1 ^ c22 ^ d23 ^ c20 ^ d10 ^ c8 ^ c14 ^ d42 ^ d60 ^ c26 ^ 
        d57 ^ d52 ^ d49 ^ c21 ^ d55 ^ c27 ^ d38 ^ d41 ^ d59 ^ c9;  // 49 ins 1 outs level 3

    assign x25 = c22 ^ c27 ^ d8 ^ d31 ^ c1 ^ d44 ^ c17 ^ d28 ^ d22 ^ 
        d33 ^ d21 ^ d62 ^ d51 ^ d2 ^ d41 ^ d52 ^ d38 ^ c18 ^ c4 ^ 
        d29 ^ c24 ^ d36 ^ d67 ^ d58 ^ c11 ^ d64 ^ d56 ^ d3 ^ d11 ^ 
        d37 ^ c8 ^ c12 ^ d49 ^ d18 ^ d57 ^ d48 ^ c16 ^ c21 ^ d40 ^ 
        d71 ^ c9 ^ d61 ^ d17 ^ d15 ^ c31 ^ d19 ^ c0;  // 47 ins 1 outs level 3

    assign x24 = d55 ^ d66 ^ d14 ^ c30 ^ c23 ^ d10 ^ d48 ^ d36 ^ d16 ^ 
        d40 ^ d17 ^ c16 ^ d37 ^ d61 ^ c26 ^ d56 ^ d20 ^ d63 ^ d7 ^ 
        d51 ^ c11 ^ d60 ^ c3 ^ d50 ^ c8 ^ c0 ^ d39 ^ d1 ^ d2 ^ 
        d70 ^ d21 ^ c21 ^ d43 ^ c10 ^ d18 ^ d47 ^ c20 ^ d35 ^ c17 ^ 
        c15 ^ c7 ^ d57 ^ d30 ^ d27 ^ d32 ^ d28;  // 46 ins 1 outs level 3

    assign x23 = d50 ^ d20 ^ d35 ^ d36 ^ d42 ^ c7 ^ d39 ^ d65 ^ c20 ^ 
        d16 ^ d55 ^ c19 ^ d9 ^ d6 ^ d34 ^ d29 ^ d54 ^ d0 ^ d1 ^ 
        c10 ^ c6 ^ d19 ^ d31 ^ c15 ^ d59 ^ c22 ^ d26 ^ d56 ^ d27 ^ 
        c14 ^ c25 ^ d38 ^ d60 ^ d47 ^ d17 ^ d69 ^ c9 ^ d15 ^ d49 ^ 
        c2 ^ c29 ^ d46 ^ c16 ^ d62 ^ d13;  // 45 ins 1 outs level 3

    assign x22 = d68 ^ d43 ^ d62 ^ c5 ^ d35 ^ d9 ^ d0 ^ d18 ^ d60 ^ 
        c3 ^ c25 ^ d36 ^ d38 ^ d65 ^ d66 ^ d44 ^ c8 ^ d47 ^ d23 ^ 
        c7 ^ d57 ^ d67 ^ d34 ^ c12 ^ d58 ^ d19 ^ c1 ^ c22 ^ c15 ^ 
        d31 ^ d12 ^ d26 ^ c18 ^ d41 ^ c17 ^ d11 ^ d48 ^ d14 ^ d45 ^ 
        c4 ^ c20 ^ c28 ^ d37 ^ d29 ^ d24 ^ d27 ^ d61 ^ c26 ^ c21 ^ 
        d55 ^ c27 ^ d16 ^ d52;  // 53 ins 1 outs level 3

    assign x21 = d49 ^ d17 ^ c22 ^ d34 ^ c12 ^ c13 ^ d42 ^ d9 ^ c31 ^ 
        d31 ^ d35 ^ c9 ^ c16 ^ d13 ^ d71 ^ c11 ^ d53 ^ d40 ^ d51 ^ 
        d37 ^ d22 ^ d29 ^ d62 ^ d5 ^ c2 ^ d52 ^ d56 ^ d61 ^ d27 ^ 
        c0 ^ d18 ^ c21 ^ d26 ^ d10 ^ d24;  // 35 ins 1 outs level 3

    assign x20 = d12 ^ d70 ^ c30 ^ d17 ^ d52 ^ d16 ^ d41 ^ c20 ^ c1 ^ 
        d33 ^ c21 ^ c12 ^ d55 ^ d48 ^ c8 ^ c11 ^ d36 ^ d39 ^ d34 ^ 
        d30 ^ d28 ^ d60 ^ d51 ^ d8 ^ d26 ^ d4 ^ c15 ^ d25 ^ d50 ^ 
        d21 ^ d9 ^ d23 ^ c10 ^ d61;  // 34 ins 1 outs level 3