1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
|
#+title: Vericert Raw Results
#+latex_class: scrartcl
* Vericert
** No divide
#+name: vericert-nodiv
| benchmark | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay | cycles |
|----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
| 2mm | 2 | 1764 | 4952 | 3541 | 4 | 0 | 24 | 0.152 | 4.59 | 467612 |
| 3mm | 9 | 1940 | 5046 | 3834 | 8 | 0 | 21 | 0.156 | 4.56 | 604582 |
| adi | 1871 | 3238 | 9776 | 5163 | 4 | 0 | 54 | 0.187 | 4.764 | 1831462 |
| atas | 8 | 599 | 1603 | 1254 | 4 | 0 | 6 | 0.128 | 4.539 | 101618 |
| bicg | 0 | 930 | 2628 | 2012 | 4 | 0 | 9 | 0.138 | 4.692 | 130790 |
| cholesky | 0 | 1898 | 5322 | 3192 | 8 | 0 | 12 | 0.141 | 4.877 | 2575070 |
| covariance | 5 | 557 | 1705 | 1157 | 4 | 0 | 6 | 0.135 | 4.271 | 340794 |
| doitgen | 1 | 1167 | 3365 | 2038 | 4 | 0 | 6 | 0.136 | 4.305 | 386782 |
| durbin | 4 | 737 | 2215 | 1666 | 1 | 0 | 12 | 0.139 | 9.702 | 23832 |
| fdtd-2d | 8 | 1517 | 3984 | 2682 | 4 | 0 | 9 | 0.142 | 4.467 | 958412 |
| floyd-warshall | 8 | 894 | 2897 | 2311 | 8 | 0 | 3 | 0.140 | 4.473 | 5414366 |
| gemm | 9 | 1110 | 3169 | 2474 | 4 | 0 | 18 | 0.149 | 4.609 | 406774 |
| gemver | 6 | 1121 | 3116 | 2046 | 4 | 0 | 21 | 0.141 | 4.684 | 193048 |
| gesummv | 5 | 991 | 3017 | 2174 | 4 | 0 | 15 | 0.142 | 4.719 | 116556 |
| heat-3d | 5 | 1458 | 4929 | 3282 | 4 | 0 | 3 | 0.132 | 4.734 | 592770 |
| jacobi-1d | 5 | 454 | 1345 | 699 | 1 | 0 | 0 | 0.128 | 4.248 | 19996 |
| jacobi-2d | 3 | 891 | 2669 | 2053 | 4 | 0 | 6 | 0.139 | 4.378 | 397200 |
| lu | 6 | 1755 | 5039 | 3049 | 8 | 0 | 9 | 0.136 | 4.817 | 2893146 |
| ludcmp | 6 | 2584 | 6796 | 4299 | 8 | 0 | 15 | 0.138 | 4.695 | 2641694 |
| mvt | 6 | 1704 | 4209 | 2798 | 4 | 0 | 9 | 0.147 | 4.686 | 148874 |
| nussinov | 0 | 981 | 2680 | 2361 | 8 | 0 | 0 | 0.127 | 4.467 | 956490 |
| seidel-2d | 5 | 728 | 2544 | 1439 | 4 | 0 | 3 | 0.129 | 4.386 | 942338 |
| symm | 7 | 1562 | 3981 | 3070 | 4 | 0 | 21 | 0.147 | 4.608 | 279832 |
| syr2k | 1 | 1369 | 3804 | 2548 | 8 | 0 | 18 | 0.145 | 4.543 | 525908 |
| syrk | 0 | 899 | 2772 | 1930 | 4 | 0 | 12 | 0.134 | 4.502 | 338286 |
| trisolv | 1 | 474 | 1481 | 778 | 4 | 0 | 3 | 0.127 | 4.541 | 36050 |
| trmm | 1 | 889 | 2729 | 2007 | 2 | 0 | 6 | 0.130 | 4.384 | 165828 |
** Divide
#+name: vericert-div
| benchmark | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay | cycles |
|----------------+---------------+-------+------+-------+---------+-------+------+-------+--------+---------|
| 2mm | 8 | 2341 | 1861 | 6602 | 4 | 0 | 24 | 0.247 | 82.379 | 404478 |
| 3mm | 8 | 2848 | 1963 | 8783 | 8 | 0 | 21 | 0.274 | 96.669 | 536114 |
| adi | 910 | 3262 | 3313 | 9698 | 4 | 0 | 54 | 0.296 | 97.133 | 1422354 |
| atas | 0 | 1039 | 873 | 2981 | 4 | 0 | 6 | 0.184 | 84.842 | 58424 |
| bicg | 1 | 1755 | 1017 | 5269 | 4 | 0 | 9 | 0.223 | 84.845 | 53916 |
| cholesky | 7 | 1554 | 2011 | 4064 | 8 | 0 | 12 | 0.190 | 98.132 | 2535686 |
| covariance | 399 | 1413 | 1538 | 4037 | 4 | 0 | 6 | 0.193 | 98.313 | 287498 |
| doitgen | 0 | 1436 | 1372 | 3736 | 4 | 0 | 6 | 0.189 | 76.734 | 351988 |
| durbin | 1 | 719 | 1047 | 1840 | 1 | 0 | 12 | 0.167 | 96.403 | 22974 |
| fdtd-2d | 3 | 1294 | 2049 | 3672 | 4 | 0 | 9 | 0.177 | 80.81 | 901430 |
| floyd-warshall | 0 | 783 | 2648 | 1981 | 8 | 0 | 3 | 0.145 | 4.147 | 5414366 |
| gemm | 5 | 1791 | 1323 | 5336 | 4 | 0 | 18 | 0.223 | 84.05 | 328104 |
| gemver | 3 | 2434 | 1589 | 6548 | 4 | 0 | 21 | 0.246 | 81.224 | 117394 |
| gesummv | 8 | 1847 | 1288 | 5280 | 4 | 0 | 15 | 0.230 | 81.36 | 37700 |
| heat-3d | 9 | 882 | 3144 | 1944 | 4 | 0 | 0 | 0.131 | 4.38 | 580770 |
| jacobi-1d | 5 | 734 | 1066 | 1926 | 1 | 0 | 0 | 0.151 | 80.198 | 19622 |
| jacobi-2d | 3 | 1067 | 1801 | 2656 | 4 | 0 | 6 | 0.165 | 80.104 | 344072 |
| lu | 6 | 1626 | 1805 | 4711 | 8 | 0 | 9 | 0.201 | 97.908 | 2853646 |
| ludcmp | 9 | 2487 | 2317 | 6510 | 8 | 0 | 15 | 0.244 | 95.532 | 2601382 |
| mvt | 7 | 3499 | 1355 | 11192 | 4 | 0 | 9 | 0.335 | 99.77 | 70204 |
| nussinov | 4 | 652 | 1927 | 1509 | 8 | 0 | 0 | 0.132 | 4.192 | 956490 |
| seidel-2d | 7 | 1020 | 1533 | 2289 | 4 | 0 | 3 | 0.158 | 79.93 | 664780 |
| symm | 8 | 2018 | 1716 | 5865 | 4 | 0 | 21 | 0.238 | 79.116 | 240172 |
| syr2k | 6 | 1926 | 1588 | 5455 | 8 | 0 | 18 | 0.232 | 80.012 | 436520 |
| syrk | 2 | 1398 | 1238 | 3753 | 4 | 0 | 12 | 0.188 | 80.834 | 271816 |
| trisolv | 1 | 987 | 1067 | 2416 | 4 | 0 | 3 | 0.164 | 96.189 | 25192 |
| trmm | 4 | 1372 | 1122 | 3717 | 2 | 0 | 6 | 0.187 | 81.75 | 144688 |
* Legup Opt
** No Divide
#+name: legup-nodiv
| benchmark | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay | cycles |
|----------------+---------------+-------+------+------+---------+-------+------+-------+--------+---------|
| 2mm | 8 | 1493 | 3222 | 3389 | 10 | 0 | 18 | 0.192 | 10.776 | 73932 |
| 3mm | 2 | 1874 | 3547 | 4088 | 14 | 0 | 15 | 0.207 | 11.123 | 109367 |
| adi | 1110 | 1684 | 3208 | 3261 | 8 | 0 | 12 | 0.184 | 11.102 | 202861 |
| atas | 3 | 496 | 1132 | 1172 | 8 | 0 | 6 | 0.143 | 9.994 | 27546 |
| bicg | 2 | 823 | 1864 | 1703 | 12 | 0 | 9 | 0.166 | 10.054 | 28751 |
| cholesky | 5 | 1275 | 3081 | 3133 | 8 | 0 | 27 | 0.178 | 9.887 | 416569 |
| covariance | 8 | 1321 | 2409 | 2927 | 6 | 0 | 6 | 0.181 | 10.345 | 110648 |
| doitgen | 4 | 1358 | 2867 | 2629 | 6 | 0 | 42 | 0.223 | 11.224 | 21207 |
| durbin | 8 | 732 | 2231 | 1749 | 6 | 0 | 12 | 0.151 | 9.077 | 12531 |
| fdtd-2d | 3 | 1686 | 3143 | 3965 | 8 | 0 | 3 | 0.197 | 12.868 | 214433 |
| floyd-warshall | 7 | 561 | 1284 | 1538 | 8 | 0 | 3 | 0.133 | 10.104 | 1221958 |
| gemm | 1 | 1283 | 2669 | 2693 | 6 | 0 | 12 | 0.157 | 10.058 | 100926 |
| gemver | 1 | 693 | 1455 | 1706 | 20 | 0 | 15 | 0.204 | 9.774 | 43083 |
| gesummv | 6 | 675 | 1706 | 1668 | 8 | 0 | 9 | 0.161 | 11.074 | 23988 |
| heat-3d | 4 | 1278 | 2667 | 3102 | 4 | 0 | 0 | 0.162 | 13.314 | 41059 |
| jacobi-1d | 5 | 288 | 777 | 558 | 4 | 0 | 0 | 0.138 | 7.96 | 5894 |
| jacobi-2d | 4 | 1356 | 2580 | 3064 | 4 | 0 | 3 | 0.169 | 10.99 | 111877 |
| lu | 4 | 1257 | 3055 | 3147 | 8 | 0 | 21 | 0.166 | 10.507 | 471964 |
| ludcmp | 5 | 1902 | 4443 | 4477 | 14 | 0 | 39 | 0.233 | 10.603 | 455393 |
| mvt | 0 | 899 | 2538 | 2072 | 12 | 0 | 6 | 0.162 | 9.656 | 34082 |
| nussinov | 5 | 657 | 1517 | 1675 | 10 | 0 | 3 | 0.145 | 11.265 | 216632 |
| seidel-2d | 8 | 1215 | 2466 | 2327 | 4 | 0 | 3 | 0.166 | 9.723 | 240970 |
| symm | 9 | 957 | 2349 | 2518 | 6 | 0 | 12 | 0.171 | 12.449 | 49023 |
| syr2k | 7 | 902 | 1885 | 2161 | 6 | 0 | 12 | 0.163 | 10.633 | 86683 |
| syrk | 3 | 670 | 1555 | 1711 | 4 | 0 | 9 | 0.147 | 10.101 | 71981 |
| trisolv | 3 | 979 | 1906 | 1883 | 8 | 0 | 9 | 0.170 | 9.67 | 35798 |
| trmm | 3 | 703 | 1767 | 1880 | 4 | 0 | 3 | 0.142 | 10.363 | 45382 |
** Divide
#+name: legup-div
| benchmark | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay | cycles |
|----------------+---------------+-------+------+------+---------+-------+------+-------+---------+---------|
| 2mm | 1 | 1086 | 2421 | 2345 | 10 | 0 | 6 | 0.177 | 10.756 | 61724 |
| 3mm | 1 | 2557 | 4876 | 5506 | 14 | 0 | 15 | 0.253 | 11.009 | 204177 |
| adi | 9 | 2148 | 5660 | 4318 | 8 | 0 | 12 | 0.245 | 11.4759 | 602584 |
| atas | 9 | 1672 | 3207 | 3401 | 8 | 0 | 6 | 0.211 | 10.739 | 126288 |
| bicg | 1 | 449 | 909 | 956 | 12 | 0 | 6 | 0.161 | 10.211 | 11907 |
| cholesky | 3 | 1621 | 4387 | 3658 | 8 | 0 | 12 | 0.211 | 10.291 | 429665 |
| covariance | 7 | 1339 | 2562 | 3034 | 6 | 0 | 6 | 0.189 | 10.654 | 109992 |
| doitgen | 5 | 1054 | 2504 | 2087 | 6 | 0 | 36 | 0.182 | 10.665 | 15675 |
| durbin | 9 | 1227 | 3484 | 2517 | 6 | 0 | 12 | 0.221 | 8.865 | 13506 |
| fdtd-2d | 8 | 1615 | 3002 | 3737 | 8 | 0 | 3 | 0.207 | 12.303 | 213833 |
| floyd-warshall | 7 | 561 | 1284 | 1538 | 8 | 0 | 3 | 0.133 | 10.104 | 1221958 |
| gemm | 4 | 1108 | 2074 | 1777 | 6 | 0 | 3 | 0.159 | 10.226 | 85596 |
| gemver | 4 | 1303 | 2587 | 2936 | 20 | 0 | 12 | 0.237 | 9.719 | 28087 |
| gesummv | 4 | 354 | 739 | 837 | 8 | 0 | 6 | 0.159 | 11.785 | 6634 |
| heat-3d | 4 | 1278 | 2667 | 3102 | 4 | 0 | 0 | 0.162 | 13.314 | 41059 |
| jacobi-1d | 1 | 889 | 1881 | 1641 | 4 | 0 | 0 | 0.158 | 7.23 | 6914 |
| jacobi-2d | 0 | 1276 | 2360 | 2962 | 4 | 0 | 3 | 0.170 | 11.139 | 84609 |
| lu | 0 | 1624 | 4351 | 3749 | 8 | 0 | 6 | 0.200 | 10.131 | 484904 |
| ludcmp | 9 | 1928 | 5148 | 4382 | 14 | 0 | 9 | 0.248 | 10.739 | 470803 |
| mvt | 2 | 441 | 944 | 1039 | 12 | 0 | 3 | 0.163 | 9.497 | 16806 |
| nussinov | 5 | 657 | 1517 | 1675 | 10 | 0 | 3 | 0.145 | 11.265 | 216632 |
| seidel-2d | 4 | 1202 | 2549 | 2446 | 4 | 0 | 3 | 0.170 | 9.41 | 345294 |
| symm | 7 | 1269 | 2433 | 2957 | 6 | 0 | 12 | 0.195 | 11.972 | 64903 |
| syr2k | 3 | 2036 | 3529 | 3882 | 6 | 0 | 9 | 0.216 | 10.458 | 125705 |
| syrk | 1 | 498 | 1158 | 1217 | 4 | 0 | 3 | 0.139 | 10.069 | 58955 |
| trisolv | 9 | 1270 | 3321 | 2706 | 8 | 0 | 6 | 0.199 | 9.26 | 35382 |
| trmm | 6 | 529 | 1219 | 1364 | 4 | 0 | 3 | 0.137 | 10.311 | 42052 |
* LegUp No Opt
** No divide
#+name: legup-noopt-nodiv
| benchmark | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay | cycles |
|----------------+---------------+-------+------+------+---------+-------+------+-------+--------+---------|
| 2mm | 0 | 1133 | 2446 | 3076 | 10 | 0 | 18 | 0.183 | 9.948 | 113132 |
| 3mm | 6 | 1267 | 2649 | 3594 | 14 | 0 | 15 | 0.189 | 10.457 | 166838 |
| adi | 2357 | 2146 | 4417 | 5408 | 8 | 0 | 57 | 0.254 | 10.568 | 389287 |
| atas | 0 | 991 | 2051 | 2209 | 8 | 0 | 6 | 0.175 | 9.972 | 38012 |
| bicg | 2 | 692 | 1707 | 1870 | 12 | 0 | 9 | 0.157 | 8.723 | 45163 |
| cholesky | 5 | 1159 | 2618 | 3080 | 8 | 0 | 21 | 0.177 | 9.803 | 500738 |
| covariance | 7 | 1210 | 2212 | 2788 | 6 | 0 | 6 | 0.175 | 9.949 | 153732 |
| doitgen | 6 | 690 | 1569 | 1934 | 6 | 0 | 9 | 0.155 | 9.966 | 98749 |
| durbin | 8 | 714 | 2163 | 1640 | 6 | 0 | 12 | 0.147 | 9.12 | 15111 |
| fdtd-2d | 4 | 1551 | 3031 | 3662 | 8 | 0 | 3 | 0.194 | 11.429 | 266014 |
| floyd-warshall | 2 | 516 | 1408 | 1487 | 8 | 0 | 3 | 0.132 | 9.819 | 1512364 |
| gemm | 2 | 825 | 1779 | 2310 | 6 | 0 | 12 | 0.152 | 9.711 | 131836 |
| gemver | 4 | 740 | 1418 | 1904 | 20 | 0 | 15 | 0.204 | 9.65 | 68642 |
| gesummv | 3 | 627 | 1542 | 1699 | 8 | 0 | 9 | 0.162 | 10.885 | 37479 |
| heat-3d | 4 | 907 | 1793 | 2676 | 4 | 0 | 0 | 0.143 | 12.922 | 51757 |
| jacobi-1d | 2 | 823 | 1656 | 1520 | 4 | 0 | 0 | 0.158 | 7.138 | 8077 |
| jacobi-2d | 0 | 1211 | 2361 | 2828 | 4 | 0 | 3 | 0.167 | 11.157 | 94138 |
| lu | 8 | 1139 | 2504 | 3148 | 8 | 0 | 15 | 0.157 | 10.07 | 566955 |
| ludcmp | 3 | 1695 | 3486 | 4826 | 14 | 0 | 30 | 0.226 | 11.046 | 553755 |
| mvt | 2 | 898 | 2244 | 2346 | 12 | 0 | 9 | 0.164 | 9.335 | 56928 |
| nussinov | 5 | 617 | 1560 | 1630 | 10 | 0 | 3 | 0.138 | 11.23 | 265980 |
| seidel-2d | 2 | 981 | 2023 | 2222 | 4 | 0 | 3 | 0.156 | 8.994 | 337110 |
| symm | 1 | 851 | 2144 | 2406 | 6 | 0 | 9 | 0.159 | 9.838 | 66181 |
| syr2k | 0 | 812 | 1793 | 2153 | 6 | 0 | 12 | 0.159 | 9.967 | 121098 |
| syrk | 9 | 649 | 1444 | 1772 | 4 | 0 | 9 | 0.142 | 9.589 | 102946 |
| trisolv | 6 | 914 | 1779 | 1922 | 8 | 0 | 9 | 0.173 | 9.192 | 36030 |
| trmm | 4 | 600 | 1507 | 1726 | 4 | 0 | 3 | 0.136 | 9.536 | 56439 |
** Divide
#+name: legup-noopt-div
| benchmark | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay | cycles |
|----------------+---------------+-------+------+------+---------+-------+------+-------+--------+---------|
| 2mm | 0 | 637 | 1145 | 1842 | 10 | 0 | 6 | 0.163 | 10.207 | 90339 |
| 3mm | 4 | 2307 | 4140 | 5247 | 14 | 0 | 15 | 0.251 | 10.578 | 251581 |
| adi | 6 | 1707 | 4537 | 4012 | 8 | 0 | 18 | 0.243 | 10.822 | 619687 |
| atas | 3 | 1632 | 3114 | 3328 | 8 | 0 | 6 | 0.214 | 10.303 | 129877 |
| bicg | 3 | 396 | 846 | 966 | 12 | 0 | 6 | 0.165 | 9.996 | 16941 |
| cholesky | 4 | 1520 | 4187 | 3379 | 8 | 0 | 9 | 0.204 | 9.693 | 509735 |
| covariance | 1 | 1362 | 2514 | 3023 | 6 | 0 | 6 | 0.188 | 9.988 | 141486 |
| doitgen | 3 | 455 | 905 | 1299 | 6 | 0 | 3 | 0.151 | 10.265 | 87169 |
| durbin | 2 | 1209 | 3415 | 2548 | 6 | 0 | 12 | 0.215 | 8.988 | 16086 |
| fdtd-2d | 1 | 1473 | 3004 | 3608 | 8 | 0 | 3 | 0.194 | 11.275 | 266014 |
| floyd-warshall | 2 | 516 | 1408 | 1487 | 8 | 0 | 3 | 0.132 | 9.819 | 1512364 |
| gemm | 0 | 428 | 825 | 1234 | 6 | 0 | 3 | 0.142 | 9.897 | 102941 |
| gemver | 6 | 1283 | 2579 | 2859 | 20 | 0 | 12 | 0.231 | 9.618 | 42573 |
| gesummv | 6 | 322 | 672 | 814 | 8 | 0 | 6 | 0.156 | 11.178 | 8587 |
| heat-3d | 2 | 880 | 1797 | 2674 | 4 | 0 | 0 | 0.144 | 13.013 | 51757 |
| jacobi-1d | 8 | 832 | 1683 | 1588 | 4 | 0 | 0 | 0.161 | 7.659 | 8077 |
| jacobi-2d | 6 | 1217 | 2322 | 2864 | 4 | 0 | 3 | 0.168 | 11.515 | 94138 |
| lu | 6 | 1462 | 4084 | 3458 | 8 | 0 | 3 | 0.190 | 9.863 | 575835 |
| ludcmp | 9 | 1787 | 4748 | 4405 | 14 | 0 | 6 | 0.245 | 9.995 | 564983 |
| mvt | 8 | 398 | 802 | 979 | 12 | 0 | 6 | 0.168 | 9.55 | 28091 |
| nussinov | 5 | 617 | 1560 | 1630 | 10 | 0 | 3 | 0.138 | 11.23 | 265980 |
| seidel-2d | 3 | 1061 | 2227 | 2437 | 4 | 0 | 3 | 0.168 | 8.727 | 377357 |
| symm | 7 | 1189 | 2331 | 2788 | 6 | 0 | 9 | 0.173 | 9.868 | 78631 |
| syr2k | 9 | 1710 | 2981 | 3564 | 6 | 0 | 9 | 0.218 | 9.943 | 148074 |
| syrk | 6 | 397 | 810 | 1101 | 4 | 0 | 3 | 0.144 | 9.71 | 78474 |
| trisolv | 5 | 1204 | 3283 | 2550 | 8 | 0 | 6 | 0.200 | 9.399 | 37148 |
| trmm | 4 | 415 | 878 | 1155 | 4 | 0 | 3 | 0.141 | 9.883 | 49819 |
* Legup No Chain
** No divide
#+name: legup-nochain-nodiv
| benchmark | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay | cycles |
|----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
| 2mm | 0 | 2294 | 5426 | 3784 | 10 | 0 | 18 | 0.164 | 9.62 | 169531 |
| 3mm | 8 | 2558 | 5711 | 4373 | 14 | 0 | 21 | 0.169 | 9.309 | 235768 |
| adi | 1747 | 2087 | 5562 | 3536 | 8 | 0 | 12 | 0.173 | 9.622 | 396955 |
| atas | 0 | 500 | 1657 | 1145 | 8 | 0 | 9 | 0.135 | 8.623 | 58278 |
| bicg | 9 | 834 | 2566 | 1737 | 12 | 0 | 9 | 0.144 | 8.496 | 79651 |
| cholesky | 5 | 1536 | 4261 | 2950 | 8 | 0 | 27 | 0.163 | 9.413 | 830753 |
| covariance | 9 | 1289 | 3040 | 2729 | 6 | 0 | 6 | 0.164 | 8.814 | 212548 |
| doitgen | 8 | 1632 | 4472 | 3038 | 6 | 0 | 42 | 0.200 | 9.26 | 46852 |
| durbin | 3 | 775 | 2623 | 1687 | 6 | 0 | 12 | 0.144 | 9.13 | 22640 |
| fdtd-2d | 4 | 1700 | 4660 | 3963 | 8 | 0 | 3 | 0.174 | 9.35 | 431694 |
| floyd-warshall | 5 | 649 | 1832 | 1510 | 8 | 0 | 3 | 0.132 | 7.067 | 2611426 |
| gemm | 1 | 2044 | 4693 | 3260 | 6 | 0 | 12 | 0.159 | 8.891 | 223526 |
| gemver | 7 | 796 | 2274 | 1770 | 20 | 0 | 15 | 0.164 | 9.643 | 109309 |
| gesummv | 5 | 728 | 2363 | 1677 | 8 | 0 | 9 | 0.145 | 8.987 | 68572 |
| heat-3d | 5 | 1559 | 4468 | 3530 | 4 | 0 | 0 | 0.159 | 9.808 | 80759 |
| jacobi-1d | 8 | 297 | 1094 | 548 | 4 | 0 | 0 | 0.126 | 6.939 | 11744 |
| jacobi-2d | 4 | 1378 | 3598 | 3081 | 4 | 0 | 3 | 0.161 | 8.32 | 171633 |
| lu | 2 | 1543 | 4267 | 3042 | 8 | 0 | 24 | 0.155 | 9.937 | 941544 |
| ludcmp | 0 | 2199 | 6116 | 4647 | 14 | 0 | 48 | 0.218 | 9.857 | 903989 |
| mvt | 5 | 1056 | 3420 | 2211 | 12 | 0 | 9 | 0.152 | 9.133 | 88668 |
| nussinov | 5 | 699 | 2193 | 1635 | 10 | 0 | 3 | 0.133 | 9.474 | 464517 |
| seidel-2d | 5 | 1128 | 3086 | 2272 | 4 | 0 | 3 | 0.156 | 7.714 | 544769 |
| symm | 5 | 1104 | 3490 | 2448 | 6 | 0 | 12 | 0.155 | 8.793 | 101653 |
| syr2k | 9 | 966 | 2818 | 1991 | 6 | 0 | 12 | 0.149 | 9.161 | 206241 |
| syrk | 6 | 730 | 2288 | 1610 | 4 | 0 | 9 | 0.141 | 8.394 | 162572 |
| trisolv | 8 | 976 | 2296 | 1895 | 8 | 0 | 9 | 0.157 | 9.041 | 46834 |
| trmm | 4 | 766 | 2319 | 1835 | 4 | 0 | 3 | 0.133 | 8.822 | 85592 |
** Divide
#+name: legup-nochain-div
| benchmark | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay | cycles |
|----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
| 2mm | 2 | 1538 | 4528 | 2761 | 10 | 0 | 6 | 0.154 | 9.565 | 133958 |
| 3mm | 1 | 3023 | 6753 | 6028 | 14 | 0 | 21 | 0.237 | 9.964 | 302433 |
| adi | 1 | 2459 | 7415 | 4923 | 8 | 0 | 12 | 0.225 | 9.539 | 761344 |
| atas | 5 | 1712 | 3702 | 3326 | 8 | 0 | 9 | 0.199 | 8.831 | 147486 |
| bicg | 6 | 413 | 1251 | 916 | 12 | 0 | 6 | 0.137 | 7.732 | 23765 |
| cholesky | 6 | 1662 | 5103 | 3461 | 8 | 0 | 12 | 0.193 | 9.328 | 827925 |
| covariance | 7 | 1344 | 2999 | 2958 | 6 | 0 | 6 | 0.174 | 9.149 | 174842 |
| doitgen | 6 | 1820 | 4197 | 2461 | 6 | 0 | 36 | 0.197 | 9.102 | 33413 |
| durbin | 3 | 1255 | 3929 | 2621 | 6 | 0 | 12 | 0.199 | 8.254 | 23303 |
| fdtd-2d | 2 | 1587 | 4063 | 3643 | 8 | 0 | 3 | 0.177 | 8.874 | 429274 |
| floyd-warshall | 5 | 649 | 1832 | 1510 | 8 | 0 | 3 | 0.132 | 7.067 | 2611426 |
| gemm | 5 | 1602 | 4080 | 2223 | 6 | 0 | 3 | 0.141 | 9.631 | 177458 |
| gemver | 9 | 1325 | 3320 | 2831 | 20 | 0 | 12 | 0.195 | 9.87 | 57727 |
| gesummv | 8 | 347 | 1016 | 796 | 8 | 0 | 6 | 0.136 | 8.197 | 12364 |
| heat-3d | 5 | 1559 | 4468 | 3530 | 4 | 0 | 0 | 0.159 | 9.808 | 80759 |
| jacobi-1d | 9 | 889 | 2201 | 1649 | 4 | 0 | 0 | 0.152 | 7.32 | 12734 |
| jacobi-2d | 9 | 1274 | 3282 | 2920 | 4 | 0 | 3 | 0.164 | 9.219 | 139259 |
| lu | 1 | 1611 | 5113 | 3601 | 8 | 0 | 9 | 0.186 | 9.899 | 938404 |
| ludcmp | 2 | 2002 | 6157 | 4490 | 14 | 0 | 18 | 0.219 | 9.949 | 903303 |
| mvt | 6 | 469 | 1278 | 1048 | 12 | 0 | 6 | 0.138 | 8.139 | 33446 |
| nussinov | 5 | 699 | 2193 | 1635 | 10 | 0 | 3 | 0.133 | 9.474 | 464517 |
| seidel-2d | 4 | 1158 | 3107 | 2454 | 4 | 0 | 3 | 0.162 | 7.602 | 400824 |
| symm | 6 | 1391 | 3325 | 2913 | 6 | 0 | 12 | 0.178 | 9.209 | 102463 |
| syr2k | 2 | 2024 | 4129 | 3756 | 6 | 0 | 9 | 0.206 | 9.472 | 202535 |
| syrk | 3 | 592 | 1858 | 1094 | 4 | 0 | 3 | 0.132 | 8.724 | 122527 |
| trisolv | 3 | 1228 | 3679 | 2581 | 8 | 0 | 6 | 0.187 | 8.077 | 43042 |
| trmm | 9 | 552 | 1685 | 1309 | 4 | 0 | 3 | 0.132 | 8.706 | 78383 |
* LegUp No Opt No Chain
** No divide
#+name: legup-noopt-nochain-nodiv
| benchmark | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay | cycles |
|----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
| 2mm | 2 | 1161 | 3069 | 3132 | 10 | 0 | 18 | 0.160 | 9.345 | 240573 |
| 3mm | 5 | 1380 | 3333 | 3701 | 14 | 0 | 21 | 0.163 | 9.265 | 342207 |
| adi | 3398 | 2765 | 6275 | 5803 | 8 | 0 | 57 | 0.224 | 9.404 | 730093 |
| atas | 4 | 1040 | 2415 | 2238 | 8 | 0 | 6 | 0.159 | 7.715 | 77210 |
| bicg | 5 | 717 | 2161 | 1836 | 12 | 0 | 9 | 0.145 | 9.131 | 99667 |
| cholesky | 1 | 1190 | 3591 | 3065 | 8 | 0 | 24 | 0.158 | 9.679 | 1000414 |
| covariance | 2 | 1213 | 2695 | 2819 | 6 | 0 | 6 | 0.166 | 9.37 | 283863 |
| doitgen | 0 | 734 | 1885 | 1997 | 6 | 0 | 9 | 0.145 | 8.881 | 198592 |
| durbin | 6 | 889 | 2561 | 1670 | 6 | 0 | 12 | 0.145 | 9.277 | 27840 |
| fdtd-2d | 3 | 1627 | 4146 | 3855 | 8 | 0 | 3 | 0.173 | 9.657 | 507806 |
| floyd-warshall | 4 | 573 | 1645 | 1541 | 8 | 0 | 3 | 0.132 | 7.609 | 3121798 |
| gemm | 1 | 851 | 2294 | 2215 | 6 | 0 | 12 | 0.145 | 8.756 | 274546 |
| gemver | 9 | 714 | 2037 | 1883 | 20 | 0 | 15 | 0.161 | 9.724 | 141440 |
| gesummv | 1 | 673 | 2014 | 1641 | 8 | 0 | 9 | 0.143 | 9.392 | 87649 |
| heat-3d | 4 | 988 | 2792 | 2811 | 4 | 0 | 0 | 0.132 | 9.514 | 103513 |
| jacobi-1d | 8 | 921 | 2272 | 1573 | 4 | 0 | 0 | 0.150 | 7.11 | 15163 |
| jacobi-2d | 8 | 1322 | 3285 | 2940 | 4 | 0 | 3 | 0.160 | 9.148 | 157584 |
| lu | 9 | 1214 | 3541 | 3233 | 8 | 0 | 21 | 0.155 | 9.676 | 1132106 |
| ludcmp | 8 | 1900 | 4876 | 4832 | 14 | 0 | 42 | 0.191 | 9.542 | 1098988 |
| mvt | 3 | 913 | 2825 | 2169 | 12 | 0 | 9 | 0.147 | 9.856 | 118444 |
| nussinov | 8 | 746 | 2195 | 1838 | 10 | 0 | 3 | 0.133 | 9.787 | 559131 |
| seidel-2d | 6 | 1026 | 2657 | 2300 | 4 | 0 | 3 | 0.151 | 7.999 | 658070 |
| symm | 6 | 905 | 2857 | 2350 | 6 | 0 | 9 | 0.149 | 9.606 | 130249 |
| syr2k | 2 | 901 | 2449 | 2207 | 6 | 0 | 12 | 0.152 | 9.007 | 255334 |
| syrk | 2 | 711 | 1906 | 1786 | 4 | 0 | 9 | 0.138 | 8.321 | 206415 |
| trisolv | 1 | 982 | 2130 | 1918 | 8 | 0 | 9 | 0.159 | 8.52 | 44772 |
| trmm | 5 | 652 | 1880 | 1767 | 4 | 0 | 3 | 0.133 | 8.509 | 107174 |
** Divide
#+name: legup-noopt-nochain-div
| benchmark | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay | cycles |
|----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
| 2mm | 3 | 654 | 1465 | 1841 | 10 | 0 | 6 | 0.139 | 9.065 | 186341 |
| 3mm | 2 | 2331 | 4746 | 5281 | 14 | 0 | 21 | 0.221 | 9.47 | 397165 |
| adi | 7 | 1833 | 5413 | 4231 | 8 | 0 | 18 | 0.224 | 9.458 | 815373 |
| atas | 0 | 1686 | 3474 | 3448 | 8 | 0 | 6 | 0.199 | 8.104 | 156265 |
| bicg | 5 | 451 | 1135 | 972 | 12 | 0 | 6 | 0.138 | 8.128 | 30647 |
| cholesky | 7 | 1621 | 4875 | 3467 | 8 | 0 | 12 | 0.185 | 9.797 | 990247 |
| covariance | 2 | 1278 | 2848 | 2990 | 6 | 0 | 6 | 0.177 | 9.131 | 237315 |
| doitgen | 4 | 454 | 1125 | 1322 | 6 | 0 | 3 | 0.131 | 8.03 | 172417 |
| durbin | 3 | 1267 | 3865 | 2582 | 6 | 0 | 12 | 0.195 | 7.928 | 28503 |
| fdtd-2d | 3 | 1611 | 3935 | 3800 | 8 | 0 | 3 | 0.173 | 9.091 | 507185 |
| floyd-warshall | 4 | 573 | 1645 | 1541 | 8 | 0 | 3 | 0.132 | 7.609 | 3121798 |
| gemm | 1 | 473 | 1138 | 1307 | 6 | 0 | 3 | 0.130 | 7.802 | 205381 |
| gemver | 5 | 1320 | 3241 | 2911 | 20 | 0 | 12 | 0.193 | 9.404 | 77225 |
| gesummv | 6 | 367 | 955 | 795 | 8 | 0 | 6 | 0.143 | 8.01 | 17143 |
| heat-3d | 0 | 976 | 2792 | 2809 | 4 | 0 | 0 | 0.133 | 9.423 | 103513 |
| jacobi-1d | 3 | 894 | 2213 | 1640 | 4 | 0 | 0 | 0.149 | 7.18 | 15163 |
| jacobi-2d | 8 | 1363 | 3132 | 3023 | 4 | 0 | 3 | 0.164 | 8.17 | 156684 |
| lu | 6 | 1574 | 4821 | 3648 | 8 | 0 | 9 | 0.181 | 9.335 | 1121666 |
| ludcmp | 8 | 1934 | 5625 | 4473 | 14 | 0 | 18 | 0.211 | 9.74 | 1090760 |
| mvt | 1 | 431 | 1119 | 1040 | 12 | 0 | 6 | 0.138 | 8.285 | 49741 |
| nussinov | 8 | 746 | 2195 | 1838 | 10 | 0 | 3 | 0.133 | 9.787 | 559131 |
| seidel-2d | 5 | 1163 | 2864 | 2603 | 4 | 0 | 3 | 0.165 | 7.942 | 450433 |
| symm | 5 | 1253 | 2969 | 2787 | 6 | 0 | 9 | 0.168 | 9.278 | 124809 |
| syr2k | 0 | 1791 | 3523 | 3607 | 6 | 0 | 9 | 0.193 | 9.145 | 238082 |
| syrk | 1 | 446 | 1117 | 1152 | 4 | 0 | 3 | 0.126 | 7.796 | 147182 |
| trisolv | 0 | 1165 | 3637 | 2654 | 8 | 0 | 6 | 0.188 | 8.784 | 46614 |
| trmm | 3 | 427 | 1159 | 1164 | 4 | 0 | 3 | 0.128 | 8.293 | 92654 |
* Data compilation
** Relative to vericert exec time
*** No divide
#+name: rel-time-nodiv
| benchmark | legup | legup noopt | legup nochain | legup noopt nochain |
|----------------+------------+-------------+---------------+---------------------|
| 2mm | 0.37118610 | 0.52435198 | 0.75984649 | 1.0474369 |
| 3mm | 0.44125352 | 0.63282267 | 0.79610039 | 1.1500435 |
| adi | 0.25812503 | 0.47151232 | 0.43776090 | 0.78690289 |
| atas | 0.59685256 | 0.82181141 | 1.0895125 | 1.2914532 |
| bicg | 0.47104163 | 0.64197204 | 1.1027402 | 1.4829865 |
| cholesky | 0.32795155 | 0.39086588 | 0.62267034 | 0.77102499 |
| covariance | 0.78641638 | 1.0508052 | 1.2870889 | 1.8273716 |
| doitgen | 0.14295109 | 0.59103633 | 0.26055518 | 1.0592152 |
| durbin | 0.49193339 | 0.59602748 | 0.89397514 | 1.1170048 |
| fdtd-2d | 0.64451715 | 0.71014091 | 0.94279968 | 1.1454387 |
| floyd-warshall | 0.50980385 | 0.61316461 | 0.76201989 | 0.98081223 |
| gemm | 0.54144556 | 0.68287007 | 1.0600315 | 1.2822154 |
| gemver | 0.46568911 | 0.73254625 | 1.1656976 | 1.5210203 |
| gesummv | 0.48296310 | 0.74170604 | 1.1204099 | 1.4966506 |
| heat-3d | 0.19480605 | 0.23833310 | 0.28226493 | 0.35094865 |
| jacobi-1d | 0.55232610 | 0.67873304 | 0.95936814 | 1.2691913 |
| jacobi-2d | 0.70705550 | 0.60398674 | 0.82118144 | 0.82899761 |
| lu | 0.35582840 | 0.40966708 | 0.67134988 | 0.78602427 |
| ludcmp | 0.38931130 | 0.49317902 | 0.71843883 | 0.84550125 |
| mvt | 0.47173835 | 0.76176165 | 1.1608049 | 1.6733725 |
| nussinov | 0.57115952 | 0.69908881 | 1.0300033 | 1.2807571 |
| seidel-2d | 0.56687582 | 0.73358288 | 1.0167559 | 1.2735983 |
| symm | 0.47328692 | 0.50492898 | 0.69318224 | 0.97030246 |
| syr2k | 0.38577780 | 0.50518322 | 0.79079766 | 0.96257881 |
| syrk | 0.47741134 | 0.64817650 | 0.89603546 | 1.1277875 |
| trisolv | 2.1146012 | 2.0231007 | 2.5865504 | 2.3301792 |
#+TBLFM: $1='(identity remote(vericert-nodiv,@@#$1))::$2=(remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10)) / (remote(vericert-nodiv,@@#$11) * (10^-6) * remote(vericert-nodiv,@@#$10))::$3=(remote(legup-noopt-nodiv,@@#$11) * (10^-6) * remote(legup-noopt-nodiv,@@#$10)) / (remote(vericert-nodiv,@@#$11) * (10^-6) * remote(vericert-nodiv,@@#$10))::$4=(remote(legup-nochain-nodiv,@@#$11) * (10^-6) * remote(legup-nochain-nodiv,@@#$10)) / (remote(vericert-nodiv,@@#$11) * (10^-6) * remote(vericert-nodiv,@@#$10))::$5=(remote(legup-noopt-nochain-nodiv,@@#$11) * (10^-6) * remote(legup-noopt-nochain-nodiv,@@#$10)) / (remote(vericert-nodiv,@@#$11) * (10^-6) * remote(vericert-nodiv,@@#$10))
*** Divide
#+name: rel-time-div
| benchmark | legup | legup noopt | legup nochain | legup noopt nochain |
|----------------+--------------+-------------+---------------+---------------------|
| 2mm | 0.019924775 | 0.027673365 | 0.038454061 | 0.050694963 |
| 3mm | 0.043372087 | 0.051349596 | 0.058145823 | 0.072573250 |
| adi | 0.050052970 | 0.048540631 | 0.052566526 | 0.055818882 |
| atas | 0.27360482 | 0.26995648 | 0.26275954 | 0.25548121 |
| bicg | 0.026578270 | 0.037018718 | 0.040168512 | 0.054453744 |
| cholesky | 0.017769755 | 0.019856219 | 0.031036548 | 0.038987961 |
| covariance | 0.041459878 | 0.049997262 | 0.056594420 | 0.076665109 |
| doitgen | 6.1894593e-3 | 0.033128771 | 0.011259954 | 0.051260157 |
| durbin | 0.054060284 | 0.065280574 | 0.086845863 | 0.10202980 |
| fdtd-2d | 0.036115085 | 0.041174082 | 0.052294606 | 0.063296682 |
| floyd-warshall | 0.54988006 | 0.66136612 | 0.82192307 | 1.0579149 |
| gemm | 0.031740226 | 0.036943897 | 0.061975169 | 0.058105463 |
| gemver | 0.028628373 | 0.042942641 | 0.059753847 | 0.076162337 |
| gesummv | 0.025488998 | 0.031293438 | 0.033041644 | 0.044767934 |
| heat-3d | 0.21490110 | 0.26476967 | 0.31138171 | 0.38344740 |
| jacobi-1d | 0.031765878 | 0.039311113 | 0.059233735 | 0.069183538 |
| jacobi-2d | 0.034194734 | 0.039330129 | 0.046580436 | 0.046445450 |
| lu | 0.017582872 | 0.020327727 | 0.033247799 | 0.037476550 |
| ludcmp | 0.020344643 | 0.022722974 | 0.036162620 | 0.042749906 |
| mvt | 0.022787095 | 0.038300879 | 0.038864529 | 0.058836279 |
| nussinov | 0.60862824 | 0.74494984 | 1.0975727 | 1.3647762 |
| seidel-2d | 0.061149217 | 0.061976868 | 0.057344771 | 0.067324374 |
| symm | 0.040892606 | 0.040835346 | 0.049658414 | 0.060941561 |
| syr2k | 0.037639333 | 0.042153824 | 0.054926573 | 0.062337732 |
| syrk | 0.027017048 | 0.034679748 | 0.048649499 | 0.052222474 |
#+TBLFM: $1='(identity remote(vericert-div,@@#$1))::$2=(remote(legup-div,@@#$11) * (10^-6) * remote(legup-div,@@#$10)) / (remote(vericert-div,@@#$11) * (10^-6) * remote(vericert-div,@@#$10))::$3=(remote(legup-noopt-div,@@#$11) * (10^-6) * remote(legup-noopt-div,@@#$10)) / (remote(vericert-div,@@#$11) * (10^-6) * remote(vericert-div,@@#$10))::$4=(remote(legup-nochain-div,@@#$11) * (10^-6) * remote(legup-nochain-div,@@#$10)) / (remote(vericert-div,@@#$11) * (10^-6) * remote(vericert-div,@@#$10))::$5=(remote(legup-noopt-nochain-div,@@#$11) * (10^-6) * remote(legup-noopt-nochain-div,@@#$10)) / (remote(vericert-div,@@#$11) * (10^-6) * remote(vericert-div,@@#$10))
** Relative to vericert size (Slice)
*** No divide
#+name: rel-size-nodiv
| benchmark | legup | legup noopt | legup nochain | legup noopt nochain |
|----------------+------------+-------------+---------------+---------------------|
| 2mm | 0.84637188 | 0.64229025 | 1.3004535 | 0.65816327 |
| 3mm | 0.96597938 | 0.65309278 | 1.3185567 | 0.71134021 |
| adi | 0.52007412 | 0.66275479 | 0.64453366 | 0.85392217 |
| atas | 0.82804674 | 1.6544240 | 0.83472454 | 1.7362270 |
| bicg | 0.88494624 | 0.74408602 | 0.89677419 | 0.77096774 |
| cholesky | 0.67175975 | 0.61064278 | 0.80927292 | 0.62697576 |
| covariance | 2.3716338 | 2.1723519 | 2.3141831 | 2.1777379 |
| doitgen | 1.1636675 | 0.59125964 | 1.3984576 | 0.62896315 |
| durbin | 0.99321574 | 0.96879240 | 1.0515604 | 1.2062415 |
| fdtd-2d | 1.1114041 | 1.0224127 | 1.1206328 | 1.0725115 |
| floyd-warshall | 0.62751678 | 0.57718121 | 0.72595078 | 0.64093960 |
| gemm | 1.1558559 | 0.74324324 | 1.8414414 | 0.76666667 |
| gemver | 0.61819804 | 0.66012489 | 0.71008029 | 0.63693131 |
| gesummv | 0.68113017 | 0.63269425 | 0.73461150 | 0.67911201 |
| heat-3d | 0.87654321 | 0.62208505 | 1.0692730 | 0.67764060 |
| jacobi-1d | 0.63436123 | 1.8127753 | 0.65418502 | 2.0286344 |
| jacobi-2d | 1.5218855 | 1.3591470 | 1.5465769 | 1.4837262 |
| lu | 0.71623932 | 0.64900285 | 0.87920228 | 0.69173789 |
| ludcmp | 0.73606811 | 0.65595975 | 0.85100619 | 0.73529412 |
| mvt | 0.52758216 | 0.52699531 | 0.61971831 | 0.53579812 |
| nussinov | 0.66972477 | 0.62895005 | 0.71253823 | 0.76044852 |
| seidel-2d | 1.6689560 | 1.3475275 | 1.5494505 | 1.4093407 |
| symm | 0.61267606 | 0.54481434 | 0.70678617 | 0.57938540 |
| syr2k | 0.65887509 | 0.59313367 | 0.70562454 | 0.65814463 |
| syrk | 0.74527253 | 0.72191324 | 0.81201335 | 0.79087875 |
| trisolv | 2.0654008 | 1.9282700 | 2.0590717 | 2.0717300 |
#+TBLFM: $1='(identity remote(vericert-nodiv,@@#$1))::$2=(remote(legup-nodiv,@@#$3))/(remote(vericert-nodiv,@@#$3))::$3=(remote(legup-noopt-nodiv,@@#$3))/(remote(vericert-nodiv,@@#$3))::$4=(remote(legup-nochain-nodiv,@@#$3))/(remote(vericert-nodiv,@@#$3))::$5=(remote(legup-noopt-nochain-nodiv,@@#$3))/(remote(vericert-nodiv,@@#$3))
*** Divide
#+name: rel-size-div
| benchmark | legup | legup noopt | legup nochain | legup noopt nochain |
|----------------+------------+-------------+---------------+---------------------|
| 2mm | 0.46390431 | 0.27210594 | 0.65698419 | 0.27936779 |
| 3mm | 0.89782303 | 0.81004213 | 1.0614466 | 0.81846910 |
| adi | 0.65849172 | 0.52329859 | 0.75383200 | 0.56192520 |
| atas | 1.6092397 | 1.5707411 | 1.6477382 | 1.6227141 |
| bicg | 0.25584046 | 0.22564103 | 0.23532764 | 0.25698006 |
| cholesky | 1.0431145 | 0.97812098 | 1.0694981 | 1.0431145 |
| covariance | 0.94762916 | 0.96390658 | 0.95116773 | 0.90445860 |
| doitgen | 0.73398329 | 0.31685237 | 1.2674095 | 0.31615599 |
| durbin | 1.7065369 | 1.6815021 | 1.7454798 | 1.7621697 |
| fdtd-2d | 1.2480680 | 1.1383308 | 1.2264297 | 1.2449768 |
| floyd-warshall | 0.71647510 | 0.65900383 | 0.82886335 | 0.73180077 |
| gemm | 0.61864880 | 0.23897264 | 0.89447236 | 0.26409827 |
| gemver | 0.53533279 | 0.52711586 | 0.54437141 | 0.54231717 |
| gesummv | 0.19166215 | 0.17433676 | 0.18787223 | 0.19870060 |
| heat-3d | 1.4489796 | 0.99773243 | 1.7675737 | 1.1065760 |
| jacobi-1d | 1.2111717 | 1.1335150 | 1.2111717 | 1.2179837 |
| jacobi-2d | 1.1958763 | 1.1405811 | 1.1940019 | 1.2774133 |
| lu | 0.99876999 | 0.89913899 | 0.99077491 | 0.96801968 |
| ludcmp | 0.77523120 | 0.71853639 | 0.80498593 | 0.77764375 |
| mvt | 0.12603601 | 0.11374678 | 0.13403830 | 0.12317805 |
| nussinov | 1.0076687 | 0.94631902 | 1.0720859 | 1.1441718 |
| seidel-2d | 1.1784314 | 1.0401961 | 1.1352941 | 1.1401961 |
| symm | 0.62884044 | 0.58919722 | 0.68929633 | 0.62091179 |
| syr2k | 1.0571132 | 0.88785047 | 1.0508827 | 0.92990654 |
| syrk | 0.35622318 | 0.28397711 | 0.42346209 | 0.31902718 |
#+TBLFM: $1='(identity remote(vericert-div,@@#$1))::$2=(remote(legup-div,@@#$3))/(remote(vericert-div,@@#$3))::$3=(remote(legup-noopt-div,@@#$3))/(remote(vericert-div,@@#$3))::$4=(remote(legup-nochain-div,@@#$3))/(remote(vericert-div,@@#$3))::$5=(remote(legup-noopt-nochain-div,@@#$3))/(remote(vericert-div,@@#$3))
** Relative to LegUp cycle count
*** No divide
#+name: rel-time-nodiv
| benchmark | vericert | legup noopt | legup nochain | legup noopt nochain |
|-----------------+------------+-------------+---------------+---------------------|
| 2mm | 7.6588881 | 0.94895872 | 0.88927110 | 0.84278542 |
| 3mm | 8.7809065 | 0.96085021 | 0.90507766 | 0.86020529 |
| adi | 8.4640856 | 0.94301972 | 0.83122021 | 0.82416194 |
| atas | 7.9003632 | 0.95940032 | 0.82232983 | 0.75463265 |
| bicg | 8.3091764 | 0.97894428 | 0.75722260 | 0.79600431 |
| cholesky | 9.5357108 | 0.94189097 | 0.90642309 | 0.95199689 |
| covariance | 9.2278018 | 0.93748827 | 0.85873850 | 0.85704900 |
| doitgen | 7.1949367 | 0.96249414 | 0.85344585 | 0.75293015 |
| durbin | 10.874563 | 1.0138748 | 0.93107727 | 0.89430344 |
| fdtd-2d | 6.5683167 | 0.91644314 | 0.72128749 | 0.73892547 |
| floyd-warshall | 0.41043151 | 0.97179335 | 0.69942597 | 0.75306809 |
| gemm | 8.2192451 | 0.96782711 | 0.94181498 | 0.76295717 |
| gemver | 8.3572384 | 0.98960798 | 1.0155366 | 0.96758926 |
| gesummv | 6.9036911 | 0.94849385 | 0.69554518 | 0.67967756 |
| heat-3d | 0.32897702 | 0.97739222 | 0.73666817 | 0.70775124 |
| jacobi-1d | 11.092393 | 1.0593361 | 1.0124481 | 0.99308437 |
| jacobi-2d | 7.1913098 | 1.0337553 | 0.82763264 | 0.73345902 |
| lu | 9.6641990 | 0.97354654 | 0.97709999 | 0.92142928 |
| ludcmp | 8.8958004 | 0.93071981 | 0.92643635 | 0.90697458 |
| mvt | 10.505423 | 1.0055807 | 0.85700748 | 0.87238075 |
| nussinov | 0.37212605 | 0.99689303 | 0.84101198 | 0.86879716 |
| seidel-2d | 8.4941552 | 0.92741764 | 0.80786397 | 0.84399575 |
| symm | 6.6084196 | 0.82425660 | 0.76921149 | 0.77497494 |
| syr2k | 7.6507937 | 0.95075540 | 0.90571811 | 0.87445018 |
| syrk | 8.0280068 | 0.96434601 | 0.86642169 | 0.77425762 |
| trisolv | 10.387581 | 1.0150108 | 0.87224622 | 0.94859611 |
| trmm | 7.9284260 | 0.95849093 | 0.84434100 | 0.80428668 |
|-----------------+------------+-------------+---------------+---------------------|
| \textbf{median} | 8.2192451 | 0.96249414 | 0.85700748 | 0.84278542 |
#+TBLFM: @2$1..@II$1='(identity remote(vericert-div,@@#$1))::@2$2..@II$2=(remote(vericert-div,@@#$10)) / (remote(legup-div,@@#$10))::@2$3..@II$3=(remote(legup-noopt-div,@@#$10)) / (remote(legup-div,@@#$10))::@2$4..@II$4=(remote(legup-nochain-div,@@#$10)) / (remote(legup-div,@@#$10))::@2$5..@II$5=(remote(legup-noopt-nochain-div,@@#$10)) / (remote(legup-div,@@#$10))::@>$2..@>$5=vmedian(@2$$#..@-1$$#)
** Relative to LegUp exec time
*** No divide
#+name: rel-time-nodiv
| benchmark | vericert | legup noopt | legup nochain | legup noopt nochain |
|-----------------+------------+-------------+---------------+---------------------|
| 2mm | 2.6940664 | 1.4126390 | 2.0470769 | 2.8218645 |
| 3mm | 2.2662709 | 1.4341476 | 1.8041791 | 2.6063100 |
| adi | 3.8740916 | 1.8266819 | 1.6959258 | 3.0485338 |
| atas | 1.6754557 | 1.3769086 | 1.8254298 | 2.1637725 |
| bicg | 2.1229546 | 1.3628775 | 2.3410673 | 3.1483129 |
| cholesky | 3.0492309 | 1.1918403 | 1.8986657 | 2.3510332 |
| covariance | 1.2715910 | 1.3361944 | 1.6366507 | 2.3236693 |
| doitgen | 6.9953994 | 4.1345352 | 1.8226875 | 7.4096335 |
| durbin | 2.0327955 | 1.2116020 | 1.8172687 | 2.2706423 |
| fdtd-2d | 1.5515491 | 1.1018185 | 1.4628000 | 1.7772044 |
| floyd-warshall | 1.9615387 | 1.2027461 | 1.4947315 | 1.9239012 |
| gemm | 1.8469077 | 1.2611980 | 1.9577803 | 2.3681335 |
| gemver | 2.1473554 | 1.5730371 | 2.5031670 | 3.2661711 |
| gesummv | 2.0705516 | 1.5357406 | 2.3198665 | 3.0988924 |
| heat-3d | 5.1333107 | 1.2234378 | 1.4489536 | 1.8015284 |
| jacobi-1d | 1.8105246 | 1.2288629 | 1.7369597 | 2.2979022 |
| jacobi-2d | 1.4143161 | 0.85422818 | 1.1614101 | 1.1724647 |
| lu | 2.8103434 | 1.1513052 | 1.8867237 | 2.2089981 |
| ludcmp | 2.5686385 | 1.2667986 | 1.8454097 | 2.1717871 |
| mvt | 2.1198192 | 1.6147969 | 2.4606964 | 3.5472470 |
| nussinov | 1.7508244 | 1.2239817 | 1.8033548 | 2.2423807 |
| seidel-2d | 1.7640548 | 1.2940804 | 1.7936131 | 2.2466971 |
| symm | 2.1128832 | 1.0668560 | 1.4646131 | 2.0501358 |
| syr2k | 2.5921657 | 1.3095186 | 2.0498786 | 2.4951638 |
| syrk | 2.0946298 | 1.3576898 | 1.8768625 | 2.3622972 |
| trisolv | 0.47290242 | 0.95672922 | 1.2231859 | 1.1019474 |
| trmm | 1.5458213 | 1.1443962 | 1.6055769 | 1.9390939 |
|-----------------+------------+-------------+---------------+---------------------|
| \textbf{median} | 2.0946298 | 1.2667986 | 1.8172687 | 2.2979022 |
#+TBLFM: @2$1..@II$1='(identity remote(vericert-nodiv,@@#$1))::@2$2..@II$2=(remote(vericert-nodiv,@@#$11) * (10^-6) * remote(vericert-nodiv,@@#$10)) / (remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10))::@2$3..@II$3=(remote(legup-noopt-nodiv,@@#$11) * (10^-6) * remote(legup-noopt-nodiv,@@#$10)) / (remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10))::@2$4..@II$4=(remote(legup-nochain-nodiv,@@#$11) * (10^-6) * remote(legup-nochain-nodiv,@@#$10)) / (remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10))::@2$5..@II$5=(remote(legup-noopt-nochain-nodiv,@@#$11) * (10^-6) * remote(legup-noopt-nochain-nodiv,@@#$10)) / (remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10))::@>$2..@>$5=vmedian(@2$$#..@-1$$#)
*** Divide
#+name: rel-time-div
| benchmark | vericert | legup noopt | legup nochain | legup noopt nochain |
|-----------------+-----------+-------------+---------------+---------------------|
| 2mm | 50.188771 | 1.3888922 | 1.9299621 | 2.5443179 |
| 3mm | 23.056304 | 1.1839319 | 1.3406278 | 1.6732709 |
| adi | 19.978835 | 0.96978523 | 1.0502179 | 1.1151962 |
| atas | 3.6549064 | 0.98666568 | 0.96036153 | 0.93375990 |
| bicg | 37.624721 | 1.3928189 | 1.5113291 | 2.0488069 |
| cholesky | 56.275397 | 1.1174166 | 1.7465941 | 2.1940630 |
| covariance | 24.119705 | 1.2059192 | 1.3650407 | 1.8491398 |
| doitgen | 161.56500 | 5.3524499 | 1.8192144 | 8.2818473 |
| durbin | 18.497868 | 1.2075514 | 1.6064633 | 1.8873338 |
| fdtd-2d | 27.689261 | 1.1400799 | 1.4479990 | 1.7526383 |
| floyd-warshall | 1.8185784 | 1.2027461 | 1.4947315 | 1.9239012 |
| gemm | 31.505762 | 1.1639456 | 1.9525749 | 1.8306569 |
| gemver | 34.930382 | 1.5000029 | 2.0872247 | 2.6603796 |
| gesummv | 39.232613 | 1.2277233 | 1.2963100 | 1.7563630 |
| heat-3d | 4.6533033 | 1.2320536 | 1.4489536 | 1.7842971 |
| jacobi-1d | 31.480320 | 1.2375264 | 1.8646969 | 2.1779199 |
| jacobi-2d | 29.244269 | 1.1501809 | 1.3622108 | 1.3582632 |
| lu | 56.873531 | 1.1561096 | 1.8909197 | 2.1314237 |
| ludcmp | 49.152990 | 1.1169021 | 1.7775009 | 2.1012857 |
| mvt | 43.884488 | 1.6808145 | 1.7055499 | 2.5819999 |
| nussinov | 1.6430391 | 1.2239817 | 1.8033548 | 2.2423807 |
| seidel-2d | 16.353439 | 1.0135350 | 0.93778424 | 1.1009851 |
| symm | 24.454299 | 0.99859977 | 1.2143617 | 1.4902832 |
| syr2k | 26.567952 | 1.1199408 | 1.4592866 | 1.6561859 |
| syrk | 37.013666 | 1.2836246 | 1.8006963 | 1.9329452 |
| trisolv | 7.3959624 | 1.0656724 | 1.0610825 | 1.2497275 |
| trmm | 27.279276 | 1.1355241 | 1.5738129 | 1.7721007 |
|-----------------+-----------+-------------+---------------+---------------------|
| \textbf{median} | 27.689261 | 1.1839319 | 1.5113291 | 1.8491398 |
#+TBLFM: @2$1..@II$1='(identity remote(vericert-div,@@#$1))::@2$2..@II$2=(remote(vericert-div,@@#$11) * remote(vericert-div,@@#$10)) / (remote(legup-div,@@#$11) * remote(legup-div,@@#$10))::@2$3..@II$3=(remote(legup-noopt-div,@@#$11) * (10^-6) * remote(legup-noopt-div,@@#$10)) / (remote(legup-div,@@#$11) * (10^-6) * remote(legup-div,@@#$10))::@2$4..@II$4=(remote(legup-nochain-div,@@#$11) * (10^-6) * remote(legup-nochain-div,@@#$10)) / (remote(legup-div,@@#$11) * (10^-6) * remote(legup-div,@@#$10))::@2$5..@II$5=(remote(legup-noopt-nochain-div,@@#$11) * (10^-6) * remote(legup-noopt-nochain-div,@@#$10)) / (remote(legup-div,@@#$11) * (10^-6) * remote(legup-div,@@#$10))::@>$2..@>$5=vmedian(@2$$#..@II$$#)
** Relative to LegUp size (Slice)
*** No divide
#+name: rel-size-nodiv
| benchmark | vericert | legup noopt | legup nochain | legup noopt nochain |
|-----------------+------------+-------------+---------------+---------------------|
| 2mm | 1.1815137 | 0.75887475 | 1.5365037 | 0.77762894 |
| 3mm | 1.0352188 | 0.67609392 | 1.3649947 | 0.73639274 |
| adi | 1.9228029 | 1.2743468 | 1.2393112 | 1.6419240 |
| atas | 1.2076613 | 1.9979839 | 1.0080645 | 2.0967742 |
| bicg | 1.1300122 | 0.84082625 | 1.0133657 | 0.87120292 |
| cholesky | 1.4886275 | 0.90901961 | 1.2047059 | 0.93333333 |
| covariance | 0.42165026 | 0.91597275 | 0.97577593 | 0.91824375 |
| doitgen | 0.85935199 | 0.50810015 | 1.2017673 | 0.54050074 |
| durbin | 1.0068306 | 0.97540984 | 1.0587432 | 1.2144809 |
| fdtd-2d | 0.89976275 | 0.91992883 | 1.0083037 | 0.96500593 |
| floyd-warshall | 1.5935829 | 0.91978610 | 1.1568627 | 1.0213904 |
| gemm | 0.86515978 | 0.64302416 | 1.5931411 | 0.66328917 |
| gemver | 1.6176046 | 1.0678211 | 1.1486291 | 1.0303030 |
| gesummv | 1.4681481 | 0.92888889 | 1.0785185 | 0.99703704 |
| heat-3d | 1.1408451 | 0.70970266 | 1.2198748 | 0.77308294 |
| jacobi-1d | 1.5763889 | 2.8576389 | 1.03125 | 3.1979167 |
| jacobi-2d | 0.65707965 | 0.89306785 | 1.0162242 | 0.97492625 |
| lu | 1.3961814 | 0.90612570 | 1.2275259 | 0.96579157 |
| ludcmp | 1.3585699 | 0.89116719 | 1.1561514 | 0.99894848 |
| mvt | 1.8954394 | 0.99888765 | 1.1746385 | 1.0155729 |
| nussinov | 1.4931507 | 0.93911720 | 1.0639269 | 1.1354642 |
| seidel-2d | 0.59917695 | 0.80740741 | 0.92839506 | 0.84444444 |
| symm | 1.6321839 | 0.88923720 | 1.1536050 | 0.94566353 |
| syr2k | 1.5177384 | 0.90022173 | 1.0709534 | 0.99889135 |
| syrk | 1.3417910 | 0.96865672 | 1.0895522 | 1.0611940 |
| trisolv | 0.48416752 | 0.93360572 | 0.99693565 | 1.0030644 |
| trmm | 1.2645804 | 0.85348506 | 1.0896159 | 0.92745377 |
|-----------------+------------+-------------+---------------+---------------------|
| \textbf{median} | 1.2645804 | 0.90901961 | 1.0896159 | 0.97492625 |
#+TBLFM: @2..@II$1='(identity remote(vericert-nodiv,@@#$1))::@2$2..@II$2=(remote(vericert-nodiv,@@#$3))/(remote(legup-nodiv,@@#$3))::@2$3..@II$3=(remote(legup-noopt-nodiv,@@#$3))/(remote(legup-nodiv,@@#$3))::@2$4..@II$4=(remote(legup-nochain-nodiv,@@#$3))/(remote(legup-nodiv,@@#$3))::@2$5..@II$5=(remote(legup-noopt-nochain-nodiv,@@#$3))/(remote(legup-nodiv,@@#$3))::@>$2..@>$5=vmedian(@2$$#..@II$$#)
*** Divide
#+name: rel-size-div
| benchmark | vericert | legup noopt | legup nochain | legup noopt nochain |
|-----------------+------------+-------------+---------------+---------------------|
| 2mm | 2.1556169 | 0.58655617 | 1.4162063 | 0.60220994 |
| 3mm | 1.1138052 | 0.90222917 | 1.1822448 | 0.91161517 |
| adi | 1.5186220 | 0.79469274 | 1.1447858 | 0.85335196 |
| atas | 0.62141148 | 0.97607656 | 1.0239234 | 1.0083732 |
| bicg | 3.9086860 | 0.88195991 | 0.91982183 | 1.0044543 |
| cholesky | 0.95866749 | 0.93769278 | 1.0252930 | 1 |
| covariance | 1.0552651 | 1.0171770 | 1.0037341 | 0.95444361 |
| doitgen | 1.3624288 | 0.43168880 | 1.7267552 | 0.43074004 |
| durbin | 0.58598207 | 0.98533007 | 1.0228199 | 1.0325998 |
| fdtd-2d | 0.80123839 | 0.91207430 | 0.98266254 | 0.99752322 |
| floyd-warshall | 1.3957219 | 0.91978610 | 1.1568627 | 1.0213904 |
| gemm | 1.6164260 | 0.38628159 | 1.4458484 | 0.42689531 |
| gemver | 1.8679969 | 0.98465081 | 1.0168841 | 1.0130468 |
| gesummv | 5.2175141 | 0.90960452 | 0.98022599 | 1.0367232 |
| heat-3d | 0.69014085 | 0.68857590 | 1.2198748 | 0.76369327 |
| jacobi-1d | 0.82564679 | 0.93588301 | 1 | 1.0056243 |
| jacobi-2d | 0.83620690 | 0.95376176 | 0.99843260 | 1.0681818 |
| lu | 1.0012315 | 0.90024631 | 0.99199507 | 0.96921182 |
| ludcmp | 1.2899378 | 0.92686722 | 1.0383817 | 1.0031120 |
| mvt | 7.9342404 | 0.90249433 | 1.0634921 | 0.97732426 |
| nussinov | 0.99238965 | 0.93911720 | 1.0639269 | 1.1354642 |
| seidel-2d | 0.84858569 | 0.88269551 | 0.96339434 | 0.96755408 |
| symm | 1.5902285 | 0.93695823 | 1.0961387 | 0.98739165 |
| syr2k | 0.94597250 | 0.83988212 | 0.99410609 | 0.87966601 |
| syrk | 2.8072289 | 0.79718876 | 1.1887550 | 0.89558233 |
| trisolv | 0.77716535 | 0.94803150 | 0.96692913 | 0.91732283 |
| trmm | 2.5935728 | 0.78449905 | 1.0434783 | 0.80718336 |
|-----------------+------------+-------------+---------------+---------------------|
| \textbf{median} | 1.1138052 | 0.90960452 | 1.025293 | 0.97732426 |
#+TBLFM: @2$1..@II$1='(identity remote(vericert-div,@@#$1))::@2$2..@II$2=(remote(vericert-div,@@#$3))/(remote(legup-div,@@#$3))::@2$3..@II$3=(remote(legup-noopt-div,@@#$3))/(remote(legup-div,@@#$3))::@2$4..@II$4=(remote(legup-nochain-div,@@#$3))/(remote(legup-div,@@#$3))::@2$5..@II$5=(remote(legup-noopt-nochain-div,@@#$3))/(remote(legup-div,@@#$3))::@>$2..@>$5=vmedian(@2$$#..@II$$#)
* Code count
| File | Theorem | Code | Spec | Total |
|-------------------------+---------+------+------+-------|
| Compiler.v | 180 | 132 | 0 | 312 |
| HLSOpts.v | 0 | 2 | 0 | 2 |
| VericertClFlags.ml | 0 | 9 | 0 | 9 |
| common/IntegerExtra.v | 587 | 98 | 15 | 700 |
| common/Maps.v | 0 | 32 | 0 | 32 |
| common/Monad.v | 0 | 35 | 0 | 35 |
| common/Show.v | 0 | 42 | 0 | 42 |
| common/Statemonad.v | 0 | 46 | 0 | 46 |
| common/Vericertlib.v | 124 | 51 | 0 | 175 |
| common/ZExtra.v | 258 | 0 | 0 | 258 |
| hls/Array.v | 229 | 44 | 0 | 273 |
| hls/AssocMap.v | 147 | 30 | 0 | 177 |
| hls/FunctionalUnits.v | 9 | 0 | 0 | 9 |
| hls/HTL.v | 65 | 50 | 181 | 296 |
| hls/HTLgen.v | 0 | 590 | 0 | 590 |
| hls/HTLgenproof.v | 2567 | 0 | 0 | 2567 |
| hls/HTLgenspec.v | 502 | 0 | 66 | 568 |
| hls/Memorygen.v | 2843 | 203 | 0 | 3046 |
| hls/PrintHTL.ml | 0 | 70 | 0 | 70 |
| hls/PrintVerilog.ml | 0 | 236 | 0 | 236 |
| hls/ValueInt.v | 123 | 0 | 0 | 123 |
| hls/Verilog.v | 235 | 78 | 431 | 744 |
| hls/Veriloggen.v | 0 | 104 | 0 | 104 |
| hls/Veriloggenproof.v | 486 | 0 | 0 | 486 |
| extraction/Extraction.v | 0 | 184 | 0 | 184 |
| driver/VericertDriver.v | 0 | 460 | 0 | 460 |
|-------------------------+---------+------+------+-------|
| Total | 8355 | 2496 | 693 | 11544 |
#+TBLFM: @>$2..@>$4=vsum(@2$$#..@-1$$#)::$5=vsum(@@#$-3..@@#$-1)
|
