OpenCores
URL https://opencores.org/ocsvn/tiny_tate_bilinear_pairing/tiny_tate_bilinear_pairing/trunk

Subversion Repositories tiny_tate_bilinear_pairing

[/] [tiny_tate_bilinear_pairing/] [trunk/] [group_size_is_697_bits/] [rtl/] [cubic.v] - Blame information for rev 18

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 18 homer.hsin 
/*
2 
 * Copyright 2012, Homer Hsing <homer.hsing@gmail.com>
3 
 *
4 
 * Licensed under the Apache License, Version 2.0 (the "License");
5 
 * you may not use this file except in compliance with the License.
6 
 * You may obtain a copy of the License at
7 
 *
8 
 * http://www.apache.org/licenses/LICENSE-2.0
9 
 *
10 
 * Unless required by applicable law or agreed to in writing, software
11 
 * distributed under the License is distributed on an "AS IS" BASIS,
12 
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 
 * See the License for the specific language governing permissions and
14 
 * limitations under the License.
15 
 */
16 
 
17 
/* v0(a)+v1(a)+v2(a)+v3(a) == a^3 in GF(3^m) */
18 
 
19 
/* c == v0(a) */
20 
module v0(a, c);
21 
    input [1005:0] a;
22 
    output [1005:0] c;
23 
    assign c[1:0] = a[1:0];
24 
    assign c[3:2] = a[337:336];
25 
    assign c[5:4] = a[673:672];
26 
    assign c[7:6] = a[3:2];
27 
    assign c[9:8] = a[339:338];
28 
    assign c[11:10] = a[675:674];
29 
    assign c[13:12] = a[5:4];
30 
    assign c[15:14] = a[341:340];
31 
    assign c[17:16] = a[677:676];
32 
    assign c[19:18] = a[7:6];
33 
    assign c[21:20] = {a[608], a[609]};
34 
    assign c[23:22] = a[945:944];
35 
    assign c[25:24] = a[9:8];
36 
    assign c[27:26] = {a[610], a[611]};
37 
    assign c[29:28] = a[947:946];
38 
    assign c[31:30] = a[11:10];
39 
    assign c[33:32] = {a[612], a[613]};
40 
    assign c[35:34] = a[949:948];
41 
    assign c[37:36] = a[13:12];
42 
    assign c[39:38] = a[881:880];
43 
    assign c[41:40] = a[951:950];
44 
    assign c[43:42] = a[15:14];
45 
    assign c[45:44] = a[883:882];
46 
    assign c[47:46] = a[953:952];
47 
    assign c[49:48] = a[17:16];
48 
    assign c[51:50] = a[353:352];
49 
    assign c[53:52] = a[689:688];
50 
    assign c[55:54] = a[19:18];
51 
    assign c[57:56] = a[355:354];
52 
    assign c[59:58] = a[691:690];
53 
    assign c[61:60] = a[21:20];
54 
    assign c[63:62] = a[357:356];
55 
    assign c[65:64] = a[693:692];
56 
    assign c[67:66] = a[23:22];
57 
    assign c[69:68] = {a[624], a[625]};
58 
    assign c[71:70] = a[961:960];
59 
    assign c[73:72] = a[25:24];
60 
    assign c[75:74] = {a[626], a[627]};
61 
    assign c[77:76] = a[963:962];
62 
    assign c[79:78] = a[27:26];
63 
    assign c[81:80] = {a[628], a[629]};
64 
    assign c[83:82] = a[965:964];
65 
    assign c[85:84] = a[29:28];
66 
    assign c[87:86] = a[897:896];
67 
    assign c[89:88] = a[967:966];
68 
    assign c[91:90] = a[31:30];
69 
    assign c[93:92] = a[899:898];
70 
    assign c[95:94] = a[969:968];
71 
    assign c[97:96] = a[33:32];
72 
    assign c[99:98] = a[369:368];
73 
    assign c[101:100] = a[705:704];
74 
    assign c[103:102] = a[35:34];
75 
    assign c[105:104] = a[371:370];
76 
    assign c[107:106] = a[707:706];
77 
    assign c[109:108] = a[37:36];
78 
    assign c[111:110] = a[373:372];
79 
    assign c[113:112] = a[709:708];
80 
    assign c[115:114] = a[39:38];
81 
    assign c[117:116] = {a[640], a[641]};
82 
    assign c[119:118] = a[977:976];
83 
    assign c[121:120] = a[41:40];
84 
    assign c[123:122] = {a[642], a[643]};
85 
    assign c[125:124] = a[979:978];
86 
    assign c[127:126] = a[43:42];
87 
    assign c[129:128] = {a[644], a[645]};
88 
    assign c[131:130] = a[981:980];
89 
    assign c[133:132] = a[45:44];
90 
    assign c[135:134] = a[913:912];
91 
    assign c[137:136] = a[983:982];
92 
    assign c[139:138] = a[47:46];
93 
    assign c[141:140] = a[915:914];
94 
    assign c[143:142] = a[985:984];
95 
    assign c[145:144] = a[49:48];
96 
    assign c[147:146] = a[385:384];
97 
    assign c[149:148] = a[721:720];
98 
    assign c[151:150] = a[51:50];
99 
    assign c[153:152] = a[387:386];
100 
    assign c[155:154] = a[723:722];
101 
    assign c[157:156] = a[53:52];
102 
    assign c[159:158] = a[389:388];
103 
    assign c[161:160] = a[725:724];
104 
    assign c[163:162] = a[55:54];
105 
    assign c[165:164] = {a[656], a[657]};
106 
    assign c[167:166] = a[993:992];
107 
    assign c[169:168] = a[57:56];
108 
    assign c[171:170] = {a[658], a[659]};
109 
    assign c[173:172] = a[995:994];
110 
    assign c[175:174] = a[59:58];
111 
    assign c[177:176] = {a[660], a[661]};
112 
    assign c[179:178] = a[997:996];
113 
    assign c[181:180] = a[61:60];
114 
    assign c[183:182] = a[929:928];
115 
    assign c[185:184] = a[999:998];
116 
    assign c[187:186] = a[63:62];
117 
    assign c[189:188] = a[931:930];
118 
    assign c[191:190] = a[1001:1000];
119 
    assign c[193:192] = a[65:64];
120 
    assign c[195:194] = a[401:400];
121 
    assign c[197:196] = a[737:736];
122 
    assign c[199:198] = a[67:66];
123 
    assign c[201:200] = a[403:402];
124 
    assign c[203:202] = a[739:738];
125 
    assign c[205:204] = a[69:68];
126 
    assign c[207:206] = a[405:404];
127 
    assign c[209:208] = a[741:740];
128 
    assign c[211:210] = {a[336], a[337]};
129 
    assign c[213:212] = a[673:672];
130 
    assign c[215:214] = a[743:742];
131 
    assign c[217:216] = {a[338], a[339]};
132 
    assign c[219:218] = a[675:674];
133 
    assign c[221:220] = a[745:744];
134 
    assign c[223:222] = {a[340], a[341]};
135 
    assign c[225:224] = a[677:676];
136 
    assign c[227:226] = a[747:746];
137 
    assign c[229:228] = a[609:608];
138 
    assign c[231:230] = a[679:678];
139 
    assign c[233:232] = a[749:748];
140 
    assign c[235:234] = a[611:610];
141 
    assign c[237:236] = a[681:680];
142 
    assign c[239:238] = a[751:750];
143 
    assign c[241:240] = a[81:80];
144 
    assign c[243:242] = a[417:416];
145 
    assign c[245:244] = a[753:752];
146 
    assign c[247:246] = {a[880], a[881]};
147 
    assign c[249:248] = a[419:418];
148 
    assign c[251:250] = a[755:754];
149 
    assign c[253:252] = {a[882], a[883]};
150 
    assign c[255:254] = a[421:420];
151 
    assign c[257:256] = a[757:756];
152 
    assign c[259:258] = {a[352], a[353]};
153 
    assign c[261:260] = a[689:688];
154 
    assign c[263:262] = a[759:758];
155 
    assign c[265:264] = {a[354], a[355]};
156 
    assign c[267:266] = a[691:690];
157 
    assign c[269:268] = a[761:760];
158 
    assign c[271:270] = {a[356], a[357]};
159 
    assign c[273:272] = a[693:692];
160 
    assign c[275:274] = a[763:762];
161 
    assign c[277:276] = a[625:624];
162 
    assign c[279:278] = a[695:694];
163 
    assign c[281:280] = a[765:764];
164 
    assign c[283:282] = a[627:626];
165 
    assign c[285:284] = a[697:696];
166 
    assign c[287:286] = a[767:766];
167 
    assign c[289:288] = a[97:96];
168 
    assign c[291:290] = a[433:432];
169 
    assign c[293:292] = a[769:768];
170 
    assign c[295:294] = {a[896], a[897]};
171 
    assign c[297:296] = a[435:434];
172 
    assign c[299:298] = a[771:770];
173 
    assign c[301:300] = {a[898], a[899]};
174 
    assign c[303:302] = a[437:436];
175 
    assign c[305:304] = a[773:772];
176 
    assign c[307:306] = {a[368], a[369]};
177 
    assign c[309:308] = a[705:704];
178 
    assign c[311:310] = a[775:774];
179 
    assign c[313:312] = {a[370], a[371]};
180 
    assign c[315:314] = a[707:706];
181 
    assign c[317:316] = a[777:776];
182 
    assign c[319:318] = {a[372], a[373]};
183 
    assign c[321:320] = a[709:708];
184 
    assign c[323:322] = a[779:778];
185 
    assign c[325:324] = a[641:640];
186 
    assign c[327:326] = a[711:710];
187 
    assign c[329:328] = a[781:780];
188 
    assign c[331:330] = a[643:642];
189 
    assign c[333:332] = a[713:712];
190 
    assign c[335:334] = a[783:782];
191 
    assign c[337:336] = a[113:112];
192 
    assign c[339:338] = a[449:448];
193 
    assign c[341:340] = a[785:784];
194 
    assign c[343:342] = {a[912], a[913]};
195 
    assign c[345:344] = a[451:450];
196 
    assign c[347:346] = a[787:786];
197 
    assign c[349:348] = {a[914], a[915]};
198 
    assign c[351:350] = a[453:452];
199 
    assign c[353:352] = a[789:788];
200 
    assign c[355:354] = {a[384], a[385]};
201 
    assign c[357:356] = a[721:720];
202 
    assign c[359:358] = a[791:790];
203 
    assign c[361:360] = {a[386], a[387]};
204 
    assign c[363:362] = a[723:722];
205 
    assign c[365:364] = a[793:792];
206 
    assign c[367:366] = {a[388], a[389]};
207 
    assign c[369:368] = a[725:724];
208 
    assign c[371:370] = a[795:794];
209 
    assign c[373:372] = a[657:656];
210 
    assign c[375:374] = a[727:726];
211 
    assign c[377:376] = a[797:796];
212 
    assign c[379:378] = a[659:658];
213 
    assign c[381:380] = a[729:728];
214 
    assign c[383:382] = a[799:798];
215 
    assign c[385:384] = a[129:128];
216 
    assign c[387:386] = a[465:464];
217 
    assign c[389:388] = a[801:800];
218 
    assign c[391:390] = {a[928], a[929]};
219 
    assign c[393:392] = a[467:466];
220 
    assign c[395:394] = a[803:802];
221 
    assign c[397:396] = {a[930], a[931]};
222 
    assign c[399:398] = a[469:468];
223 
    assign c[401:400] = a[805:804];
224 
    assign c[403:402] = {a[400], a[401]};
225 
    assign c[405:404] = a[737:736];
226 
    assign c[407:406] = a[807:806];
227 
    assign c[409:408] = {a[402], a[403]};
228 
    assign c[411:410] = a[739:738];
229 
    assign c[413:412] = a[809:808];
230 
    assign c[415:414] = {a[404], a[405]};
231 
    assign c[417:416] = a[741:740];
232 
    assign c[419:418] = a[811:810];
233 
    assign c[421:420] = a[673:672];
234 
    assign c[423:422] = a[743:742];
235 
    assign c[425:424] = a[813:812];
236 
    assign c[427:426] = a[675:674];
237 
    assign c[429:428] = a[745:744];
238 
    assign c[431:430] = a[815:814];
239 
    assign c[433:432] = a[145:144];
240 
    assign c[435:434] = a[481:480];
