From 0f848248939e286163bc7e8bde4f9163368d3e1e Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 23 Feb 2021 15:44:02 +0000 Subject: Add references to polybench --- main.tex | 2 +- references.bib | 17 ++++++++++++----- 2 files changed, 13 insertions(+), 6 deletions(-) diff --git a/main.tex b/main.tex index 420819e..95a6b7b 100644 --- a/main.tex +++ b/main.tex @@ -216,7 +216,7 @@ However, there are also assumptions that have to be made about the tool. In the \section{Performance of such a tool} -Finally, it is interesting to check the performance of Vericert compared to existing HLS tools, to see how correctness guarantees affect the size and speed of the final hardware. +Finally, it is interesting to compare the performance of Vericert compared to existing HLS tools, to see how correctness guarantees affect the size and speed of the final hardware. This was done on a common compiler benchmark called PolyBench/C~\cite{polybench}. %% Acknowledgments %\begin{acks}%% acks environment is optional diff --git a/references.bib b/references.bib index b0e661d..c4d8afe 100644 --- a/references.bib +++ b/references.bib @@ -178,9 +178,16 @@ } @unpublished{herklotz21_formal_verif_high_level_synth, - author = {Herklotz, Yann and Pollard, James D. and Ramanathan, Nadesh and Wickerson, John}, - title = {Formal Verification of High-Level Synthesis}, - year = 2021, - url = {https://yannherklotz.com/docs/drafts/formal_hls.pdf}, - note = {(under review)} + author = {Herklotz, Yann and Pollard, James D. and Ramanathan, Nadesh and Wickerson, John}, + title = {Formal Verification of High-Level Synthesis}, + year = 2021, + url = {https://yannherklotz.com/docs/drafts/formal_hls.pdf}, + note = {(under review)} +} + +@misc{polybench, + author = {Pouchet, Louis-No\"el}, + title = {PolyBench/C: the Polyhedral Benchmark suite}, + url = {http://web.cse.ohio-state.edu/~pouchet.2/software/polybench/}, + year = {2020}, } -- cgit