AddAdd data

8 files changed, 191 insertions, 0 deletions

diff --git a/results/legup_results_div/exec-time.csv b/results/legup_results_div/exec-time.csv
new file mode 100644
index 0000000..5708904
--- /dev/null
+++ b/results/legup_results_div/exec-time.csv
@@ -0,0 +1,27 @@
+benchmark,vericert,legup op,legup no nc,v op,v no nc,v

+2mm,2.14633908,0.796691232,2.248154685,0.371186099821655,1.0474368686424,1

+3mm,2.75689392,1.216489141,3.170547855,0.441253518017117,1.15004347174882,1

+atas,0.461244102,0.275294724,0.59567515,0.596852562030159,1.29145315336737,1

+bicg,0.61366668,0.289062554,0.910059377,0.471041631264712,1.48298645935934,1

+cholesky,12.55861639,4.118617703,9.683007106,0.327951549366498,0.771024992347903,1

+covariance,1.455531174,1.14465356,2.65979631,0.786416382174993,1.82737158606539,1

+doitgen,1.66509651,0.238027368,1.763695552,0.142951094168109,1.05921521149546,1

+durbin,0.231218064,0.113743887,0.25827168,0.491933394096752,1.11700476827797,1

+fdtd-2d,4.281226404,2.759323844,4.903882542,0.644517150838351,1.14543873162565,1

+floyd-warshall,24.218459118,12.346663632,23.753760982,0.509803847216008,0.980812233605126,1

+gemm,1.874821366,1.015113708,2.403924776,0.541445561912804,1.28221537240578,1

+gemver,0.904236832,0.421093242,1.37536256,0.465689106103566,1.52102028066912,1

+gesummv,0.550027764,0.265643112,0.823199408,0.482963096386531,1.49665064543905,1

+heat-3d,2.80617318,0.546659526,0.984822682,0.194806054699732,0.350948647438787,1

+jacobi-1d,0.084943008,0.04691624,0.10780893,0.552326096104343,1.26919133826765,1

+jacobi-2d,1.7389416,1.22952823,1.441578432,0.707055504336661,0.828997610960598,1

+lu,13.936284282,4.958925748,10.954257656,0.355828400716891,0.786024268330149,1

+ludcmp,12.40275333,4.828531979,10.486543496,0.389311296494195,0.845501254196112,1

+mvt,0.697623564,0.329095792,1.167384064,0.471738354296759,1.67337246652981,1

+nussinov,4.27264083,2.44035948,5.472215097,0.571159518690458,1.28075710426612,1

+seidel-2d,4.133094468,2.34295131,5.26390193,0.566875818624526,1.27359826172742,1

+symm,1.289465856,0.610287327,1.251171894,0.4732869227675,0.970302461424772,1

+syr2k,2.389200044,0.921700339,2.299793338,0.385777800948341,0.962578811169652,1

+syrk,1.522963572,0.727080081,1.717579215,0.477411340866924,1.12778745767663,1

+trisolv,0.16370305,0.34616666,0.38145744,2.11460116350917,2.33017918725399,1

+trmm,0.726989952,0.470293666,0.911943566,0.64690531788808,1.25441013798221,1
\ No newline at end of file
diff --git a/results/legup_results_div/legup_no_chain.csv b/results/legup_results_div/legup_no_chain.csv
new file mode 100644
index 0000000..34a3fdf
--- /dev/null
+++ b/results/legup_results_div/legup_no_chain.csv
@@ -0,0 +1,28 @@
+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.149000000000001,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
diff --git a/results/legup_results_div/legup_no_opt.csv b/results/legup_results_div/legup_no_opt.csv
new file mode 100644
index 0000000..af2de04
--- /dev/null
+++ b/results/legup_results_div/legup_no_opt.csv
@@ -0,0 +1,28 @@
+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.399000000000001,37148
+trmm,4,415,878,1155,4,0,3,0.141,9.883,49819
diff --git a/results/legup_results_div/legup_no_opt_no_chain.csv b/results/legup_results_div/legup_no_opt_no_chain.csv
new file mode 100644
index 0000000..51ab217
--- /dev/null
+++ b/results/legup_results_div/legup_no_opt_no_chain.csv
@@ -0,0 +1,28 @@
+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.795999999999999,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
diff --git a/results/legup_results_div/legup_opt.csv b/results/legup_results_div/legup_opt.csv
new file mode 100644
index 0000000..12f06fd
--- /dev/null
+++ b/results/legup_results_div/legup_opt.csv
@@ -0,0 +1,28 @@
+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.475999999999999,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
diff --git a/results/legup_results_div/vericert_div.csv b/results/legup_results_div/vericert_div.csv
new file mode 100644
index 0000000..7097c45
--- /dev/null
+++ b/results/legup_results_div/vericert_div.csv
@@ -0,0 +1,26 @@
+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
+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
+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
diff --git a/results/legup_results_div/vericert_timing.csv b/results/legup_results_div/vericert_timing.csv
new file mode 100644
index 0000000..55d5644
--- /dev/null
+++ b/results/legup_results_div/vericert_timing.csv
@@ -0,0 +1,26 @@
+benchmark,legup no chain,legup opt,legup no opt no chain,legup no opt,vericert,vericert no opt,vericert no o no c,vericert opt,vericert no chain,no opt,opt,no opt no chain

