diff options
Diffstat (limited to 'evaluation.tex')
-rw-r--r-- | evaluation.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/evaluation.tex b/evaluation.tex index 93f89d6..ac67ec7 100644 --- a/evaluation.tex +++ b/evaluation.tex @@ -11,7 +11,7 @@ Our evaluation is designed to answer the following three research questions. \subsection{Experimental Setup} \label{sec:evaluation:setup} -\paragraph{Choice of HLS tool for comparison.} We compare \vericert{} against \legup{} 5.1 because it is open-source and hence easily accessible, but still produces hardware ``of comparable quality to a commercial high-level synthesis tool''~\cite{canis11_legup}. +\paragraph{Choice of HLS tool for comparison.} We compare \vericert{} against \legup{} 5.1 \JW{4.0 now, right?} because it is open-source and hence easily accessible, but still produces hardware ``of comparable quality to a commercial high-level synthesis tool''~\cite{canis11_legup}. \paragraph{Choice and preparation of benchmarks.} We evaluate \vericert{} using the \polybench{} benchmark suite (version 4.2.1)~\cite{polybench}, which consists of a collection of 30 numerical kernels. \polybench{} is popular in the HLS context~\cite{choi+18,poly_hls_pouchet2013polyhedral,poly_hls_zhao2017,poly_hls_zuo2013}, since it has affine loop bounds, making it attractive for streaming computation on FPGA architectures. We were able to use 27 of the 30 programs; three had to be discarded (\texttt{correlation},~\texttt{gramschmidt} and~\texttt{deriche}) because they involve square roots, requiring floats, which we do not support. @@ -85,7 +85,7 @@ We configured \polybench{}'s parameters so that only integer types are used, sin \legend{\vericert{},\legup{} w/o opt+chain,\legup{} w/o opt}; \end{groupplot} \end{tikzpicture} - \caption{\polybench{} with division enabled.} + \caption{\polybench{} with division enabled. \JW{More descriptive caption needed (and next figure too)}} \end{figure} \pgfplotstableread[col sep=comma]{results/rel-time-nodiv.csv}{\nodivtimingtable} |