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