summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJohn Wickerson <j.wickerson@imperial.ac.uk>2020-09-14 21:28:46 +0000
committeroverleaf <overleaf@localhost>2020-09-14 21:28:48 +0000
commitb95de7e601b79ef90666cc08ed3dfb8516868f8c (patch)
tree6abb47732e43c531d2cd3a65fe06f09e41c99e8c
parentdf18feef1f1b5ef1941fcd911bdf212237eff8b3 (diff)
downloadfccm21_esrhls-b95de7e601b79ef90666cc08ed3dfb8516868f8c.tar.gz
fccm21_esrhls-b95de7e601b79ef90666cc08ed3dfb8516868f8c.zip
Update on Overleaf.
-rw-r--r--method-new.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/method-new.tex b/method-new.tex
index 63c1765..ea2b6f1 100644
--- a/method-new.tex
+++ b/method-new.tex
@@ -173,7 +173,7 @@ Programs that cause either type of error are given to the reduction stage, which
\paragraph{Tool-specific trivia}
%Vivado HLS implement C and RTL simulation by default.
We were only able to test one version of LegUp HLS (version 4.0).
-LegUp 7.5 is GUI-based and not suitable for scripting; however, bugs we found in LegUp 4.0 were reproduced manually in
+LegUp 7.5 is GUI-based and not suitable for scripting; however, bugs we found in LegUp 4.0 were reproduced manually in LegUp 7.5.
%For all tools, we set a 5-minute and 2-hour for C simulation and RTL simulation respectively.
%In cases where simulation takes longer, we do not consider them as failures or crashes and we record them.
% When testing Intel HLS, we place three time-outs since its execution is generally slower than other HLS tools: a \ref{XX}-minute time-out for C compilation, a \ref{XX}-hour time out for HLS compilation and a \ref{XX}-hour time-out for co-simulation.