241 
    assign c[437:436] = a[817:816];
242 
    assign c[439:438] = {a[944], a[945]};
243 
    assign c[441:440] = a[483:482];
244 
    assign c[443:442] = a[819:818];
245 
    assign c[445:444] = {a[946], a[947]};
246 
    assign c[447:446] = a[485:484];
247 
    assign c[449:448] = a[821:820];
248 
    assign c[451:450] = {a[416], a[417]};
249 
    assign c[453:452] = a[753:752];
250 
    assign c[455:454] = a[823:822];
251 
    assign c[457:456] = {a[418], a[419]};
252 
    assign c[459:458] = a[755:754];
253 
    assign c[461:460] = a[825:824];
254 
    assign c[463:462] = {a[420], a[421]};
255 
    assign c[465:464] = a[757:756];
256 
    assign c[467:466] = a[827:826];
257 
    assign c[469:468] = a[689:688];
258 
    assign c[471:470] = a[759:758];
259 
    assign c[473:472] = a[829:828];
260 
    assign c[475:474] = a[691:690];
261 
    assign c[477:476] = a[761:760];
262 
    assign c[479:478] = a[831:830];
263 
    assign c[481:480] = a[161:160];
264 
    assign c[483:482] = a[497:496];
265 
    assign c[485:484] = a[833:832];
266 
    assign c[487:486] = {a[960], a[961]};
267 
    assign c[489:488] = a[499:498];
268 
    assign c[491:490] = a[835:834];
269 
    assign c[493:492] = {a[962], a[963]};
270 
    assign c[495:494] = a[501:500];
271 
    assign c[497:496] = a[837:836];
272 
    assign c[499:498] = {a[432], a[433]};
273 
    assign c[501:500] = a[769:768];
274 
    assign c[503:502] = a[839:838];
275 
    assign c[505:504] = {a[434], a[435]};
276 
    assign c[507:506] = a[771:770];
277 
    assign c[509:508] = a[841:840];
278 
    assign c[511:510] = {a[436], a[437]};
279 
    assign c[513:512] = a[773:772];
280 
    assign c[515:514] = a[843:842];
281 
    assign c[517:516] = a[705:704];
282 
    assign c[519:518] = a[775:774];
283 
    assign c[521:520] = a[845:844];
284 
    assign c[523:522] = a[707:706];
285 
    assign c[525:524] = a[777:776];
286 
    assign c[527:526] = a[847:846];
287 
    assign c[529:528] = a[177:176];
288 
    assign c[531:530] = a[513:512];
289 
    assign c[533:532] = a[849:848];
290 
    assign c[535:534] = {a[976], a[977]};
291 
    assign c[537:536] = a[515:514];
292 
    assign c[539:538] = a[851:850];
293 
    assign c[541:540] = {a[978], a[979]};
294 
    assign c[543:542] = a[517:516];
295 
    assign c[545:544] = a[853:852];
296 
    assign c[547:546] = {a[448], a[449]};
297 
    assign c[549:548] = a[785:784];
298 
    assign c[551:550] = a[855:854];
299 
    assign c[553:552] = {a[450], a[451]};
300 
    assign c[555:554] = a[787:786];
301 
    assign c[557:556] = a[857:856];
302 
    assign c[559:558] = {a[452], a[453]};
303 
    assign c[561:560] = a[789:788];
304 
    assign c[563:562] = a[859:858];
305 
    assign c[565:564] = a[721:720];
306 
    assign c[567:566] = a[791:790];
307 
    assign c[569:568] = a[861:860];
308 
    assign c[571:570] = a[723:722];
309 
    assign c[573:572] = a[793:792];
310 
    assign c[575:574] = a[863:862];
311 
    assign c[577:576] = a[193:192];
312 
    assign c[579:578] = a[529:528];
313 
    assign c[581:580] = a[865:864];
314 
    assign c[583:582] = {a[992], a[993]};
315 
    assign c[585:584] = a[531:530];
316 
    assign c[587:586] = a[867:866];
317 
    assign c[589:588] = {a[994], a[995]};
318 
    assign c[591:590] = a[533:532];
319 
    assign c[593:592] = a[869:868];
320 
    assign c[595:594] = {a[464], a[465]};
321 
    assign c[597:596] = a[801:800];
322 
    assign c[599:598] = a[871:870];
323 
    assign c[601:600] = {a[466], a[467]};
324 
    assign c[603:602] = a[803:802];
325 
    assign c[605:604] = a[873:872];
326 
    assign c[607:606] = {a[468], a[469]};
327 
    assign c[609:608] = a[805:804];
328 
    assign c[611:610] = a[875:874];
329 
    assign c[613:612] = a[737:736];
330 
    assign c[615:614] = a[807:806];
331 
    assign c[617:616] = a[877:876];
332 
    assign c[619:618] = a[739:738];
333 
    assign c[621:620] = a[809:808];
334 
    assign c[623:622] = a[879:878];
335 
    assign c[625:624] = a[209:208];
336 
    assign c[627:626] = a[545:544];
337 
    assign c[629:628] = a[881:880];
338 
    assign c[631:630] = a[211:210];
339 
    assign c[633:632] = a[547:546];
340 
    assign c[635:634] = a[883:882];
341 
    assign c[637:636] = a[213:212];
342 
    assign c[639:638] = a[549:548];
343 
    assign c[641:640] = a[885:884];
344 
    assign c[643:642] = {a[480], a[481]};
345 
    assign c[645:644] = a[817:816];
346 
    assign c[647:646] = a[887:886];
347 
    assign c[649:648] = {a[482], a[483]};
348 
    assign c[651:650] = a[819:818];
349 
    assign c[653:652] = a[889:888];
350 
    assign c[655:654] = {a[484], a[485]};
351 
    assign c[657:656] = a[821:820];
352 
    assign c[659:658] = a[891:890];
353 
    assign c[661:660] = a[753:752];
354 
    assign c[663:662] = a[823:822];
355 
    assign c[665:664] = a[893:892];
356 
    assign c[667:666] = a[755:754];
357 
    assign c[669:668] = a[825:824];
358 
    assign c[671:670] = a[895:894];
359 
    assign c[673:672] = a[225:224];
360 
    assign c[675:674] = a[561:560];
361 
    assign c[677:676] = a[897:896];
362 
    assign c[679:678] = a[227:226];
363 
    assign c[681:680] = a[563:562];
364 
    assign c[683:682] = a[899:898];
365 
    assign c[685:684] = a[229:228];
366 
    assign c[687:686] = a[565:564];
367 
    assign c[689:688] = a[901:900];
368 
    assign c[691:690] = {a[496], a[497]};
369 
    assign c[693:692] = a[833:832];
370 
    assign c[695:694] = a[903:902];
371 
    assign c[697:696] = {a[498], a[499]};
372 
    assign c[699:698] = a[835:834];
373 
    assign c[701:700] = a[905:904];
374 
    assign c[703:702] = {a[500], a[501]};
375 
    assign c[705:704] = a[837:836];
376 
    assign c[707:706] = a[907:906];
377 
    assign c[709:708] = a[769:768];
378 
    assign c[711:710] = a[839:838];
379 
    assign c[713:712] = a[909:908];
380 
    assign c[715:714] = a[771:770];
381 
    assign c[717:716] = a[841:840];
382 
    assign c[719:718] = a[911:910];
383 
    assign c[721:720] = a[241:240];
384 
    assign c[723:722] = a[577:576];
385 
    assign c[725:724] = a[913:912];
386 
    assign c[727:726] = a[243:242];
387 
    assign c[729:728] = a[579:578];
388 
    assign c[731:730] = a[915:914];
389 
    assign c[733:732] = a[245:244];
390 
    assign c[735:734] = a[581:580];
391 
    assign c[737:736] = a[917:916];
392 
    assign c[739:738] = {a[512], a[513]};
393 
    assign c[741:740] = a[849:848];
394 
    assign c[743:742] = a[919:918];
395 
    assign c[745:744] = {a[514], a[515]};
396 
    assign c[747:746] = a[851:850];
397 
    assign c[749:748] = a[921:920];
398 
    assign c[751:750] = {a[516], a[517]};
399 
    assign c[753:752] = a[853:852];
400 
    assign c[755:754] = a[923:922];
401 
    assign c[757:756] = a[785:784];
402 
    assign c[759:758] = a[855:854];
403 
    assign c[761:760] = a[925:924];
404 
    assign c[763:762] = a[787:786];
405 
    assign c[765:764] = a[857:856];
406 
    assign c[767:766] = a[927:926];
407 
    assign c[769:768] = a[257:256];
408 
    assign c[771:770] = a[593:592];
409 
    assign c[773:772] = a[929:928];
410 
    assign c[775:774] = a[259:258];
411 
    assign c[777:776] = a[595:594];
412 
    assign c[779:778] = a[931:930];
413 
    assign c[781:780] = a[261:260];
414 
    assign c[783:782] = a[597:596];
415 
    assign c[785:784] = a[933:932];
416 
    assign c[787:786] = {a[528], a[529]};
417 
    assign c[789:788] = a[865:864];
418 
    assign c[791:790] = a[935:934];
419 
    assign c[793:792] = {a[530], a[531]};
420 
    assign c[795:794] = a[867:866];
421 
    assign c[797:796] = a[937:936];
422 
    assign c[799:798] = {a[532], a[533]};
423 
    assign c[801:800] = a[869:868];
424 
    assign c[803:802] = a[939:938];
425 
    assign c[805:804] = a[801:800];
426 
    assign c[807:806] = a[871:870];
427 
    assign c[809:808] = a[941:940];
428 
    assign c[811:810] = a[803:802];
429 
    assign c[813:812] = a[873:872];
430 
    assign c[815:814] = a[943:942];
431 
    assign c[817:816] = a[273:272];
432 
    assign c[819:818] = a[609:608];
433 
    assign c[821:820] = a[945:944];
434 
    assign c[823:822] = a[275:274];
435 
    assign c[825:824] = a[611:610];
436 
    assign c[827:826] = a[947:946];
437 
    assign c[829:828] = a[277:276];
438 
    assign c[831:830] = a[613:612];
439 
    assign c[833:832] = a[949:948];
440 
    assign c[835:834] = {a[544], a[545]};
441 
    assign c[837:836] = a[881:880];
442 
    assign c[839:838] = a[951:950];
443 
    assign c[841:840] = {a[546], a[547]};
444 
    assign c[843:842] = a[883:882];
445 
    assign c[845:844] = a[953:952];
446 
    assign c[847:846] = {a[548], a[549]};
447 
    assign c[849:848] = a[885:884];
448 
    assign c[851:850] = a[955:954];
449 
    assign c[853:852] = a[817:816];
450 
    assign c[855:854] = a[887:886];
451 
    assign c[857:856] = a[957:956];
452 
    assign c[859:858] = a[819:818];
453 
    assign c[861:860] = a[889:888];
454 
    assign c[863:862] = a[959:958];
455 
    assign c[865:864] = a[289:288];
456 
    assign c[867:866] = a[625:624];
457 
    assign c[869:868] = a[961:960];
458 
    assign c[871:870] = a[291:290];
459 
    assign c[873:872] = a[627:626];
460 
    assign c[875:874] = a[963:962];
461 
    assign c[877:876] = a[293:292];
462 
    assign c[879:878] = a[629:628];
463 
    assign c[881:880] = a[965:964];
464 
    assign c[883:882] = {a[560], a[561]};
465 
    assign c[885:884] = a[897:896];
466 
    assign c[887:886] = a[967:966];
467 
    assign c[889:888] = {a[562], a[563]};
468 
    assign c[891:890] = a[899:898];
469 
    assign c[893:892] = a[969:968];
470 
    assign c[895:894] = {a[564], a[565]};
471 
    assign c[897:896] = a[901:900];
472 
    assign c[899:898] = a[971:970];
473 
    assign c[901:900] = a[833:832];
474 
    assign c[903:902] = a[903:902];
475 
    assign c[905:904] = a[973:972];
476 
    assign c[907:906] = a[835:834];
477 
    assign c[909:908] = a[905:904];
478 
    assign c[911:910] = a[975:974];
479 
    assign c[913:912] = a[305:304];
480 
    assign c[915:914] = a[641:640];
481 
    assign c[917:916] = a[977:976];
482 
    assign c[919:918] = a[307:306];
483 
    assign c[921:920] = a[643:642];
484 
    assign c[923:922] = a[979:978];
