diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-07-11 14:12:50 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-11 14:12:50 +0200 |
| commit | c73f4e44c96310540434d0b9cc81e969c6430b90 (patch) | |
| tree | 063f9b2baae2ecd2c566cd215fe7c0d5c638d1fc /benchmarks | |
| parent | c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31 (diff) | |
| download | vericert-c73f4e44c96310540434d0b9cc81e969c6430b90.tar.gz vericert-c73f4e44c96310540434d0b9cc81e969c6430b90.zip | |
Fix the small test bench for Vericert
Diffstat (limited to 'benchmarks')
| -rw-r--r-- | benchmarks/README.md | 19 | ||||
| -rw-r--r-- | benchmarks/polybench-syn-div/exec.csv | 20 |
2 files changed, 28 insertions, 11 deletions
diff --git a/benchmarks/README.md b/benchmarks/README.md index 59edf78..c10f357 100644 --- a/benchmarks/README.md +++ b/benchmarks/README.md @@ -1,14 +1,11 @@ -Hi, +# Benchmarks -I have collected a set of benchmarks that you may be interested in. The main idea is to run the existing HLS benchmarks to see if they work - they can only test correctness for a single set of input by a customised test bench. +The main idea is to run the existing HLS benchmarks to see if they work - they can only test correctness for a single set of input by a customised test bench. -* jacob_2d: a benchmark from Polybench -* sobel: a benchmark from LegUp HLS -* getTanh: a benchmark from DASS -* fft: a benchmark from MachSuite -* KMeans: a benchmark from Felix's work +- jacob_2d: a benchmark from Polybench +- sobel: a benchmark from LegUp HLS +- getTanh: a benchmark from DASS +- fft: a benchmark from MachSuite +- KMeans: a benchmark from Felix's work -Note all the benchmark set above (links included in the source code) should be all synthesisable in your case, so you may be show coverage instead of a single benchmark. - -Best, -Jianyi +Note all the benchmark set above (links included in the source code) should be all synthesisable, so you may be able to show coverage instead of a single benchmark. diff --git a/benchmarks/polybench-syn-div/exec.csv b/benchmarks/polybench-syn-div/exec.csv index 8d1f5da..e28109b 100644 --- a/benchmarks/polybench-syn-div/exec.csv +++ b/benchmarks/polybench-syn-div/exec.csv @@ -5,3 +5,23 @@ jacobi-1d,19622 seidel-2d,664780 jacobi-2d,344072 nussinov,954402 +floyd-warshall,5373798 +3mm,536114 +2mm,404478 +doitgen,351988 +bicg,53916 +mvt,70204 +atas,58424 +syrk,271816 +gemver,117394 +symm,240172 +gesummv,37700 +gemm,328104 +trmm,144688 +syr2k,436520 +cholesky,2535686 +trisolv,25192 +lu,2853646 +ludcmp,2601382 +durbin,22974 +covariance,288392 |