// Carry-less multiplier generated for N = 16: Karatsuba recursion, schoolbook below 9 bits (base 8).
// 192 AND, 207 XOR before synthesis.
// Scoring baseline only: correct at this N, NOT a parametric or proved entry.
module clmul_n #(parameter int N = 16) (
  input  logic [N-1:0]   a, b,
  output logic [2*N-2:0] p
);
  logic [398:0] w;
  assign w[0] = a[0] & b[0];
  assign w[1] = a[0] & b[1];
  assign w[2] = a[0] & b[2];
  assign w[3] = a[0] & b[3];
  assign w[4] = a[0] & b[4];
  assign w[5] = a[0] & b[5];
  assign w[6] = a[0] & b[6];
  assign w[7] = a[0] & b[7];
  assign w[8] = a[1] & b[0];
  assign w[9] = a[1] & b[1];
  assign w[10] = a[1] & b[2];
  assign w[11] = a[1] & b[3];
  assign w[12] = a[1] & b[4];
  assign w[13] = a[1] & b[5];
  assign w[14] = a[1] & b[6];
  assign w[15] = a[1] & b[7];
  assign w[16] = a[2] & b[0];
  assign w[17] = a[2] & b[1];
  assign w[18] = a[2] & b[2];
  assign w[19] = a[2] & b[3];
  assign w[20] = a[2] & b[4];
  assign w[21] = a[2] & b[5];
  assign w[22] = a[2] & b[6];
  assign w[23] = a[2] & b[7];
  assign w[24] = a[3] & b[0];
  assign w[25] = a[3] & b[1];
  assign w[26] = a[3] & b[2];
  assign w[27] = a[3] & b[3];
  assign w[28] = a[3] & b[4];
  assign w[29] = a[3] & b[5];
  assign w[30] = a[3] & b[6];
  assign w[31] = a[3] & b[7];
  assign w[32] = a[4] & b[0];
  assign w[33] = a[4] & b[1];
  assign w[34] = a[4] & b[2];
  assign w[35] = a[4] & b[3];
  assign w[36] = a[4] & b[4];
  assign w[37] = a[4] & b[5];
  assign w[38] = a[4] & b[6];
  assign w[39] = a[4] & b[7];
  assign w[40] = a[5] & b[0];
  assign w[41] = a[5] & b[1];
  assign w[42] = a[5] & b[2];
  assign w[43] = a[5] & b[3];
  assign w[44] = a[5] & b[4];
  assign w[45] = a[5] & b[5];
  assign w[46] = a[5] & b[6];
  assign w[47] = a[5] & b[7];
  assign w[48] = a[6] & b[0];
  assign w[49] = a[6] & b[1];
  assign w[50] = a[6] & b[2];
  assign w[51] = a[6] & b[3];
  assign w[52] = a[6] & b[4];
  assign w[53] = a[6] & b[5];
  assign w[54] = a[6] & b[6];
  assign w[55] = a[6] & b[7];
  assign w[56] = a[7] & b[0];
  assign w[57] = a[7] & b[1];
  assign w[58] = a[7] & b[2];
  assign w[59] = a[7] & b[3];
  assign w[60] = a[7] & b[4];
  assign w[61] = a[7] & b[5];
  assign w[62] = a[7] & b[6];
  assign w[63] = a[7] & b[7];
  assign w[64] = w[1] ^ w[8];
  assign w[65] = w[2] ^ w[9];
  assign w[66] = w[65] ^ w[16];
  assign w[67] = w[3] ^ w[10];
  assign w[68] = w[17] ^ w[24];
  assign w[69] = w[67] ^ w[68];
  assign w[70] = w[4] ^ w[11];
  assign w[71] = w[18] ^ w[25];
  assign w[72] = w[70] ^ w[71];
  assign w[73] = w[72] ^ w[32];
  assign w[74] = w[5] ^ w[12];
  assign w[75] = w[19] ^ w[26];
  assign w[76] = w[33] ^ w[40];
  assign w[77] = w[74] ^ w[75];
  assign w[78] = w[77] ^ w[76];
  assign w[79] = w[6] ^ w[13];
  assign w[80] = w[20] ^ w[27];
  assign w[81] = w[34] ^ w[41];
  assign w[82] = w[79] ^ w[80];
  assign w[83] = w[81] ^ w[48];
  assign w[84] = w[82] ^ w[83];
  assign w[85] = w[7] ^ w[14];
  assign w[86] = w[21] ^ w[28];
  assign w[87] = w[35] ^ w[42];
  assign w[88] = w[49] ^ w[56];
  assign w[89] = w[85] ^ w[86];
  assign w[90] = w[87] ^ w[88];
  assign w[91] = w[89] ^ w[90];
  assign w[92] = w[15] ^ w[22];
  assign w[93] = w[29] ^ w[36];
  assign w[94] = w[43] ^ w[50];
  assign w[95] = w[92] ^ w[93];
  assign w[96] = w[94] ^ w[57];
  assign w[97] = w[95] ^ w[96];
  assign w[98] = w[23] ^ w[30];
  assign w[99] = w[37] ^ w[44];
  assign w[100] = w[51] ^ w[58];
  assign w[101] = w[98] ^ w[99];
  assign w[102] = w[101] ^ w[100];
  assign w[103] = w[31] ^ w[38];
  assign w[104] = w[45] ^ w[52];
  assign w[105] = w[103] ^ w[104];
  assign w[106] = w[105] ^ w[59];
  assign w[107] = w[39] ^ w[46];
  assign w[108] = w[53] ^ w[60];
  assign w[109] = w[107] ^ w[108];
  assign w[110] = w[47] ^ w[54];
  assign w[111] = w[110] ^ w[61];
  assign w[112] = w[55] ^ w[62];
  assign w[113] = a[8] & b[8];
  assign w[114] = a[8] & b[9];
  assign w[115] = a[8] & b[10];
  assign w[116] = a[8] & b[11];
  assign w[117] = a[8] & b[12];
  assign w[118] = a[8] & b[13];
  assign w[119] = a[8] & b[14];
  assign w[120] = a[8] & b[15];
  assign w[121] = a[9] & b[8];
  assign w[122] = a[9] & b[9];
  assign w[123] = a[9] & b[10];
  assign w[124] = a[9] & b[11];
  assign w[125] = a[9] & b[12];
  assign w[126] = a[9] & b[13];
  assign w[127] = a[9] & b[14];
  assign w[128] = a[9] & b[15];
  assign w[129] = a[10] & b[8];
  assign w[130] = a[10] & b[9];
  assign w[131] = a[10] & b[10];
  assign w[132] = a[10] & b[11];
  assign w[133] = a[10] & b[12];
  assign w[134] = a[10] & b[13];
  assign w[135] = a[10] & b[14];
  assign w[136] = a[10] & b[15];
  assign w[137] = a[11] & b[8];
  assign w[138] = a[11] & b[9];
  assign w[139] = a[11] & b[10];
  assign w[140] = a[11] & b[11];
  assign w[141] = a[11] & b[12];
  assign w[142] = a[11] & b[13];
  assign w[143] = a[11] & b[14];
  assign w[144] = a[11] & b[15];
  assign w[145] = a[12] & b[8];
  assign w[146] = a[12] & b[9];
  assign w[147] = a[12] & b[10];
  assign w[148] = a[12] & b[11];
  assign w[149] = a[12] & b[12];
  assign w[150] = a[12] & b[13];
  assign w[151] = a[12] & b[14];
  assign w[152] = a[12] & b[15];
  assign w[153] = a[13] & b[8];
  assign w[154] = a[13] & b[9];
  assign w[155] = a[13] & b[10];
  assign w[156] = a[13] & b[11];
  assign w[157] = a[13] & b[12];
  assign w[158] = a[13] & b[13];
  assign w[159] = a[13] & b[14];
  assign w[160] = a[13] & b[15];
  assign w[161] = a[14] & b[8];
  assign w[162] = a[14] & b[9];
  assign w[163] = a[14] & b[10];
  assign w[164] = a[14] & b[11];
  assign w[165] = a[14] & b[12];
  assign w[166] = a[14] & b[13];
  assign w[167] = a[14] & b[14];
  assign w[168] = a[14] & b[15];
  assign w[169] = a[15] & b[8];
  assign w[170] = a[15] & b[9];
  assign w[171] = a[15] & b[10];
  assign w[172] = a[15] & b[11];
  assign w[173] = a[15] & b[12];
  assign w[174] = a[15] & b[13];
  assign w[175] = a[15] & b[14];
  assign w[176] = a[15] & b[15];
  assign w[177] = w[114] ^ w[121];
  assign w[178] = w[115] ^ w[122];
  assign w[179] = w[178] ^ w[129];
  assign w[180] = w[116] ^ w[123];
  assign w[181] = w[130] ^ w[137];
  assign w[182] = w[180] ^ w[181];
  assign w[183] = w[117] ^ w[124];
  assign w[184] = w[131] ^ w[138];
  assign w[185] = w[183] ^ w[184];
  assign w[186] = w[185] ^ w[145];
  assign w[187] = w[118] ^ w[125];
  assign w[188] = w[132] ^ w[139];
  assign w[189] = w[146] ^ w[153];
  assign w[190] = w[187] ^ w[188];
  assign w[191] = w[190] ^ w[189];
  assign w[192] = w[119] ^ w[126];
  assign w[193] = w[133] ^ w[140];
  assign w[194] = w[147] ^ w[154];
  assign w[195] = w[192] ^ w[193];
  assign w[196] = w[194] ^ w[161];
  assign w[197] = w[195] ^ w[196];
  assign w[198] = w[120] ^ w[127];
  assign w[199] = w[134] ^ w[141];
  assign w[200] = w[148] ^ w[155];
  assign w[201] = w[162] ^ w[169];
  assign w[202] = w[198] ^ w[199];
  assign w[203] = w[200] ^ w[201];
  assign w[204] = w[202] ^ w[203];
  assign w[205] = w[128] ^ w[135];
  assign w[206] = w[142] ^ w[149];
  assign w[207] = w[156] ^ w[163];
  assign w[208] = w[205] ^ w[206];
  assign w[209] = w[207] ^ w[170];
  assign w[210] = w[208] ^ w[209];
  assign w[211] = w[136] ^ w[143];
  assign w[212] = w[150] ^ w[157];
  assign w[213] = w[164] ^ w[171];
  assign w[214] = w[211] ^ w[212];
  assign w[215] = w[214] ^ w[213];
  assign w[216] = w[144] ^ w[151];
  assign w[217] = w[158] ^ w[165];
  assign w[218] = w[216] ^ w[217];
  assign w[219] = w[218] ^ w[172];
  assign w[220] = w[152] ^ w[159];
  assign w[221] = w[166] ^ w[173];
  assign w[222] = w[220] ^ w[221];
  assign w[223] = w[160] ^ w[167];
  assign w[224] = w[223] ^ w[174];
  assign w[225] = w[168] ^ w[175];
  assign w[226] = a[0] ^ a[8];
  assign w[227] = a[1] ^ a[9];
  assign w[228] = a[2] ^ a[10];
  assign w[229] = a[3] ^ a[11];
  assign w[230] = a[4] ^ a[12];
  assign w[231] = a[5] ^ a[13];
  assign w[232] = a[6] ^ a[14];
  assign w[233] = a[7] ^ a[15];
  assign w[234] = b[0] ^ b[8];
  assign w[235] = b[1] ^ b[9];
  assign w[236] = b[2] ^ b[10];
  assign w[237] = b[3] ^ b[11];
  assign w[238] = b[4] ^ b[12];
  assign w[239] = b[5] ^ b[13];
  assign w[240] = b[6] ^ b[14];
  assign w[241] = b[7] ^ b[15];
  assign w[242] = w[226] & w[234];
  assign w[243] = w[226] & w[235];
  assign w[244] = w[226] & w[236];
  assign w[245] = w[226] & w[237];
  assign w[246] = w[226] & w[238];
  assign w[247] = w[226] & w[239];
  assign w[248] = w[226] & w[240];
  assign w[249] = w[226] & w[241];
  assign w[250] = w[227] & w[234];
  assign w[251] = w[227] & w[235];
  assign w[252] = w[227] & w[236];
  assign w[253] = w[227] & w[237];
  assign w[254] = w[227] & w[238];
  assign w[255] = w[227] & w[239];
  assign w[256] = w[227] & w[240];
  assign w[257] = w[227] & w[241];
  assign w[258] = w[228] & w[234];
  assign w[259] = w[228] & w[235];
  assign w[260] = w[228] & w[236];
  assign w[261] = w[228] & w[237];
  assign w[262] = w[228] & w[238];
  assign w[263] = w[228] & w[239];
  assign w[264] = w[228] & w[240];
  assign w[265] = w[228] & w[241];
  assign w[266] = w[229] & w[234];
  assign w[267] = w[229] & w[235];
  assign w[268] = w[229] & w[236];
  assign w[269] = w[229] & w[237];
  assign w[270] = w[229] & w[238];
  assign w[271] = w[229] & w[239];
  assign w[272] = w[229] & w[240];
  assign w[273] = w[229] & w[241];
  assign w[274] = w[230] & w[234];
  assign w[275] = w[230] & w[235];
  assign w[276] = w[230] & w[236];
  assign w[277] = w[230] & w[237];
  assign w[278] = w[230] & w[238];
  assign w[279] = w[230] & w[239];
  assign w[280] = w[230] & w[240];
  assign w[281] = w[230] & w[241];
  assign w[282] = w[231] & w[234];
  assign w[283] = w[231] & w[235];
  assign w[284] = w[231] & w[236];
  assign w[285] = w[231] & w[237];
  assign w[286] = w[231] & w[238];
  assign w[287] = w[231] & w[239];
  assign w[288] = w[231] & w[240];
  assign w[289] = w[231] & w[241];
  assign w[290] = w[232] & w[234];
  assign w[291] = w[232] & w[235];
  assign w[292] = w[232] & w[236];
  assign w[293] = w[232] & w[237];
  assign w[294] = w[232] & w[238];
  assign w[295] = w[232] & w[239];
  assign w[296] = w[232] & w[240];
  assign w[297] = w[232] & w[241];
  assign w[298] = w[233] & w[234];
  assign w[299] = w[233] & w[235];
  assign w[300] = w[233] & w[236];
  assign w[301] = w[233] & w[237];
  assign w[302] = w[233] & w[238];
  assign w[303] = w[233] & w[239];
  assign w[304] = w[233] & w[240];
  assign w[305] = w[233] & w[241];
  assign w[306] = w[243] ^ w[250];
  assign w[307] = w[244] ^ w[251];
  assign w[308] = w[307] ^ w[258];
  assign w[309] = w[245] ^ w[252];
  assign w[310] = w[259] ^ w[266];
  assign w[311] = w[309] ^ w[310];
  assign w[312] = w[246] ^ w[253];
  assign w[313] = w[260] ^ w[267];
  assign w[314] = w[312] ^ w[313];
  assign w[315] = w[314] ^ w[274];
  assign w[316] = w[247] ^ w[254];
  assign w[317] = w[261] ^ w[268];
  assign w[318] = w[275] ^ w[282];
  assign w[319] = w[316] ^ w[317];
  assign w[320] = w[319] ^ w[318];
  assign w[321] = w[248] ^ w[255];
  assign w[322] = w[262] ^ w[269];
  assign w[323] = w[276] ^ w[283];
  assign w[324] = w[321] ^ w[322];
  assign w[325] = w[323] ^ w[290];
  assign w[326] = w[324] ^ w[325];
  assign w[327] = w[249] ^ w[256];
  assign w[328] = w[263] ^ w[270];
  assign w[329] = w[277] ^ w[284];
  assign w[330] = w[291] ^ w[298];
  assign w[331] = w[327] ^ w[328];
  assign w[332] = w[329] ^ w[330];
  assign w[333] = w[331] ^ w[332];
  assign w[334] = w[257] ^ w[264];
  assign w[335] = w[271] ^ w[278];
  assign w[336] = w[285] ^ w[292];
  assign w[337] = w[334] ^ w[335];
  assign w[338] = w[336] ^ w[299];
  assign w[339] = w[337] ^ w[338];
  assign w[340] = w[265] ^ w[272];
  assign w[341] = w[279] ^ w[286];
  assign w[342] = w[293] ^ w[300];
  assign w[343] = w[340] ^ w[341];
  assign w[344] = w[343] ^ w[342];
  assign w[345] = w[273] ^ w[280];
  assign w[346] = w[287] ^ w[294];
  assign w[347] = w[345] ^ w[346];
  assign w[348] = w[347] ^ w[301];
  assign w[349] = w[281] ^ w[288];
  assign w[350] = w[295] ^ w[302];
  assign w[351] = w[349] ^ w[350];
  assign w[352] = w[289] ^ w[296];
  assign w[353] = w[352] ^ w[303];
  assign w[354] = w[297] ^ w[304];
  assign w[355] = w[0] ^ w[97];
  assign w[356] = w[113] ^ w[242];
  assign w[357] = w[355] ^ w[356];
  assign w[358] = w[64] ^ w[102];
  assign w[359] = w[177] ^ w[306];
  assign w[360] = w[358] ^ w[359];
  assign w[361] = w[66] ^ w[106];
  assign w[362] = w[179] ^ w[308];
  assign w[363] = w[361] ^ w[362];
  assign w[364] = w[69] ^ w[109];
  assign w[365] = w[182] ^ w[311];
  assign w[366] = w[364] ^ w[365];
  assign w[367] = w[73] ^ w[111];
  assign w[368] = w[186] ^ w[315];
  assign w[369] = w[367] ^ w[368];
  assign w[370] = w[78] ^ w[112];
  assign w[371] = w[191] ^ w[320];
  assign w[372] = w[370] ^ w[371];
  assign w[373] = w[84] ^ w[63];
  assign w[374] = w[197] ^ w[326];
  assign w[375] = w[373] ^ w[374];
  assign w[376] = w[91] ^ w[204];
  assign w[377] = w[376] ^ w[333];
  assign w[378] = w[97] ^ w[113];
  assign w[379] = w[210] ^ w[339];
  assign w[380] = w[378] ^ w[379];
  assign w[381] = w[102] ^ w[177];
  assign w[382] = w[215] ^ w[344];
  assign w[383] = w[381] ^ w[382];
  assign w[384] = w[106] ^ w[179];
  assign w[385] = w[219] ^ w[348];
  assign w[386] = w[384] ^ w[385];
  assign w[387] = w[109] ^ w[182];
  assign w[388] = w[222] ^ w[351];
  assign w[389] = w[387] ^ w[388];
  assign w[390] = w[111] ^ w[186];
  assign w[391] = w[224] ^ w[353];
  assign w[392] = w[390] ^ w[391];
  assign w[393] = w[112] ^ w[191];
  assign w[394] = w[225] ^ w[354];
  assign w[395] = w[393] ^ w[394];
  assign w[396] = w[63] ^ w[197];
  assign w[397] = w[176] ^ w[305];
  assign w[398] = w[396] ^ w[397];
  assign p[0] = w[0];
  assign p[1] = w[64];
  assign p[2] = w[66];
  assign p[3] = w[69];
  assign p[4] = w[73];
  assign p[5] = w[78];
  assign p[6] = w[84];
  assign p[7] = w[91];
  assign p[8] = w[357];
  assign p[9] = w[360];
  assign p[10] = w[363];
  assign p[11] = w[366];
  assign p[12] = w[369];
  assign p[13] = w[372];
  assign p[14] = w[375];
  assign p[15] = w[377];
  assign p[16] = w[380];
  assign p[17] = w[383];
  assign p[18] = w[386];
  assign p[19] = w[389];
  assign p[20] = w[392];
  assign p[21] = w[395];
  assign p[22] = w[398];
  assign p[23] = w[204];
  assign p[24] = w[210];
  assign p[25] = w[215];
  assign p[26] = w[219];
  assign p[27] = w[222];
  assign p[28] = w[224];
  assign p[29] = w[225];
  assign p[30] = w[176];
endmodule