485 
    assign c[925:924] = a[309:308];
486 
    assign c[927:926] = a[645:644];
487 
    assign c[929:928] = a[981:980];
488 
    assign c[931:930] = {a[576], a[577]};
489 
    assign c[933:932] = a[913:912];
490 
    assign c[935:934] = a[983:982];
491 
    assign c[937:936] = {a[578], a[579]};
492 
    assign c[939:938] = a[915:914];
493 
    assign c[941:940] = a[985:984];
494 
    assign c[943:942] = {a[580], a[581]};
495 
    assign c[945:944] = a[917:916];
496 
    assign c[947:946] = a[987:986];
497 
    assign c[949:948] = a[849:848];
498 
    assign c[951:950] = a[919:918];
499 
    assign c[953:952] = a[989:988];
500 
    assign c[955:954] = a[851:850];
501 
    assign c[957:956] = a[921:920];
502 
    assign c[959:958] = a[991:990];
503 
    assign c[961:960] = a[321:320];
504 
    assign c[963:962] = a[657:656];
505 
    assign c[965:964] = a[993:992];
506 
    assign c[967:966] = a[323:322];
507 
    assign c[969:968] = a[659:658];
508 
    assign c[971:970] = a[995:994];
509 
    assign c[973:972] = a[325:324];
510 
    assign c[975:974] = a[661:660];
511 
    assign c[977:976] = a[997:996];
512 
    assign c[979:978] = {a[592], a[593]};
513 
    assign c[981:980] = a[929:928];
514 
    assign c[983:982] = a[999:998];
515 
    assign c[985:984] = {a[594], a[595]};
516 
    assign c[987:986] = a[931:930];
517 
    assign c[989:988] = a[1001:1000];
518 
    assign c[991:990] = {a[596], a[597]};
519 
    assign c[993:992] = a[933:932];
520 
    assign c[995:994] = a[1003:1002];
521 
    assign c[997:996] = a[865:864];
522 
    assign c[999:998] = a[935:934];
523 
    assign c[1001:1000] = a[1005:1004];
524 
    assign c[1003:1002] = a[867:866];
525 
    assign c[1005:1004] = a[937:936];
526 
endmodule
527 
/* c == v1(a) */
528 
module v1(a, c);
529 
    input [1005:0] a;
530 
    output [1005:0] c;
531 
    assign c[1:0] = 0;
532 
    assign c[3:2] = a[869:868];
533 
    assign c[5:4] = a[939:938];
534 
    assign c[7:6] = 0;
535 
    assign c[9:8] = a[871:870];
536 
    assign c[11:10] = a[941:940];
537 
    assign c[13:12] = 0;
538 
    assign c[15:14] = a[873:872];
539 
    assign c[17:16] = a[943:942];
540 
    assign c[19:18] = 0;
541 
    assign c[21:20] = a[343:342];
542 
    assign c[23:22] = a[679:678];
543 
    assign c[25:24] = 0;
544 
    assign c[27:26] = a[345:344];
545 
    assign c[29:28] = a[681:680];
546 
    assign c[31:30] = 0;
547 
    assign c[33:32] = a[347:346];
548 
    assign c[35:34] = a[683:682];
549 
    assign c[37:36] = 0;
550 
    assign c[39:38] = {a[614], a[615]};
551 
    assign c[41:40] = a[685:684];
552 
    assign c[43:42] = 0;
553 
    assign c[45:44] = {a[616], a[617]};
554 
    assign c[47:46] = a[687:686];
555 
    assign c[49:48] = 0;
556 
    assign c[51:50] = a[885:884];
557 
    assign c[53:52] = a[955:954];
558 
    assign c[55:54] = 0;
559 
    assign c[57:56] = a[887:886];
560 
    assign c[59:58] = a[957:956];
561 
    assign c[61:60] = 0;
562 
    assign c[63:62] = a[889:888];
563 
    assign c[65:64] = a[959:958];
564 
    assign c[67:66] = 0;
565 
    assign c[69:68] = a[359:358];
566 
    assign c[71:70] = a[695:694];
567 
    assign c[73:72] = 0;
568 
    assign c[75:74] = a[361:360];
569 
    assign c[77:76] = a[697:696];
570 
    assign c[79:78] = 0;
571 
    assign c[81:80] = a[363:362];
572 
    assign c[83:82] = a[699:698];
573 
    assign c[85:84] = 0;
574 
    assign c[87:86] = {a[630], a[631]};
575 
    assign c[89:88] = a[701:700];
576 
    assign c[91:90] = 0;
577 
    assign c[93:92] = {a[632], a[633]};
578 
    assign c[95:94] = a[703:702];
579 
    assign c[97:96] = 0;
580 
    assign c[99:98] = a[901:900];
581 
    assign c[101:100] = a[971:970];
582 
    assign c[103:102] = 0;
583 
    assign c[105:104] = a[903:902];
584 
    assign c[107:106] = a[973:972];
585 
    assign c[109:108] = 0;
586 
    assign c[111:110] = a[905:904];
587 
    assign c[113:112] = a[975:974];
588 
    assign c[115:114] = 0;
589 
    assign c[117:116] = a[375:374];
590 
    assign c[119:118] = a[711:710];
591 
    assign c[121:120] = 0;
592 
    assign c[123:122] = a[377:376];
593 
    assign c[125:124] = a[713:712];
594 
    assign c[127:126] = 0;
595 
    assign c[129:128] = a[379:378];
596 
    assign c[131:130] = a[715:714];
597 
    assign c[133:132] = 0;
598 
    assign c[135:134] = {a[646], a[647]};
599 
    assign c[137:136] = a[717:716];
600 
    assign c[139:138] = 0;
601 
    assign c[141:140] = {a[648], a[649]};
602 
    assign c[143:142] = a[719:718];
603 
    assign c[145:144] = 0;
604 
    assign c[147:146] = a[917:916];
605 
    assign c[149:148] = a[987:986];
606 
    assign c[151:150] = 0;
607 
    assign c[153:152] = a[919:918];
608 
    assign c[155:154] = a[989:988];
609 
    assign c[157:156] = 0;
610 
    assign c[159:158] = a[921:920];
611 
    assign c[161:160] = a[991:990];
612 
    assign c[163:162] = 0;
613 
    assign c[165:164] = a[391:390];
614 
    assign c[167:166] = a[727:726];
615 
    assign c[169:168] = 0;
616 
    assign c[171:170] = a[393:392];
617 
    assign c[173:172] = a[729:728];
618 
    assign c[175:174] = 0;
619 
    assign c[177:176] = a[395:394];
620 
    assign c[179:178] = a[731:730];
621 
    assign c[181:180] = 0;
622 
    assign c[183:182] = {a[662], a[663]};
623 
    assign c[185:184] = a[733:732];
624 
    assign c[187:186] = 0;
625 
    assign c[189:188] = {a[664], a[665]};
626 
    assign c[191:190] = a[735:734];
627 
    assign c[193:192] = 0;
628 
    assign c[195:194] = a[933:932];
629 
    assign c[197:196] = a[1003:1002];
630 
    assign c[199:198] = 0;
631 
    assign c[201:200] = a[935:934];
632 
    assign c[203:202] = a[1005:1004];
633 
    assign c[205:204] = 0;
634 
    assign c[207:206] = a[937:936];
635 
    assign c[209:208] = 0;
636 
    assign c[211:210] = {a[868], a[869]};
637 
    assign c[213:212] = a[407:406];
638 
    assign c[215:214] = 0;
639 
    assign c[217:216] = {a[870], a[871]};
640 
    assign c[219:218] = a[409:408];
641 
    assign c[221:220] = 0;
642 
    assign c[223:222] = {a[872], a[873]};
643 
    assign c[225:224] = a[411:410];
644 
    assign c[227:226] = 0;
645 
    assign c[229:228] = {a[342], a[343]};
646 
    assign c[231:230] = a[413:412];
647 
    assign c[233:232] = 0;
648 
    assign c[235:234] = {a[344], a[345]};
649 
    assign c[237:236] = a[415:414];
650 
    assign c[239:238] = 0;
651 
    assign c[241:240] = a[613:612];
652 
    assign c[243:242] = a[683:682];
653 
    assign c[245:244] = 0;
654 
    assign c[247:246] = a[83:82];
655 
    assign c[249:248] = a[685:684];
656 
    assign c[251:250] = 0;
657 
    assign c[253:252] = a[85:84];
658 
    assign c[255:254] = a[687:686];
659 
    assign c[257:256] = 0;
660 
    assign c[259:258] = {a[884], a[885]};
661 
    assign c[261:260] = a[423:422];
662 
    assign c[263:262] = 0;
663 
    assign c[265:264] = {a[886], a[887]};
664 
    assign c[267:266] = a[425:424];
665 
    assign c[269:268] = 0;
666 
    assign c[271:270] = {a[888], a[889]};
667 
    assign c[273:272] = a[427:426];
668 
    assign c[275:274] = 0;
669 
    assign c[277:276] = {a[358], a[359]};
670 
    assign c[279:278] = a[429:428];
671 
    assign c[281:280] = 0;
672 
    assign c[283:282] = {a[360], a[361]};
673 
    assign c[285:284] = a[431:430];
674 
    assign c[287:286] = 0;
675 
    assign c[289:288] = a[629:628];
676 
    assign c[291:290] = a[699:698];
677 
    assign c[293:292] = 0;
678 
    assign c[295:294] = a[99:98];
679 
    assign c[297:296] = a[701:700];
680 
    assign c[299:298] = 0;
681 
    assign c[301:300] = a[101:100];
682 
    assign c[303:302] = a[703:702];
683 
    assign c[305:304] = 0;
684 
    assign c[307:306] = {a[900], a[901]};
685 
    assign c[309:308] = a[439:438];
686 
    assign c[311:310] = 0;
687 
    assign c[313:312] = {a[902], a[903]};
688 
    assign c[315:314] = a[441:440];
689 
    assign c[317:316] = 0;
690 
    assign c[319:318] = {a[904], a[905]};
691 
    assign c[321:320] = a[443:442];
692 
    assign c[323:322] = 0;
693 
    assign c[325:324] = {a[374], a[375]};
694 
    assign c[327:326] = a[445:444];
695 
    assign c[329:328] = 0;
696 
    assign c[331:330] = {a[376], a[377]};
697 
    assign c[333:332] = a[447:446];
698 
    assign c[335:334] = 0;
699 
    assign c[337:336] = a[645:644];
700 
    assign c[339:338] = a[715:714];
701 
    assign c[341:340] = 0;
702 
    assign c[343:342] = a[115:114];
703 
    assign c[345:344] = a[717:716];
704 
    assign c[347:346] = 0;
705 
    assign c[349:348] = a[117:116];
706 
    assign c[351:350] = a[719:718];
707 
    assign c[353:352] = 0;
708 
    assign c[355:354] = {a[916], a[917]};
709 
    assign c[357:356] = a[455:454];
710 
    assign c[359:358] = 0;
711 
    assign c[361:360] = {a[918], a[919]};
712 
    assign c[363:362] = a[457:456];
713 
    assign c[365:364] = 0;
714 
    assign c[367:366] = {a[920], a[921]};
715 
    assign c[369:368] = a[459:458];
716 
    assign c[371:370] = 0;
717 
    assign c[373:372] = {a[390], a[391]};
718 
    assign c[375:374] = a[461:460];
719 
    assign c[377:376] = 0;
720 
    assign c[379:378] = {a[392], a[393]};
721 
    assign c[381:380] = a[463:462];
722 
    assign c[383:382] = 0;
723 
    assign c[385:384] = a[661:660];
724 
    assign c[387:386] = a[731:730];
725 
    assign c[389:388] = 0;
726 
    assign c[391:390] = a[131:130];
727 
    assign c[393:392] = a[733:732];
728 
    assign c[395:394] = 0;
729 
    assign c[397:396] = a[133:132];
730 
    assign c[399:398] = a[735:734];
731 
    assign c[401:400] = 0;
732 
    assign c[403:402] = {a[932], a[933]};
733 
    assign c[405:404] = a[471:470];
734 
    assign c[407:406] = 0;
735 
    assign c[409:408] = {a[934], a[935]};
736 
    assign c[411:410] = a[473:472];
737 
    assign c[413:412] = 0;
738 
    assign c[415:414] = {a[936], a[937]};
739 
    assign c[417:416] = a[475:474];
