diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-22 19:26:01 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-22 19:26:01 +0100 |
commit | 2ff1316847b9d338a792f67b7b9f6364d4b65551 (patch) | |
tree | 6aaf069a05f889d6f3fe012332a5e74dd8707429 /benchmarks/README.md | |
parent | c114bd7a269824623f2dbb41322d95d5056fca02 (diff) | |
parent | 8386bed39f413bb461c19debbad92e85f927c4b5 (diff) | |
download | vericert-2ff1316847b9d338a792f67b7b9f6364d4b65551.tar.gz vericert-2ff1316847b9d338a792f67b7b9f6364d4b65551.zip |
Merge remote-tracking branch 'origin/develop' into develop
Diffstat (limited to 'benchmarks/README.md')
-rw-r--r-- | benchmarks/README.md | 19 |
1 files changed, 8 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. |