From 17784589e22e617401208b30782ca38c0a08e6d1 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 14 Jan 2022 14:27:47 +0000 Subject: Add data --- data/bambu-area.csv | 28 ++++++++++++++++++++++++++++ data/vericert-full-inlining.csv | 28 ++++++++++++++++++++++++++++ data/vericert-fun.csv | 28 ++++++++++++++++++++++++++++ 3 files changed, 84 insertions(+) create mode 100644 data/bambu-area.csv create mode 100644 data/vericert-full-inlining.csv create mode 100644 data/vericert-fun.csv 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 -- cgit