740 
    assign c[419:418] = 0;
741 
    assign c[421:420] = {a[406], a[407]};
742 
    assign c[423:422] = a[477:476];
743 
    assign c[425:424] = 0;
744 
    assign c[427:426] = {a[408], a[409]};
745 
    assign c[429:428] = a[479:478];
746 
    assign c[431:430] = 0;
747 
    assign c[433:432] = a[677:676];
748 
    assign c[435:434] = a[747:746];
749 
    assign c[437:436] = 0;
750 
    assign c[439:438] = a[147:146];
751 
    assign c[441:440] = a[749:748];
752 
    assign c[443:442] = 0;
753 
    assign c[445:444] = a[149:148];
754 
    assign c[447:446] = a[751:750];
755 
    assign c[449:448] = 0;
756 
    assign c[451:450] = {a[948], a[949]};
757 
    assign c[453:452] = a[487:486];
758 
    assign c[455:454] = 0;
759 
    assign c[457:456] = {a[950], a[951]};
760 
    assign c[459:458] = a[489:488];
761 
    assign c[461:460] = 0;
762 
    assign c[463:462] = {a[952], a[953]};
763 
    assign c[465:464] = a[491:490];
764 
    assign c[467:466] = 0;
765 
    assign c[469:468] = {a[422], a[423]};
766 
    assign c[471:470] = a[493:492];
767 
    assign c[473:472] = 0;
768 
    assign c[475:474] = {a[424], a[425]};
769 
    assign c[477:476] = a[495:494];
770 
    assign c[479:478] = 0;
771 
    assign c[481:480] = a[693:692];
772 
    assign c[483:482] = a[763:762];
773 
    assign c[485:484] = 0;
774 
    assign c[487:486] = a[163:162];
775 
    assign c[489:488] = a[765:764];
776 
    assign c[491:490] = 0;
777 
    assign c[493:492] = a[165:164];
778 
    assign c[495:494] = a[767:766];
779 
    assign c[497:496] = 0;
780 
    assign c[499:498] = {a[964], a[965]};
781 
    assign c[501:500] = a[503:502];
782 
    assign c[503:502] = 0;
783 
    assign c[505:504] = {a[966], a[967]};
784 
    assign c[507:506] = a[505:504];
785 
    assign c[509:508] = 0;
786 
    assign c[511:510] = {a[968], a[969]};
787 
    assign c[513:512] = a[507:506];
788 
    assign c[515:514] = 0;
789 
    assign c[517:516] = {a[438], a[439]};
790 
    assign c[519:518] = a[509:508];
791 
    assign c[521:520] = 0;
792 
    assign c[523:522] = {a[440], a[441]};
793 
    assign c[525:524] = a[511:510];
794 
    assign c[527:526] = 0;
795 
    assign c[529:528] = a[709:708];
796 
    assign c[531:530] = a[779:778];
797 
    assign c[533:532] = 0;
798 
    assign c[535:534] = a[179:178];
799 
    assign c[537:536] = a[781:780];
800 
    assign c[539:538] = 0;
801 
    assign c[541:540] = a[181:180];
802 
    assign c[543:542] = a[783:782];
803 
    assign c[545:544] = 0;
804 
    assign c[547:546] = {a[980], a[981]};
805 
    assign c[549:548] = a[519:518];
806 
    assign c[551:550] = 0;
807 
    assign c[553:552] = {a[982], a[983]};
808 
    assign c[555:554] = a[521:520];
809 
    assign c[557:556] = 0;
810 
    assign c[559:558] = {a[984], a[985]};
811 
    assign c[561:560] = a[523:522];
812 
    assign c[563:562] = 0;
813 
    assign c[565:564] = {a[454], a[455]};
814 
    assign c[567:566] = a[525:524];
815 
    assign c[569:568] = 0;
816 
    assign c[571:570] = {a[456], a[457]};
817 
    assign c[573:572] = a[527:526];
818 
    assign c[575:574] = 0;
819 
    assign c[577:576] = a[725:724];
820 
    assign c[579:578] = a[795:794];
821 
    assign c[581:580] = 0;
822 
    assign c[583:582] = a[195:194];
823 
    assign c[585:584] = a[797:796];
824 
    assign c[587:586] = 0;
825 
    assign c[589:588] = a[197:196];
826 
    assign c[591:590] = a[799:798];
827 
    assign c[593:592] = 0;
828 
    assign c[595:594] = {a[996], a[997]};
829 
    assign c[597:596] = a[535:534];
830 
    assign c[599:598] = 0;
831 
    assign c[601:600] = {a[998], a[999]};
832 
    assign c[603:602] = a[537:536];
833 
    assign c[605:604] = 0;
834 
    assign c[607:606] = {a[1000], a[1001]};
835 
    assign c[609:608] = a[539:538];
836 
    assign c[611:610] = 0;
837 
    assign c[613:612] = {a[470], a[471]};
838 
    assign c[615:614] = a[541:540];
839 
    assign c[617:616] = 0;
840 
    assign c[619:618] = {a[472], a[473]};
841 
    assign c[621:620] = a[543:542];
842 
    assign c[623:622] = 0;
843 
    assign c[625:624] = a[741:740];
844 
    assign c[627:626] = a[811:810];
845 
    assign c[629:628] = 0;
846 
    assign c[631:630] = a[743:742];
847 
    assign c[633:632] = a[813:812];
848 
    assign c[635:634] = 0;
849 
    assign c[637:636] = a[745:744];
850 
    assign c[639:638] = a[815:814];
851 
    assign c[641:640] = 0;
852 
    assign c[643:642] = a[215:214];
853 
    assign c[645:644] = a[551:550];
854 
    assign c[647:646] = 0;
855 
    assign c[649:648] = a[217:216];
856 
    assign c[651:650] = a[553:552];
857 
    assign c[653:652] = 0;
858 
    assign c[655:654] = a[219:218];
859 
    assign c[657:656] = a[555:554];
860 
    assign c[659:658] = 0;
861 
    assign c[661:660] = {a[486], a[487]};
862 
    assign c[663:662] = a[557:556];
863 
    assign c[665:664] = 0;
864 
    assign c[667:666] = {a[488], a[489]};
865 
    assign c[669:668] = a[559:558];
866 
    assign c[671:670] = 0;
867 
    assign c[673:672] = a[757:756];
868 
    assign c[675:674] = a[827:826];
869 
    assign c[677:676] = 0;
870 
    assign c[679:678] = a[759:758];
871 
    assign c[681:680] = a[829:828];
872 
    assign c[683:682] = 0;
873 
    assign c[685:684] = a[761:760];
874 
    assign c[687:686] = a[831:830];
875 
    assign c[689:688] = 0;
876 
    assign c[691:690] = a[231:230];
877 
    assign c[693:692] = a[567:566];
878 
    assign c[695:694] = 0;
879 
    assign c[697:696] = a[233:232];
880 
    assign c[699:698] = a[569:568];
881 
    assign c[701:700] = 0;
882 
    assign c[703:702] = a[235:234];
883 
    assign c[705:704] = a[571:570];
884 
    assign c[707:706] = 0;
885 
    assign c[709:708] = {a[502], a[503]};
886 
    assign c[711:710] = a[573:572];
887 
    assign c[713:712] = 0;
888 
    assign c[715:714] = {a[504], a[505]};
889 
    assign c[717:716] = a[575:574];
890 
    assign c[719:718] = 0;
891 
    assign c[721:720] = a[773:772];
892 
    assign c[723:722] = a[843:842];
893 
    assign c[725:724] = 0;
894 
    assign c[727:726] = a[775:774];
895 
    assign c[729:728] = a[845:844];
896 
    assign c[731:730] = 0;
897 
    assign c[733:732] = a[777:776];
898 
    assign c[735:734] = a[847:846];
899 
    assign c[737:736] = 0;
900 
    assign c[739:738] = a[247:246];
901 
    assign c[741:740] = a[583:582];
902 
    assign c[743:742] = 0;
903 
    assign c[745:744] = a[249:248];
904 
    assign c[747:746] = a[585:584];
905 
    assign c[749:748] = 0;
906 
    assign c[751:750] = a[251:250];
907 
    assign c[753:752] = a[587:586];
908 
    assign c[755:754] = 0;
909 
    assign c[757:756] = {a[518], a[519]};
910 
    assign c[759:758] = a[589:588];
911 
    assign c[761:760] = 0;
912 
    assign c[763:762] = {a[520], a[521]};
913 
    assign c[765:764] = a[591:590];
914 
    assign c[767:766] = 0;
915 
    assign c[769:768] = a[789:788];
916 
    assign c[771:770] = a[859:858];
917 
    assign c[773:772] = 0;
918 
    assign c[775:774] = a[791:790];
919 
    assign c[777:776] = a[861:860];
920 
    assign c[779:778] = 0;
921 
    assign c[781:780] = a[793:792];
922 
    assign c[783:782] = a[863:862];
923 
    assign c[785:784] = 0;
924 
    assign c[787:786] = a[263:262];
925 
    assign c[789:788] = a[599:598];
926 
    assign c[791:790] = 0;
927 
    assign c[793:792] = a[265:264];
928 
    assign c[795:794] = a[601:600];
929 
    assign c[797:796] = 0;
930 
    assign c[799:798] = a[267:266];
931 
    assign c[801:800] = a[603:602];
932 
    assign c[803:802] = 0;
933 
    assign c[805:804] = {a[534], a[535]};
934 
    assign c[807:806] = a[605:604];
935 
    assign c[809:808] = 0;
936 
    assign c[811:810] = {a[536], a[537]};
937 
    assign c[813:812] = a[607:606];
938 
    assign c[815:814] = 0;
939 
    assign c[817:816] = a[805:804];
940 
    assign c[819:818] = a[875:874];
941 
    assign c[821:820] = 0;
942 
    assign c[823:822] = a[807:806];
943 
    assign c[825:824] = a[877:876];
944 
    assign c[827:826] = 0;
945 
    assign c[829:828] = a[809:808];
946 
    assign c[831:830] = a[879:878];
947 
    assign c[833:832] = 0;
948 
    assign c[835:834] = a[279:278];
949 
    assign c[837:836] = a[615:614];
950 
    assign c[839:838] = 0;
951 
    assign c[841:840] = a[281:280];
952 
    assign c[843:842] = a[617:616];
953 
    assign c[845:844] = 0;
954 
    assign c[847:846] = a[283:282];
955 
    assign c[849:848] = a[619:618];
956 
    assign c[851:850] = 0;
957 
    assign c[853:852] = {a[550], a[551]};
958 
    assign c[855:854] = a[621:620];
959 
    assign c[857:856] = 0;
960 
    assign c[859:858] = {a[552], a[553]};
961 
    assign c[861:860] = a[623:622];
962 
    assign c[863:862] = 0;
963 
    assign c[865:864] = a[821:820];
964 
    assign c[867:866] = a[891:890];
965 
    assign c[869:868] = 0;
966 
    assign c[871:870] = a[823:822];
967 
    assign c[873:872] = a[893:892];
968 
    assign c[875:874] = 0;
969 
    assign c[877:876] = a[825:824];
970 
    assign c[879:878] = a[895:894];
971 
    assign c[881:880] = 0;
972 
    assign c[883:882] = a[295:294];
973 
    assign c[885:884] = a[631:630];
974 
    assign c[887:886] = 0;
975 
    assign c[889:888] = a[297:296];
976 
    assign c[891:890] = a[633:632];
977 
    assign c[893:892] = 0;
978 
    assign c[895:894] = a[299:298];
979 
    assign c[897:896] = a[635:634];
980 
    assign c[899:898] = 0;
981 
    assign c[901:900] = {a[566], a[567]};
982 
    assign c[903:902] = a[637:636];
983 
    assign c[905:904] = 0;
984 
    assign c[907:906] = {a[568], a[569]};
985 
    assign c[909:908] = a[639:638];
986 
    assign c[911:910] = 0;
987 
    assign c[913:912] = a[837:836];
988 
    assign c[915:914] = a[907:906];
989 
    assign c[917:916] = 0;
990 
    assign c[919:918] = a[839:838];
991 
    assign c[921:920] = a[909:908];
992 
    assign c[923:922] = 0;
993 
    assign c[925:924] = a[841:840];
994 
    assign c[927:926] = a[911:910];
995 
    assign c[929:928] = 0;
996 
    assign c[931:930] = a[311:310];
