diff options
| -rw-r--r-- | method-new.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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. |