diff options
| author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-09-14 21:29:07 +0000 |
|---|---|---|
| committer | overleaf <overleaf@localhost> | 2020-09-14 21:29:17 +0000 |
| commit | 675a3f7b47720d2a7be8d4a0cf0367aca9dc8177 (patch) | |
| tree | 66c6c0b63574d5de333f00bbc2aeae8734898345 | |
| parent | f4701a5ddbfbd8d03d70eac898947261be985c5e (diff) | |
| download | fccm21_esrhls-675a3f7b47720d2a7be8d4a0cf0367aca9dc8177.tar.gz fccm21_esrhls-675a3f7b47720d2a7be8d4a0cf0367aca9dc8177.zip | |
Update on Overleaf.
| -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. |