997 
    assign c[933:932] = a[647:646];
998 
    assign c[935:934] = 0;
999 
    assign c[937:936] = a[313:312];
1000 
    assign c[939:938] = a[649:648];
1001 
    assign c[941:940] = 0;
1002 
    assign c[943:942] = a[315:314];
1003 
    assign c[945:944] = a[651:650];
1004 
    assign c[947:946] = 0;
1005 
    assign c[949:948] = {a[582], a[583]};
1006 
    assign c[951:950] = a[653:652];
1007 
    assign c[953:952] = 0;
1008 
    assign c[955:954] = {a[584], a[585]};
1009 
    assign c[957:956] = a[655:654];
1010 
    assign c[959:958] = 0;
1011 
    assign c[961:960] = a[853:852];
1012 
    assign c[963:962] = a[923:922];
1013 
    assign c[965:964] = 0;
1014 
    assign c[967:966] = a[855:854];
1015 
    assign c[969:968] = a[925:924];
1016 
    assign c[971:970] = 0;
1017 
    assign c[973:972] = a[857:856];
1018 
    assign c[975:974] = a[927:926];
1019 
    assign c[977:976] = 0;
1020 
    assign c[979:978] = a[327:326];
1021 
    assign c[981:980] = a[663:662];
1022 
    assign c[983:982] = 0;
1023 
    assign c[985:984] = a[329:328];
1024 
    assign c[987:986] = a[665:664];
1025 
    assign c[989:988] = 0;
1026 
    assign c[991:990] = a[331:330];
1027 
    assign c[993:992] = a[667:666];
1028 
    assign c[995:994] = 0;
1029 
    assign c[997:996] = {a[598], a[599]};
1030 
    assign c[999:998] = a[669:668];
1031 
    assign c[1001:1000] = 0;
1032 
    assign c[1003:1002] = {a[600], a[601]};
1033 
    assign c[1005:1004] = a[671:670];
1034 
endmodule
1035 
/* c == v2(a) */
1036 
module v2(a, c);
1037 
    input [1005:0] a;
1038 
    output [1005:0] c;
1039 
    assign c[1:0] = 0;
1040 
    assign c[3:2] = {a[602], a[603]};
1041 
    assign c[5:4] = 0;
1042 
    assign c[7:6] = 0;
1043 
    assign c[9:8] = {a[604], a[605]};
1044 
    assign c[11:10] = 0;
1045 
    assign c[13:12] = 0;
1046 
    assign c[15:14] = {a[606], a[607]};
1047 
    assign c[17:16] = 0;
1048 
    assign c[19:18] = 0;
1049 
    assign c[21:20] = a[875:874];
1050 
    assign c[23:22] = 0;
1051 
    assign c[25:24] = 0;
1052 
    assign c[27:26] = a[877:876];
1053 
    assign c[29:28] = 0;
1054 
    assign c[31:30] = 0;
1055 
    assign c[33:32] = a[879:878];
1056 
    assign c[35:34] = 0;
1057 
    assign c[37:36] = 0;
1058 
    assign c[39:38] = a[349:348];
1059 
    assign c[41:40] = 0;
1060 
    assign c[43:42] = 0;
1061 
    assign c[45:44] = a[351:350];
1062 
    assign c[47:46] = 0;
1063 
    assign c[49:48] = 0;
1064 
    assign c[51:50] = {a[618], a[619]};
1065 
    assign c[53:52] = 0;
1066 
    assign c[55:54] = 0;
1067 
    assign c[57:56] = {a[620], a[621]};
1068 
    assign c[59:58] = 0;
1069 
    assign c[61:60] = 0;
1070 
    assign c[63:62] = {a[622], a[623]};
1071 
    assign c[65:64] = 0;
1072 
    assign c[67:66] = 0;
1073 
    assign c[69:68] = a[891:890];
1074 
    assign c[71:70] = 0;
1075 
    assign c[73:72] = 0;
1076 
    assign c[75:74] = a[893:892];
1077 
    assign c[77:76] = 0;
1078 
    assign c[79:78] = 0;
1079 
    assign c[81:80] = a[895:894];
1080 
    assign c[83:82] = 0;
1081 
    assign c[85:84] = 0;
1082 
    assign c[87:86] = a[365:364];
1083 
    assign c[89:88] = 0;
1084 
    assign c[91:90] = 0;
1085 
    assign c[93:92] = a[367:366];
1086 
    assign c[95:94] = 0;
1087 
    assign c[97:96] = 0;
1088 
    assign c[99:98] = {a[634], a[635]};
1089 
    assign c[101:100] = 0;
1090 
    assign c[103:102] = 0;
1091 
    assign c[105:104] = {a[636], a[637]};
1092 
    assign c[107:106] = 0;
1093 
    assign c[109:108] = 0;
1094 
    assign c[111:110] = {a[638], a[639]};
1095 
    assign c[113:112] = 0;
1096 
    assign c[115:114] = 0;
1097 
    assign c[117:116] = a[907:906];
1098 
    assign c[119:118] = 0;
1099 
    assign c[121:120] = 0;
1100 
    assign c[123:122] = a[909:908];
1101 
    assign c[125:124] = 0;
1102 
    assign c[127:126] = 0;
1103 
    assign c[129:128] = a[911:910];
1104 
    assign c[131:130] = 0;
1105 
    assign c[133:132] = 0;
1106 
    assign c[135:134] = a[381:380];
1107 
    assign c[137:136] = 0;
1108 
    assign c[139:138] = 0;
1109 
    assign c[141:140] = a[383:382];
1110 
    assign c[143:142] = 0;
1111 
    assign c[145:144] = 0;
1112 
    assign c[147:146] = {a[650], a[651]};
1113 
    assign c[149:148] = 0;
1114 
    assign c[151:150] = 0;
1115 
    assign c[153:152] = {a[652], a[653]};
1116 
    assign c[155:154] = 0;
1117 
    assign c[157:156] = 0;
1118 
    assign c[159:158] = {a[654], a[655]};
1119 
    assign c[161:160] = 0;
1120 
    assign c[163:162] = 0;
1121 
    assign c[165:164] = a[923:922];
1122 
    assign c[167:166] = 0;
1123 
    assign c[169:168] = 0;
1124 
    assign c[171:170] = a[925:924];
1125 
    assign c[173:172] = 0;
1126 
    assign c[175:174] = 0;
1127 
    assign c[177:176] = a[927:926];
1128 
    assign c[179:178] = 0;
1129 
    assign c[181:180] = 0;
1130 
    assign c[183:182] = a[397:396];
1131 
    assign c[185:184] = 0;
1132 
    assign c[187:186] = 0;
1133 
    assign c[189:188] = a[399:398];
1134 
    assign c[191:190] = 0;
1135 
    assign c[193:192] = 0;
1136 
    assign c[195:194] = {a[666], a[667]};
1137 
    assign c[197:196] = 0;
1138 
    assign c[199:198] = 0;
1139 
    assign c[201:200] = {a[668], a[669]};
1140 
    assign c[203:202] = 0;
1141 
    assign c[205:204] = 0;
1142 
    assign c[207:206] = {a[670], a[671]};
1143 
    assign c[209:208] = 0;
1144 
    assign c[211:210] = a[71:70];
1145 
    assign c[213:212] = 0;
1146 
    assign c[215:214] = 0;
1147 
    assign c[217:216] = a[73:72];
1148 
    assign c[219:218] = 0;
1149 
    assign c[221:220] = 0;
1150 
    assign c[223:222] = a[75:74];
1151 
    assign c[225:224] = 0;
1152 
    assign c[227:226] = 0;
1153 
    assign c[229:228] = {a[874], a[875]};
1154 
    assign c[231:230] = 0;
1155 
    assign c[233:232] = 0;
1156 
    assign c[235:234] = {a[876], a[877]};
1157 
    assign c[237:236] = 0;
1158 
    assign c[239:238] = 0;
1159 
    assign c[241:240] = {a[346], a[347]};
1160 
    assign c[243:242] = 0;
1161 
    assign c[245:244] = 0;
1162 
    assign c[247:246] = a[615:614];
1163 
    assign c[249:248] = 0;
1164 
    assign c[251:250] = 0;
1165 
    assign c[253:252] = a[617:616];
1166 
    assign c[255:254] = 0;
1167 
    assign c[257:256] = 0;
1168 
    assign c[259:258] = a[87:86];
1169 
    assign c[261:260] = 0;
1170 
    assign c[263:262] = 0;
1171 
    assign c[265:264] = a[89:88];
1172 
    assign c[267:266] = 0;
1173 
    assign c[269:268] = 0;
1174 
    assign c[271:270] = a[91:90];
1175 
    assign c[273:272] = 0;
1176 
    assign c[275:274] = 0;
1177 
    assign c[277:276] = {a[890], a[891]};
1178 
    assign c[279:278] = 0;
1179 
    assign c[281:280] = 0;
1180 
    assign c[283:282] = {a[892], a[893]};
1181 
    assign c[285:284] = 0;
1182 
    assign c[287:286] = 0;
1183 
    assign c[289:288] = {a[362], a[363]};
1184 
    assign c[291:290] = 0;
1185 
    assign c[293:292] = 0;
1186 
    assign c[295:294] = a[631:630];
1187 
    assign c[297:296] = 0;
1188 
    assign c[299:298] = 0;
1189 
    assign c[301:300] = a[633:632];
1190 
    assign c[303:302] = 0;
1191 
    assign c[305:304] = 0;
1192 
    assign c[307:306] = a[103:102];
1193 
    assign c[309:308] = 0;
1194 
    assign c[311:310] = 0;
1195 
    assign c[313:312] = a[105:104];
1196 
    assign c[315:314] = 0;
1197 
    assign c[317:316] = 0;
1198 
    assign c[319:318] = a[107:106];
1199 
    assign c[321:320] = 0;
1200 
    assign c[323:322] = 0;
1201 
    assign c[325:324] = {a[906], a[907]};
1202 
    assign c[327:326] = 0;
1203 
    assign c[329:328] = 0;
1204 
    assign c[331:330] = {a[908], a[909]};
1205 
    assign c[333:332] = 0;
1206 
    assign c[335:334] = 0;
1207 
    assign c[337:336] = {a[378], a[379]};
1208 
    assign c[339:338] = 0;
1209 
    assign c[341:340] = 0;
1210 
    assign c[343:342] = a[647:646];
1211 
    assign c[345:344] = 0;
1212 
    assign c[347:346] = 0;
1213 
    assign c[349:348] = a[649:648];
1214 
    assign c[351:350] = 0;
1215 
    assign c[353:352] = 0;
1216 
    assign c[355:354] = a[119:118];
1217 
    assign c[357:356] = 0;
1218 
    assign c[359:358] = 0;
1219 
    assign c[361:360] = a[121:120];
1220 
    assign c[363:362] = 0;
1221 
    assign c[365:364] = 0;
1222 
    assign c[367:366] = a[123:122];
1223 
    assign c[369:368] = 0;
1224 
    assign c[371:370] = 0;
1225 
    assign c[373:372] = {a[922], a[923]};
1226 
    assign c[375:374] = 0;
1227 
    assign c[377:376] = 0;
1228 
    assign c[379:378] = {a[924], a[925]};
1229 
    assign c[381:380] = 0;
1230 
    assign c[383:382] = 0;
1231 
    assign c[385:384] = {a[394], a[395]};
1232 
    assign c[387:386] = 0;
1233 
    assign c[389:388] = 0;
1234 
    assign c[391:390] = a[663:662];
1235 
    assign c[393:392] = 0;
1236 
    assign c[395:394] = 0;
1237 
    assign c[397:396] = a[665:664];
1238 
    assign c[399:398] = 0;
1239 
    assign c[401:400] = 0;
1240 
    assign c[403:402] = a[135:134];
1241 
    assign c[405:404] = 0;
1242 
    assign c[407:406] = 0;
1243 
    assign c[409:408] = a[137:136];
1244 
    assign c[411:410] = 0;
1245 
    assign c[413:412] = 0;
1246 
    assign c[415:414] = a[139:138];
1247 
    assign c[417:416] = 0;
1248 
    assign c[419:418] = 0;
1249 
    assign c[421:420] = {a[938], a[939]};
1250 
    assign c[423:422] = 0;
1251 
    assign c[425:424] = 0;
1252 
    assign c[427:426] = {a[940], a[941]};
1253 
    assign c[429:428] = 0;
