diff options
-rw-r--r-- | evaluation.tex | 2 | ||||
-rw-r--r-- | main.tex | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/evaluation.tex b/evaluation.tex index 1d800e4..9cf8d9e 100644 --- a/evaluation.tex +++ b/evaluation.tex @@ -166,7 +166,7 @@ By looking at the median, when division/modulo operations are enabled, we see th \subsection{RQ3: How quickly does \vericert{} translate the C into Verilog?} -\vericert{} takes around 0.1$\times$ as long as \legup{} to perform the translation from C into Verilog, showing at least that verification does not have a substantial effect on the run-time of the HLS tool. However, this is a meaningless victory, as a lot of the extra time that \legup{} uses is on performing computationally heavy optimisations such as loop pipelining and scheduling. +\legup{} takes around 10$\times$ as long as \vericert{} to perform the translation from C into Verilog, showing at least that verification does not have a substantial effect on the run-time of the HLS tool. However, this is a meaningless victory, as a lot of the extra time that \legup{} uses is on performing computationally heavy optimisations such as loop pipelining and scheduling. %%% Local Variables: %%% mode: latex @@ -91,7 +91,7 @@ \newcommand{\compcert}{Comp\-Cert} \newcommand{\legup}{Leg\-Up} -\newcommand{\slowdownOrig}{30} +\newcommand{\slowdownOrig}{27} \newcommand{\slowdownDiv}{2} \newcommand{\areaIncr}{1.1} \def\polybench{Polybench/C} |