+2mm,1.2813,0.6639,1.6892,0.9221,33.3205,36.1358,19.7258,50.1888,26.0051,0.0277,0.0199,0.0507

+3mm,3.0134,2.2478,3.7612,2.6612,51.8256,19.4744,13.7792,23.0563,17.1981,0.0513,0.0434,0.0726

+atas,1.3024,1.3562,1.2664,1.3381,4.9568,3.7043,3.9142,3.6549,3.8058,0.2700,0.2736,0.2555

+bicg,0.1838,0.1216,0.2491,0.1693,4.5745,27.0134,18.3642,37.6247,24.8951,0.0370,0.0266,0.0545

+cholesky,7.7229,4.4217,9.7014,4.9409,248.8319,50.3621,25.6489,56.2754,32.2201,0.0199,0.0178,0.0390

+doitgen,0.3041,0.1672,1.3845,0.8948,27.0094,30.1852,19.5083,161.5650,88.8103,0.0331,0.0062,0.0513

+durbin,0.1923,0.1197,0.2260,0.1446,2.2148,15.3185,9.8011,18.4979,11.5147,0.0653,0.0541,0.1020

+fdtd-2d,3.8094,2.6308,4.6108,2.9993,72.8446,24.2871,15.7986,27.6893,19.1224,0.0412,0.0361,0.0633

+floyd-warshall,18.4549,12.3467,23.7538,14.8499,22.4534,1.5120,0.9453,1.8186,1.2167,0.6614,0.5499,1.0579

+gemm,1.7091,0.8753,1.6024,1.0188,27.5771,27.0681,17.2101,31.5058,16.1355,0.0369,0.0317,0.0581

+gemver,0.5698,0.2730,0.7262,0.4095,9.5352,23.2869,13.1298,34.9304,16.7353,0.0429,0.0286,0.0762

+gesummv,0.1013,0.0782,0.1373,0.0960,3.0673,31.9556,22.3374,39.2326,30.2648,0.0313,0.0255,0.0448

+heat-3d,0.7921,0.5467,0.9754,0.6735,2.5438,3.7769,2.6079,4.6533,3.2115,0.2648,0.2149,0.3834

+jacobi-1d,0.0932,0.0500,0.1089,0.0619,1.5736,25.4381,14.4543,31.4803,16.8823,0.0393,0.0318,0.0692

+jacobi-2d,1.2838,0.9425,1.2801,1.0840,27.5615,25.4258,21.5306,29.2443,21.4682,0.0393,0.0342,0.0464

+lu,9.2893,4.9126,10.4708,5.6795,279.3948,49.1939,26.6834,56.8735,30.0772,0.0203,0.0176,0.0375

+ludcmp,8.9870,5.0560,10.6240,5.6470,248.5152,44.0083,23.3919,49.1530,27.6529,0.0227,0.0203,0.0427

+mvt,0.2722,0.1596,0.4121,0.2683,7.0043,26.1091,16.9963,43.8845,25.7304,0.0383,0.0228,0.0588

+nussinov,4.4008,2.4404,5.4722,2.9870,4.0096,1.3424,0.7327,1.6430,0.9111,0.7449,0.6086,1.3648

+seidel-2d,3.0471,3.2492,3.5773,3.2932,53.1359,16.1351,14.8535,16.3534,17.4384,0.0620,0.0611,0.0673

+symm,0.9436,0.7770,1.1580,0.7759,19.0014,24.4886,16.4092,24.4543,20.1376,0.0408,0.0409,0.0609

+syr2k,1.9184,1.3146,2.1773,1.4723,34.9268,23.7226,16.0416,26.5680,18.2061,0.0422,0.0376,0.0623

+syrk,1.0689,0.5936,1.1474,0.7620,21.9720,28.8353,19.1488,37.0137,20.5552,0.0347,0.0270,0.0522

+trisolv,0.3477,0.3276,0.4095,0.3492,2.4232,6.9402,5.9181,7.3960,6.9702,0.1441,0.1352,0.1690

+trmm,0.6824,0.4336,0.7684,0.4924,11.8282,24.0235,15.3938,27.2793,17.3332,0.0416,0.0367,0.0650

diff --git a/results/legup_results_div/vericert_timing.numbers b/results/legup_results_div/vericert_timing.numbers
new file mode 100755
index 0000000..d8737e6
--- /dev/null
+++ b/results/legup_results_div/vericert_timing.numbers