1254 
    assign c[431:430] = 0;
1255 
    assign c[433:432] = {a[410], a[411]};
1256 
    assign c[435:434] = 0;
1257 
    assign c[437:436] = 0;
1258 
    assign c[439:438] = a[679:678];
1259 
    assign c[441:440] = 0;
1260 
    assign c[443:442] = 0;
1261 
    assign c[445:444] = a[681:680];
1262 
    assign c[447:446] = 0;
1263 
    assign c[449:448] = 0;
1264 
    assign c[451:450] = a[151:150];
1265 
    assign c[453:452] = 0;
1266 
    assign c[455:454] = 0;
1267 
    assign c[457:456] = a[153:152];
1268 
    assign c[459:458] = 0;
1269 
    assign c[461:460] = 0;
1270 
    assign c[463:462] = a[155:154];
1271 
    assign c[465:464] = 0;
1272 
    assign c[467:466] = 0;
1273 
    assign c[469:468] = {a[954], a[955]};
1274 
    assign c[471:470] = 0;
1275 
    assign c[473:472] = 0;
1276 
    assign c[475:474] = {a[956], a[957]};
1277 
    assign c[477:476] = 0;
1278 
    assign c[479:478] = 0;
1279 
    assign c[481:480] = {a[426], a[427]};
1280 
    assign c[483:482] = 0;
1281 
    assign c[485:484] = 0;
1282 
    assign c[487:486] = a[695:694];
1283 
    assign c[489:488] = 0;
1284 
    assign c[491:490] = 0;
1285 
    assign c[493:492] = a[697:696];
1286 
    assign c[495:494] = 0;
1287 
    assign c[497:496] = 0;
1288 
    assign c[499:498] = a[167:166];
1289 
    assign c[501:500] = 0;
1290 
    assign c[503:502] = 0;
1291 
    assign c[505:504] = a[169:168];
1292 
    assign c[507:506] = 0;
1293 
    assign c[509:508] = 0;
1294 
    assign c[511:510] = a[171:170];
1295 
    assign c[513:512] = 0;
1296 
    assign c[515:514] = 0;
1297 
    assign c[517:516] = {a[970], a[971]};
1298 
    assign c[519:518] = 0;
1299 
    assign c[521:520] = 0;
1300 
    assign c[523:522] = {a[972], a[973]};
1301 
    assign c[525:524] = 0;
1302 
    assign c[527:526] = 0;
1303 
    assign c[529:528] = {a[442], a[443]};
1304 
    assign c[531:530] = 0;
1305 
    assign c[533:532] = 0;
1306 
    assign c[535:534] = a[711:710];
1307 
    assign c[537:536] = 0;
1308 
    assign c[539:538] = 0;
1309 
    assign c[541:540] = a[713:712];
1310 
    assign c[543:542] = 0;
1311 
    assign c[545:544] = 0;
1312 
    assign c[547:546] = a[183:182];
1313 
    assign c[549:548] = 0;
1314 
    assign c[551:550] = 0;
1315 
    assign c[553:552] = a[185:184];
1316 
    assign c[555:554] = 0;
1317 
    assign c[557:556] = 0;
1318 
    assign c[559:558] = a[187:186];
1319 
    assign c[561:560] = 0;
1320 
    assign c[563:562] = 0;
1321 
    assign c[565:564] = {a[986], a[987]};
1322 
    assign c[567:566] = 0;
1323 
    assign c[569:568] = 0;
1324 
    assign c[571:570] = {a[988], a[989]};
1325 
    assign c[573:572] = 0;
1326 
    assign c[575:574] = 0;
1327 
    assign c[577:576] = {a[458], a[459]};
1328 
    assign c[579:578] = 0;
1329 
    assign c[581:580] = 0;
1330 
    assign c[583:582] = a[727:726];
1331 
    assign c[585:584] = 0;
1332 
    assign c[587:586] = 0;
1333 
    assign c[589:588] = a[729:728];
1334 
    assign c[591:590] = 0;
1335 
    assign c[593:592] = 0;
1336 
    assign c[595:594] = a[199:198];
1337 
    assign c[597:596] = 0;
1338 
    assign c[599:598] = 0;
1339 
    assign c[601:600] = a[201:200];
1340 
    assign c[603:602] = 0;
1341 
    assign c[605:604] = 0;
1342 
    assign c[607:606] = a[203:202];
1343 
    assign c[609:608] = 0;
1344 
    assign c[611:610] = 0;
1345 
    assign c[613:612] = {a[1002], a[1003]};
1346 
    assign c[615:614] = 0;
1347 
    assign c[617:616] = 0;
1348 
    assign c[619:618] = {a[1004], a[1005]};
1349 
    assign c[621:620] = 0;
1350 
    assign c[623:622] = 0;
1351 
    assign c[625:624] = {a[474], a[475]};
1352 
    assign c[627:626] = 0;
1353 
    assign c[629:628] = 0;
1354 
    assign c[631:630] = {a[476], a[477]};
1355 
    assign c[633:632] = 0;
1356 
    assign c[635:634] = 0;
1357 
    assign c[637:636] = {a[478], a[479]};
1358 
    assign c[639:638] = 0;
1359 
    assign c[641:640] = 0;
1360 
    assign c[643:642] = a[747:746];
1361 
    assign c[645:644] = 0;
1362 
    assign c[647:646] = 0;
1363 
    assign c[649:648] = a[749:748];
1364 
    assign c[651:650] = 0;
1365 
    assign c[653:652] = 0;
1366 
    assign c[655:654] = a[751:750];
1367 
    assign c[657:656] = 0;
1368 
    assign c[659:658] = 0;
1369 
    assign c[661:660] = a[221:220];
1370 
    assign c[663:662] = 0;
1371 
    assign c[665:664] = 0;
1372 
    assign c[667:666] = a[223:222];
1373 
    assign c[669:668] = 0;
1374 
    assign c[671:670] = 0;
1375 
    assign c[673:672] = {a[490], a[491]};
1376 
    assign c[675:674] = 0;
1377 
    assign c[677:676] = 0;
1378 
    assign c[679:678] = {a[492], a[493]};
1379 
    assign c[681:680] = 0;
1380 
    assign c[683:682] = 0;
1381 
    assign c[685:684] = {a[494], a[495]};
1382 
    assign c[687:686] = 0;
1383 
    assign c[689:688] = 0;
1384 
    assign c[691:690] = a[763:762];
1385 
    assign c[693:692] = 0;
1386 
    assign c[695:694] = 0;
1387 
    assign c[697:696] = a[765:764];
1388 
    assign c[699:698] = 0;
1389 
    assign c[701:700] = 0;
1390 
    assign c[703:702] = a[767:766];
1391 
    assign c[705:704] = 0;
1392 
    assign c[707:706] = 0;
1393 
    assign c[709:708] = a[237:236];
1394 
    assign c[711:710] = 0;
1395 
    assign c[713:712] = 0;
1396 
    assign c[715:714] = a[239:238];
1397 
    assign c[717:716] = 0;
1398 
    assign c[719:718] = 0;
1399 
    assign c[721:720] = {a[506], a[507]};
1400 
    assign c[723:722] = 0;
1401 
    assign c[725:724] = 0;
1402 
    assign c[727:726] = {a[508], a[509]};
1403 
    assign c[729:728] = 0;
1404 
    assign c[731:730] = 0;
1405 
    assign c[733:732] = {a[510], a[511]};
1406 
    assign c[735:734] = 0;
1407 
    assign c[737:736] = 0;
1408 
    assign c[739:738] = a[779:778];
1409 
    assign c[741:740] = 0;
1410 
    assign c[743:742] = 0;
1411 
    assign c[745:744] = a[781:780];
1412 
    assign c[747:746] = 0;
1413 
    assign c[749:748] = 0;
1414 
    assign c[751:750] = a[783:782];
1415 
    assign c[753:752] = 0;
1416 
    assign c[755:754] = 0;
1417 
    assign c[757:756] = a[253:252];
1418 
    assign c[759:758] = 0;
1419 
    assign c[761:760] = 0;
1420 
    assign c[763:762] = a[255:254];
1421 
    assign c[765:764] = 0;
1422 
    assign c[767:766] = 0;
1423 
    assign c[769:768] = {a[522], a[523]};
1424 
    assign c[771:770] = 0;
1425 
    assign c[773:772] = 0;
1426 
    assign c[775:774] = {a[524], a[525]};
1427 
    assign c[777:776] = 0;
1428 
    assign c[779:778] = 0;
1429 
    assign c[781:780] = {a[526], a[527]};
1430 
    assign c[783:782] = 0;
1431 
    assign c[785:784] = 0;
1432 
    assign c[787:786] = a[795:794];
1433 
    assign c[789:788] = 0;
1434 
    assign c[791:790] = 0;
1435 
    assign c[793:792] = a[797:796];
1436 
    assign c[795:794] = 0;
1437 
    assign c[797:796] = 0;
1438 
    assign c[799:798] = a[799:798];
1439 
    assign c[801:800] = 0;
1440 
    assign c[803:802] = 0;
1441 
    assign c[805:804] = a[269:268];
1442 
    assign c[807:806] = 0;
1443 
    assign c[809:808] = 0;
1444 
    assign c[811:810] = a[271:270];
1445 
    assign c[813:812] = 0;
1446 
    assign c[815:814] = 0;
1447 
    assign c[817:816] = {a[538], a[539]};
1448 
    assign c[819:818] = 0;
1449 
    assign c[821:820] = 0;
1450 
    assign c[823:822] = {a[540], a[541]};
1451 
    assign c[825:824] = 0;
1452 
    assign c[827:826] = 0;
1453 
    assign c[829:828] = {a[542], a[543]};
1454 
    assign c[831:830] = 0;
1455 
    assign c[833:832] = 0;
1456 
    assign c[835:834] = a[811:810];
1457 
    assign c[837:836] = 0;
1458 
    assign c[839:838] = 0;
1459 
    assign c[841:840] = a[813:812];
1460 
    assign c[843:842] = 0;
1461 
    assign c[845:844] = 0;
1462 
    assign c[847:846] = a[815:814];
1463 
    assign c[849:848] = 0;
1464 
    assign c[851:850] = 0;
1465 
    assign c[853:852] = a[285:284];
1466 
    assign c[855:854] = 0;
1467 
    assign c[857:856] = 0;
1468 
    assign c[859:858] = a[287:286];
1469 
    assign c[861:860] = 0;
1470 
    assign c[863:862] = 0;
1471 
    assign c[865:864] = {a[554], a[555]};
1472 
    assign c[867:866] = 0;
1473 
    assign c[869:868] = 0;
1474 
    assign c[871:870] = {a[556], a[557]};
1475 
    assign c[873:872] = 0;
1476 
    assign c[875:874] = 0;
1477 
    assign c[877:876] = {a[558], a[559]};
1478 
    assign c[879:878] = 0;
1479 
    assign c[881:880] = 0;
1480 
    assign c[883:882] = a[827:826];
1481 
    assign c[885:884] = 0;
1482 
    assign c[887:886] = 0;
1483 
    assign c[889:888] = a[829:828];
1484 
    assign c[891:890] = 0;
1485 
    assign c[893:892] = 0;
1486 
    assign c[895:894] = a[831:830];
1487 
    assign c[897:896] = 0;
1488 
    assign c[899:898] = 0;
1489 
    assign c[901:900] = a[301:300];
1490 
    assign c[903:902] = 0;
1491 
    assign c[905:904] = 0;
1492 
    assign c[907:906] = a[303:302];
1493 
    assign c[909:908] = 0;
1494 
    assign c[911:910] = 0;
1495 
    assign c[913:912] = {a[570], a[571]};
1496 
    assign c[915:914] = 0;
1497 
    assign c[917:916] = 0;
1498 
    assign c[919:918] = {a[572], a[573]};
1499 
    assign c[921:920] = 0;
1500 
    assign c[923:922] = 0;
1501 
    assign c[925:924] = {a[574], a[575]};
1502 
    assign c[927:926] = 0;
1503 
    assign c[929:928] = 0;
1504 
    assign c[931:930] = a[843:842];
1505 
    assign c[933:932] = 0;
1506 
    assign c[935:934] = 0;
1507 
    assign c[937:936] = a[845:844];
1508 
    assign c[939:938] = 0;
1509 
    assign c[941:940] = 0;
1510 
    assign c[943:942] = a[847:846];
