Add data

3 files changed, 84 insertions, 0 deletions

diff --git a/data/bambu-area.csv b/data/bambu-area.csv
new file mode 100644
index 0000000..1377a2a
--- /dev/null
+++ b/data/bambu-area.csv
@@ -0,0 +1,28 @@
+benchmark,lut_flip_flop,slice,regs,luts,ramfifo,iopin,dsps,power,delay,cycles
+cholesky,1357,910,2071,3080,8,0,3,0.148,9.509,432503
+mvt,689,594,1442,1616,8,0,6,0.145,8.79,36958
+trmm,628,488,1113,1460,3,0,3,0.135,8.396,42642
+gemm,803,651,1568,1882,5,0,6,0.138,7.924,88052
+durbin,566,412,921,1414,3,0,6,0.15,9.202,FALSE
+atas,456,370,806,1119,6,0,3,0.146,7.608,22628
+trisolv,345,284,698,844,6,0,3,0.143,7.151,9468
+symm,894,663,1617,1949,5,0,6,0.138,8.335,50392
+2mm,1220,949,1986,2868,5,0,6,0.151,8.676,82724
+covariance,594,536,1193,1508,5,0,6,0.144,8.417,91654
+jacobi-1d,325,225,617,646,2,0,0,0.131,8.183,4717
+gemver,516,501,1030,1587,11,0,9,0.162,8.615,39318
+doitgen,792,632,1410,1862,4,0,6,0.139,8.409,85427
+nussinov,662,455,1049,1509,9,0,0,0.142,9.187,236267
+jacobi-2d,715,525,1157,1562,4,0,3,0.133,8.083,73516
+lu,1249,885,1990,2914,8,0,3,0.15,9.778,503642
+ludcmp,1728,1222,2363,4177,11,0,3,0.164,9.881,458706
+bicg,614,533,1285,1397,8,0,9,0.142,7.78,30060
+heat-3d,818,680,1439,2151,4,0,3,0.145,9.172,50107
+3mm,1293,1061,2209,3244,8,0,6,0.161,9.383,126860
+fdtd-2d,856,680,1525,2195,7,0,3,0.143,8.552,FALSE
+seidel-2d,521,405,954,1133,4,0,3,0.143,8.638,172996
+syr2k,825,636,1582,1829,6,0,9,0.138,7.783,76378
+adi,1057,866,1775,2770,4,0,9,0.152,9.584,218309
+floyd-warshall,529,350,859,1123,8,0,3,0.143,7.855,998008
+gesummv,583,461,1069,1265,6,0,9,0.137,7.84,24736
+syrk,788,605,1372,1754,4,0,6,0.136,7.754,68228
diff --git a/data/vericert-full-inlining.csv b/data/vericert-full-inlining.csv
new file mode 100644
index 0000000..070b3e9
--- /dev/null
+++ b/data/vericert-full-inlining.csv
@@ -0,0 +1,28 @@
+benchmark,lut_flip_flop,slice,regs,luts,ramfifo,iopin,dsps,power,delay,cycles
+cholesky,727,1395,3722,2361,8,0,12,0.157,4.591,2575070
+mvt,817,1451,3893,2550,4,0,9,0.155,4.505,148874
+trmm,517,680,2168,1478,2,0,6,0.138,4.358,165828
+gemm,589,960,2811,2013,4,0,18,0.159,4.38,406774
+durbin,656,647,2096,1485,1,0,12,0.148,4.69,23832
+atas,345,498,1469,984,4,0,6,0.135,4.488,101618
+trisolv,204,372,1176,579,4,0,3,0.128,4.215,36050
+symm,793,1042,3167,2375,4,0,21,0.161,4.78,279832
+2mm,801,1552,3865,2761,4,0,24,0.173,4.931,467612
+covariance,370,572,1707,1144,4,0,6,0.138,4.181,340794
+jacobi-1d,254,334,1271,526,1,0,0,0.126,4.024,19996
+gemver,456,884,2690,1631,4,0,21,0.151,4.709,193048
+doitgen,531,748,2387,1561,4,0,6,0.134,4.34,386782
+nussinov,526,668,1929,1528,8,0,0,0.135,4.242,956490
+jacobi-2d,480,703,1998,1249,4,0,6,0.137,4.129,397200
+lu,713,1320,3489,2262,8,0,9,0.155,4.583,2893146
+ludcmp,1034,1941,4950,3223,8,0,15,0.155,4.887,2641694
+bicg,555,788,2513,1768,4,0,9,0.146,4.418,130790
+heat-3d,1047,1138,3228,1982,4,0,3,0.133,4.634,592770
+3mm,857,1487,3957,2991,8,0,21,0.166,4.505,604582
+fdtd-2d,756,1023,3187,1911,4,0,9,0.148,4.328,958412
+seidel-2d,392,522,1725,915,4,0,3,0.131,4.172,942338
+syr2k,627,952,3170,2097,8,0,18,0.161,4.517,525908
+adi,1998,3581,10087,5392,4,0,54,0.203,4.787,1831462
+floyd-warshall,614,811,2643,1980,8,0,3,0.145,4.211,5414366
+gesummv,608,880,2833,1862,4,0,15,0.153,4.52,116556
+syrk,449,767,2273,1508,4,0,12,0.141,4.387,338286
diff --git a/data/vericert-fun.csv b/data/vericert-fun.csv
new file mode 100644
index 0000000..c7e948e
--- /dev/null
+++ b/data/vericert-fun.csv
@@ -0,0 +1,28 @@
+benchmark,lut_flip_flop,slice,regs,luts,ramfifo,iopin,dsps,power,delay,cycles
+cholesky,340,632,1626,1336,8,0,12,0.142,4.608,2579468
+mvt,180,281,724,492,4,0,6,0.139,4.271,153954
+trmm,203,355,848,643,2,0,6,0.138,4.381,168160
+gemm,203,395,887,738,4,0,9,0.143,4.483,411564
+durbin,190,224,644,449,1,0,3,0.129,4.183,23910
+atas,189,276,635,543,4,0,6,0.137,4.355,104850
+trisolv,129,241,639,414,4,0,3,0.133,4.152,36254
+symm,378,488,1318,1148,4,0,21,0.152,4.57,282670
+2mm,315,518,1287,1112,4,0,12,0.141,4.56,472234
+covariance,268,401,950,774,4,0,3,0.141,4.216,341426
+jacobi-1d,249,241,887,453,1,0,0,0.131,3.973,20050
+gemver,293,466,1119,947,4,0,18,0.148,4.65,197888
+doitgen,237,397,1068,703,4,0,3,0.131,4.327,390012
+nussinov,480,632,1733,1406,8,0,0,0.133,4.354,956550
+jacobi-2d,464,561,1578,1083,4,0,0,0.13,4.041,398156
+lu,326,588,1431,1213,8,0,9,0.141,4.9,2897526
+ludcmp,500,958,1730,1721,8,0,15,0.155,4.689,2646474
+bicg,177,272,658,560,4,0,6,0.136,4.378,135698
+heat-3d,1067,1002,3147,2040,4,0,3,0.139,4.47,596860
+3mm,358,541,1336,1322,8,0,9,0.141,4.675,607938
+fdtd-2d,531,653,1781,1366,4,0,0,0.131,4.285,961172
+seidel-2d,0,0,0,0,0,0,0,0.118,0,947472
+syr2k,257,409,1143,881,8,0,15,0.146,4.57,530482
+adi,557,914,2305,1804,4,0,6,0.142,4.361,1812058
+floyd-warshall,159,311,811,580,8,0,3,0.133,4.118,5437462
+gesummv,230,313,872,635,4,0,12,0.144,4.472,121088
+syrk,192,330,922,642,4,0,9,0.143,4.506,341344