summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJohn Wickerson <j.wickerson@imperial.ac.uk>2020-09-14 21:28:39 +0000
committeroverleaf <overleaf@localhost>2020-09-14 21:28:45 +0000
commitdf18feef1f1b5ef1941fcd911bdf212237eff8b3 (patch)
tree3c987719001ae72a1379fb57b5dc580d179c1e25
parent29d499e48b42ae5d8ec54023769e071ef3f352d5 (diff)
downloadfccm21_esrhls-df18feef1f1b5ef1941fcd911bdf212237eff8b3.tar.gz
fccm21_esrhls-df18feef1f1b5ef1941fcd911bdf212237eff8b3.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 57f3536..63c1765 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 we
+LegUp 7.5 is GUI-based and not suitable for scripting; however, bugs we found in LegUp 4.0 were reproduced manually in
%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.