1511 
    assign c[945:944] = 0;
1512 
    assign c[947:946] = 0;
1513 
    assign c[949:948] = a[317:316];
1514 
    assign c[951:950] = 0;
1515 
    assign c[953:952] = 0;
1516 
    assign c[955:954] = a[319:318];
1517 
    assign c[957:956] = 0;
1518 
    assign c[959:958] = 0;
1519 
    assign c[961:960] = {a[586], a[587]};
1520 
    assign c[963:962] = 0;
1521 
    assign c[965:964] = 0;
1522 
    assign c[967:966] = {a[588], a[589]};
1523 
    assign c[969:968] = 0;
1524 
    assign c[971:970] = 0;
1525 
    assign c[973:972] = {a[590], a[591]};
1526 
    assign c[975:974] = 0;
1527 
    assign c[977:976] = 0;
1528 
    assign c[979:978] = a[859:858];
1529 
    assign c[981:980] = 0;
1530 
    assign c[983:982] = 0;
1531 
    assign c[985:984] = a[861:860];
1532 
    assign c[987:986] = 0;
1533 
    assign c[989:988] = 0;
1534 
    assign c[991:990] = a[863:862];
1535 
    assign c[993:992] = 0;
1536 
    assign c[995:994] = 0;
1537 
    assign c[997:996] = a[333:332];
1538 
    assign c[999:998] = 0;
1539 
    assign c[1001:1000] = 0;
1540 
    assign c[1003:1002] = a[335:334];
1541 
    assign c[1005:1004] = 0;
1542 
endmodule
1543 
/* c == v3(a) */
1544 
module v3(a, c);
1545 
    input [1005:0] a;
1546 
    output [1005:0] c;
1547 
    assign c[1:0] = 0;
1548 
    assign c[3:2] = 0;
1549 
    assign c[5:4] = 0;
1550 
    assign c[7:6] = 0;
1551 
    assign c[9:8] = 0;
1552 
    assign c[11:10] = 0;
1553 
    assign c[13:12] = 0;
1554 
    assign c[15:14] = 0;
1555 
    assign c[17:16] = 0;
1556 
    assign c[19:18] = 0;
1557 
    assign c[21:20] = 0;
1558 
    assign c[23:22] = 0;
1559 
    assign c[25:24] = 0;
1560 
    assign c[27:26] = 0;
1561 
    assign c[29:28] = 0;
1562 
    assign c[31:30] = 0;
1563 
    assign c[33:32] = 0;
1564 
    assign c[35:34] = 0;
1565 
    assign c[37:36] = 0;
1566 
    assign c[39:38] = 0;
1567 
    assign c[41:40] = 0;
1568 
    assign c[43:42] = 0;
1569 
    assign c[45:44] = 0;
1570 
    assign c[47:46] = 0;
1571 
    assign c[49:48] = 0;
1572 
    assign c[51:50] = 0;
1573 
    assign c[53:52] = 0;
1574 
    assign c[55:54] = 0;
1575 
    assign c[57:56] = 0;
1576 
    assign c[59:58] = 0;
1577 
    assign c[61:60] = 0;
1578 
    assign c[63:62] = 0;
1579 
    assign c[65:64] = 0;
1580 
    assign c[67:66] = 0;
1581 
    assign c[69:68] = 0;
1582 
    assign c[71:70] = 0;
1583 
    assign c[73:72] = 0;
1584 
    assign c[75:74] = 0;
1585 
    assign c[77:76] = 0;
1586 
    assign c[79:78] = 0;
1587 
    assign c[81:80] = 0;
1588 
    assign c[83:82] = 0;
1589 
    assign c[85:84] = 0;
1590 
    assign c[87:86] = 0;
1591 
    assign c[89:88] = 0;
1592 
    assign c[91:90] = 0;
1593 
    assign c[93:92] = 0;
1594 
    assign c[95:94] = 0;
1595 
    assign c[97:96] = 0;
1596 
    assign c[99:98] = 0;
1597 
    assign c[101:100] = 0;
1598 
    assign c[103:102] = 0;
1599 
    assign c[105:104] = 0;
1600 
    assign c[107:106] = 0;
1601 
    assign c[109:108] = 0;
1602 
    assign c[111:110] = 0;
1603 
    assign c[113:112] = 0;
1604 
    assign c[115:114] = 0;
1605 
    assign c[117:116] = 0;
1606 
    assign c[119:118] = 0;
1607 
    assign c[121:120] = 0;
1608 
    assign c[123:122] = 0;
1609 
    assign c[125:124] = 0;
1610 
    assign c[127:126] = 0;
1611 
    assign c[129:128] = 0;
1612 
    assign c[131:130] = 0;
1613 
    assign c[133:132] = 0;
1614 
    assign c[135:134] = 0;
1615 
    assign c[137:136] = 0;
1616 
    assign c[139:138] = 0;
1617 
    assign c[141:140] = 0;
1618 
    assign c[143:142] = 0;
1619 
    assign c[145:144] = 0;
1620 
    assign c[147:146] = 0;
1621 
    assign c[149:148] = 0;
1622 
    assign c[151:150] = 0;
1623 
    assign c[153:152] = 0;
1624 
    assign c[155:154] = 0;
1625 
    assign c[157:156] = 0;
1626 
    assign c[159:158] = 0;
1627 
    assign c[161:160] = 0;
1628 
    assign c[163:162] = 0;
1629 
    assign c[165:164] = 0;
1630 
    assign c[167:166] = 0;
1631 
    assign c[169:168] = 0;
1632 
    assign c[171:170] = 0;
1633 
    assign c[173:172] = 0;
1634 
    assign c[175:174] = 0;
1635 
    assign c[177:176] = 0;
1636 
    assign c[179:178] = 0;
1637 
    assign c[181:180] = 0;
1638 
    assign c[183:182] = 0;
1639 
    assign c[185:184] = 0;
1640 
    assign c[187:186] = 0;
1641 
    assign c[189:188] = 0;
1642 
    assign c[191:190] = 0;
1643 
    assign c[193:192] = 0;
1644 
    assign c[195:194] = 0;
1645 
    assign c[197:196] = 0;
1646 
    assign c[199:198] = 0;
1647 
    assign c[201:200] = 0;
1648 
    assign c[203:202] = 0;
1649 
    assign c[205:204] = 0;
1650 
    assign c[207:206] = 0;
1651 
    assign c[209:208] = 0;
1652 
    assign c[211:210] = a[603:602];
1653 
    assign c[213:212] = 0;
1654 
    assign c[215:214] = 0;
1655 
    assign c[217:216] = a[605:604];
1656 
    assign c[219:218] = 0;
1657 
    assign c[221:220] = 0;
1658 
    assign c[223:222] = a[607:606];
1659 
    assign c[225:224] = 0;
1660 
    assign c[227:226] = 0;
1661 
    assign c[229:228] = a[77:76];
1662 
    assign c[231:230] = 0;
1663 
    assign c[233:232] = 0;
1664 
    assign c[235:234] = a[79:78];
1665 
    assign c[237:236] = 0;
1666 
    assign c[239:238] = 0;
1667 
    assign c[241:240] = {a[878], a[879]};
1668 
    assign c[243:242] = 0;
1669 
    assign c[245:244] = 0;
1670 
    assign c[247:246] = {a[348], a[349]};
1671 
    assign c[249:248] = 0;
1672 
    assign c[251:250] = 0;
1673 
    assign c[253:252] = {a[350], a[351]};
1674 
    assign c[255:254] = 0;
1675 
    assign c[257:256] = 0;
1676 
    assign c[259:258] = a[619:618];
1677 
    assign c[261:260] = 0;
1678 
    assign c[263:262] = 0;
1679 
    assign c[265:264] = a[621:620];
1680 
    assign c[267:266] = 0;
1681 
    assign c[269:268] = 0;
1682 
    assign c[271:270] = a[623:622];
1683 
    assign c[273:272] = 0;
1684 
    assign c[275:274] = 0;
1685 
    assign c[277:276] = a[93:92];
1686 
    assign c[279:278] = 0;
1687 
    assign c[281:280] = 0;
1688 
    assign c[283:282] = a[95:94];
1689 
    assign c[285:284] = 0;
1690 
    assign c[287:286] = 0;
1691 
    assign c[289:288] = {a[894], a[895]};
1692 
    assign c[291:290] = 0;
1693 
    assign c[293:292] = 0;
1694 
    assign c[295:294] = {a[364], a[365]};
1695 
    assign c[297:296] = 0;
1696 
    assign c[299:298] = 0;
1697 
    assign c[301:300] = {a[366], a[367]};
1698 
    assign c[303:302] = 0;
1699 
    assign c[305:304] = 0;
1700 
    assign c[307:306] = a[635:634];
1701 
    assign c[309:308] = 0;
1702 
    assign c[311:310] = 0;
1703 
    assign c[313:312] = a[637:636];
1704 
    assign c[315:314] = 0;
1705 
    assign c[317:316] = 0;
1706 
    assign c[319:318] = a[639:638];
1707 
    assign c[321:320] = 0;
1708 
    assign c[323:322] = 0;
1709 
    assign c[325:324] = a[109:108];
1710 
    assign c[327:326] = 0;
1711 
    assign c[329:328] = 0;
1712 
    assign c[331:330] = a[111:110];
1713 
    assign c[333:332] = 0;
1714 
    assign c[335:334] = 0;
1715 
    assign c[337:336] = {a[910], a[911]};
1716 
    assign c[339:338] = 0;
1717 
    assign c[341:340] = 0;
1718 
    assign c[343:342] = {a[380], a[381]};
1719 
    assign c[345:344] = 0;
1720 
    assign c[347:346] = 0;
1721 
    assign c[349:348] = {a[382], a[383]};
1722 
    assign c[351:350] = 0;
1723 
    assign c[353:352] = 0;
1724 
    assign c[355:354] = a[651:650];
1725 
    assign c[357:356] = 0;
1726 
    assign c[359:358] = 0;
1727 
    assign c[361:360] = a[653:652];
1728 
    assign c[363:362] = 0;
1729 
    assign c[365:364] = 0;
1730 
    assign c[367:366] = a[655:654];
1731 
    assign c[369:368] = 0;
1732 
    assign c[371:370] = 0;
1733 
    assign c[373:372] = a[125:124];
1734 
    assign c[375:374] = 0;
1735 
    assign c[377:376] = 0;
1736 
    assign c[379:378] = a[127:126];
1737 
    assign c[381:380] = 0;
1738 
    assign c[383:382] = 0;
1739 
    assign c[385:384] = {a[926], a[927]};
1740 
    assign c[387:386] = 0;
1741 
    assign c[389:388] = 0;
1742 
    assign c[391:390] = {a[396], a[397]};
1743 
    assign c[393:392] = 0;
1744 
    assign c[395:394] = 0;
1745 
    assign c[397:396] = {a[398], a[399]};
1746 
    assign c[399:398] = 0;
1747 
    assign c[401:400] = 0;
1748 
    assign c[403:402] = a[667:666];
1749 
    assign c[405:404] = 0;
1750 
    assign c[407:406] = 0;
1751 
    assign c[409:408] = a[669:668];
1752 
    assign c[411:410] = 0;
1753 
    assign c[413:412] = 0;
1754 
    assign c[415:414] = a[671:670];
1755 
    assign c[417:416] = 0;
1756 
    assign c[419:418] = 0;
1757 
    assign c[421:420] = a[141:140];
1758 
    assign c[423:422] = 0;
1759 
    assign c[425:424] = 0;
1760 
    assign c[427:426] = a[143:142];
1761 
    assign c[429:428] = 0;
1762 
    assign c[431:430] = 0;
1763 
    assign c[433:432] = {a[942], a[943]};
1764 
    assign c[435:434] = 0;
1765 
    assign c[437:436] = 0;
1766 
    assign c[439:438] = {a[412], a[413]};
1767 
    assign c[441:440] = 0;
1768 
    assign c[443:442] = 0;
1769 
    assign c[445:444] = {a[414], a[415]};
1770 
    assign c[447:446] = 0;
1771 
    assign c[449:448] = 0;
1772 
    assign c[451:450] = a[683:682];
1773 
    assign c[453:452] = 0;
1774 
    assign c[455:454] = 0;
1775 
    assign c[457:456] = a[685:684];
1776 
    assign c[459:458] = 0;
1777 
    assign c[461:460] = 0;
