From 675a3f7b47720d2a7be8d4a0cf0367aca9dc8177 Mon Sep 17 00:00:00 2001 From: John Wickerson Date: Mon, 14 Sep 2020 21:29:07 +0000 Subject: Update on Overleaf. --- method-new.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/method-new.tex b/method-new.tex index 4cc276d..d24e35a 100644 --- a/method-new.tex +++ b/method-new.tex @@ -171,7 +171,7 @@ There two types of bugs that we can encounter in this testing setup: programs th Programs that cause either type of error are given to the reduction stage, which aims to minimise the programs and (hopefully) identify the root cause(s). \paragraph{Tool-specific trivia} -Vivado HLS implement C and RTL simulation by default. +Vivado HLS implements 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. %For all tools, we set a 5-minute and 2-hour for C simulation and RTL simulation respectively. -- cgit