#+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)