1778 
    assign c[463:462] = a[687:686];
1779 
    assign c[465:464] = 0;
1780 
    assign c[467:466] = 0;
1781 
    assign c[469:468] = a[157:156];
1782 
    assign c[471:470] = 0;
1783 
    assign c[473:472] = 0;
1784 
    assign c[475:474] = a[159:158];
1785 
    assign c[477:476] = 0;
1786 
    assign c[479:478] = 0;
1787 
    assign c[481:480] = {a[958], a[959]};
1788 
    assign c[483:482] = 0;
1789 
    assign c[485:484] = 0;
1790 
    assign c[487:486] = {a[428], a[429]};
1791 
    assign c[489:488] = 0;
1792 
    assign c[491:490] = 0;
1793 
    assign c[493:492] = {a[430], a[431]};
1794 
    assign c[495:494] = 0;
1795 
    assign c[497:496] = 0;
1796 
    assign c[499:498] = a[699:698];
1797 
    assign c[501:500] = 0;
1798 
    assign c[503:502] = 0;
1799 
    assign c[505:504] = a[701:700];
1800 
    assign c[507:506] = 0;
1801 
    assign c[509:508] = 0;
1802 
    assign c[511:510] = a[703:702];
1803 
    assign c[513:512] = 0;
1804 
    assign c[515:514] = 0;
1805 
    assign c[517:516] = a[173:172];
1806 
    assign c[519:518] = 0;
1807 
    assign c[521:520] = 0;
1808 
    assign c[523:522] = a[175:174];
1809 
    assign c[525:524] = 0;
1810 
    assign c[527:526] = 0;
1811 
    assign c[529:528] = {a[974], a[975]};
1812 
    assign c[531:530] = 0;
1813 
    assign c[533:532] = 0;
1814 
    assign c[535:534] = {a[444], a[445]};
1815 
    assign c[537:536] = 0;
1816 
    assign c[539:538] = 0;
1817 
    assign c[541:540] = {a[446], a[447]};
1818 
    assign c[543:542] = 0;
1819 
    assign c[545:544] = 0;
1820 
    assign c[547:546] = a[715:714];
1821 
    assign c[549:548] = 0;
1822 
    assign c[551:550] = 0;
1823 
    assign c[553:552] = a[717:716];
1824 
    assign c[555:554] = 0;
1825 
    assign c[557:556] = 0;
1826 
    assign c[559:558] = a[719:718];
1827 
    assign c[561:560] = 0;
1828 
    assign c[563:562] = 0;
1829 
    assign c[565:564] = a[189:188];
1830 
    assign c[567:566] = 0;
1831 
    assign c[569:568] = 0;
1832 
    assign c[571:570] = a[191:190];
1833 
    assign c[573:572] = 0;
1834 
    assign c[575:574] = 0;
1835 
    assign c[577:576] = {a[990], a[991]};
1836 
    assign c[579:578] = 0;
1837 
    assign c[581:580] = 0;
1838 
    assign c[583:582] = {a[460], a[461]};
1839 
    assign c[585:584] = 0;
1840 
    assign c[587:586] = 0;
1841 
    assign c[589:588] = {a[462], a[463]};
1842 
    assign c[591:590] = 0;
1843 
    assign c[593:592] = 0;
1844 
    assign c[595:594] = a[731:730];
1845 
    assign c[597:596] = 0;
1846 
    assign c[599:598] = 0;
1847 
    assign c[601:600] = a[733:732];
1848 
    assign c[603:602] = 0;
1849 
    assign c[605:604] = 0;
1850 
    assign c[607:606] = a[735:734];
1851 
    assign c[609:608] = 0;
1852 
    assign c[611:610] = 0;
1853 
    assign c[613:612] = a[205:204];
1854 
    assign c[615:614] = 0;
1855 
    assign c[617:616] = 0;
1856 
    assign c[619:618] = a[207:206];
1857 
    assign c[621:620] = 0;
1858 
    assign c[623:622] = 0;
1859 
    assign c[625:624] = 0;
1860 
    assign c[627:626] = 0;
1861 
    assign c[629:628] = 0;
1862 
    assign c[631:630] = 0;
1863 
    assign c[633:632] = 0;
1864 
    assign c[635:634] = 0;
1865 
    assign c[637:636] = 0;
1866 
    assign c[639:638] = 0;
1867 
    assign c[641:640] = 0;
1868 
    assign c[643:642] = 0;
1869 
    assign c[645:644] = 0;
1870 
    assign c[647:646] = 0;
1871 
    assign c[649:648] = 0;
1872 
    assign c[651:650] = 0;
1873 
    assign c[653:652] = 0;
1874 
    assign c[655:654] = 0;
1875 
    assign c[657:656] = 0;
1876 
    assign c[659:658] = 0;
1877 
    assign c[661:660] = 0;
1878 
    assign c[663:662] = 0;
1879 
    assign c[665:664] = 0;
1880 
    assign c[667:666] = 0;
1881 
    assign c[669:668] = 0;
1882 
    assign c[671:670] = 0;
1883 
    assign c[673:672] = 0;
1884 
    assign c[675:674] = 0;
1885 
    assign c[677:676] = 0;
1886 
    assign c[679:678] = 0;
1887 
    assign c[681:680] = 0;
1888 
    assign c[683:682] = 0;
1889 
    assign c[685:684] = 0;
1890 
    assign c[687:686] = 0;
1891 
    assign c[689:688] = 0;
1892 
    assign c[691:690] = 0;
1893 
    assign c[693:692] = 0;
1894 
    assign c[695:694] = 0;
1895 
    assign c[697:696] = 0;
1896 
    assign c[699:698] = 0;
1897 
    assign c[701:700] = 0;
1898 
    assign c[703:702] = 0;
1899 
    assign c[705:704] = 0;
1900 
    assign c[707:706] = 0;
1901 
    assign c[709:708] = 0;
1902 
    assign c[711:710] = 0;
1903 
    assign c[713:712] = 0;
1904 
    assign c[715:714] = 0;
1905 
    assign c[717:716] = 0;
1906 
    assign c[719:718] = 0;
1907 
    assign c[721:720] = 0;
1908 
    assign c[723:722] = 0;
1909 
    assign c[725:724] = 0;
1910 
    assign c[727:726] = 0;
1911 
    assign c[729:728] = 0;
1912 
    assign c[731:730] = 0;
1913 
    assign c[733:732] = 0;
1914 
    assign c[735:734] = 0;
1915 
    assign c[737:736] = 0;
1916 
    assign c[739:738] = 0;
1917 
    assign c[741:740] = 0;
1918 
    assign c[743:742] = 0;
1919 
    assign c[745:744] = 0;
1920 
    assign c[747:746] = 0;
1921 
    assign c[749:748] = 0;
1922 
    assign c[751:750] = 0;
1923 
    assign c[753:752] = 0;
1924 
    assign c[755:754] = 0;
1925 
    assign c[757:756] = 0;
1926 
    assign c[759:758] = 0;
1927 
    assign c[761:760] = 0;
1928 
    assign c[763:762] = 0;
1929 
    assign c[765:764] = 0;
1930 
    assign c[767:766] = 0;
1931 
    assign c[769:768] = 0;
1932 
    assign c[771:770] = 0;
1933 
    assign c[773:772] = 0;
1934 
    assign c[775:774] = 0;
1935 
    assign c[777:776] = 0;
1936 
    assign c[779:778] = 0;
1937 
    assign c[781:780] = 0;
1938 
    assign c[783:782] = 0;
1939 
    assign c[785:784] = 0;
1940 
    assign c[787:786] = 0;
1941 
    assign c[789:788] = 0;
1942 
    assign c[791:790] = 0;
1943 
    assign c[793:792] = 0;
1944 
    assign c[795:794] = 0;
1945 
    assign c[797:796] = 0;
1946 
    assign c[799:798] = 0;
1947 
    assign c[801:800] = 0;
1948 
    assign c[803:802] = 0;
1949 
    assign c[805:804] = 0;
1950 
    assign c[807:806] = 0;
1951 
    assign c[809:808] = 0;
1952 
    assign c[811:810] = 0;
1953 
    assign c[813:812] = 0;
1954 
    assign c[815:814] = 0;
1955 
    assign c[817:816] = 0;
1956 
    assign c[819:818] = 0;
1957 
    assign c[821:820] = 0;
1958 
    assign c[823:822] = 0;
1959 
    assign c[825:824] = 0;
1960 
    assign c[827:826] = 0;
1961 
    assign c[829:828] = 0;
1962 
    assign c[831:830] = 0;
1963 
    assign c[833:832] = 0;
1964 
    assign c[835:834] = 0;
1965 
    assign c[837:836] = 0;
1966 
    assign c[839:838] = 0;
1967 
    assign c[841:840] = 0;
1968 
    assign c[843:842] = 0;
1969 
    assign c[845:844] = 0;
1970 
    assign c[847:846] = 0;
1971 
    assign c[849:848] = 0;
1972 
    assign c[851:850] = 0;
1973 
    assign c[853:852] = 0;
1974 
    assign c[855:854] = 0;
1975 
    assign c[857:856] = 0;
1976 
    assign c[859:858] = 0;
1977 
    assign c[861:860] = 0;
1978 
    assign c[863:862] = 0;
1979 
    assign c[865:864] = 0;
1980 
    assign c[867:866] = 0;
1981 
    assign c[869:868] = 0;
1982 
    assign c[871:870] = 0;
1983 
    assign c[873:872] = 0;
1984 
    assign c[875:874] = 0;
1985 
    assign c[877:876] = 0;
1986 
    assign c[879:878] = 0;
1987 
    assign c[881:880] = 0;
1988 
    assign c[883:882] = 0;
1989 
    assign c[885:884] = 0;
1990 
    assign c[887:886] = 0;
1991 
    assign c[889:888] = 0;
1992 
    assign c[891:890] = 0;
1993 
    assign c[893:892] = 0;
1994 
    assign c[895:894] = 0;
1995 
    assign c[897:896] = 0;
1996 
    assign c[899:898] = 0;
1997 
    assign c[901:900] = 0;
1998 
    assign c[903:902] = 0;
1999 
    assign c[905:904] = 0;
2000 
    assign c[907:906] = 0;
2001 
    assign c[909:908] = 0;
2002 
    assign c[911:910] = 0;
2003 
    assign c[913:912] = 0;
2004 
    assign c[915:914] = 0;
2005 
    assign c[917:916] = 0;
2006 
    assign c[919:918] = 0;
2007 
    assign c[921:920] = 0;
2008 
    assign c[923:922] = 0;
2009 
    assign c[925:924] = 0;
2010 
    assign c[927:926] = 0;
2011 
    assign c[929:928] = 0;
2012 
    assign c[931:930] = 0;
2013 
    assign c[933:932] = 0;
2014 
    assign c[935:934] = 0;
2015 
    assign c[937:936] = 0;
2016 
    assign c[939:938] = 0;
2017 
    assign c[941:940] = 0;
2018 
    assign c[943:942] = 0;
2019 
    assign c[945:944] = 0;
2020 
    assign c[947:946] = 0;
2021 
    assign c[949:948] = 0;
2022 
    assign c[951:950] = 0;
2023 
    assign c[953:952] = 0;
2024 
    assign c[955:954] = 0;
2025 
    assign c[957:956] = 0;
2026 
    assign c[959:958] = 0;
2027 
    assign c[961:960] = 0;
2028 
    assign c[963:962] = 0;
2029 
    assign c[965:964] = 0;
2030 
    assign c[967:966] = 0;
2031 
    assign c[969:968] = 0;
2032 
    assign c[971:970] = 0;
2033 
    assign c[973:972] = 0;
2034 
    assign c[975:974] = 0;
2035 
    assign c[977:976] = 0;
2036 
    assign c[979:978] = 0;
2037 
    assign c[981:980] = 0;
2038 
    assign c[983:982] = 0;
2039 
    assign c[985:984] = 0;
2040 
    assign c[987:986] = 0;
2041 
    assign c[989:988] = 0;
2042 
    assign c[991:990] = 0;
2043 
    assign c[993:992] = 0;
2044 
    assign c[995:994] = 0;
2045 
    assign c[997:996] = 0;
2046 
    assign c[999:998] = 0;
2047 
    assign c[1001:1000] = 0;
2048 
    assign c[1003:1002] = 0;
2049 
    assign c[1005:1004] = 0;
2050 
endmodule

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.