diff options
Diffstat (limited to 'eval_rewrite.tex')
| -rw-r--r-- | eval_rewrite.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/eval_rewrite.tex b/eval_rewrite.tex index d81b158..e084b05 100644 --- a/eval_rewrite.tex +++ b/eval_rewrite.tex @@ -44,7 +44,8 @@ \label{tab:unique_bugs} \end{table} -To evaluate the different HLS tools 10,000 \JW{check numbers} test cases were generated and fed into each tool, keeping the test cases constant so that the comparison between the tools was fair. Three different tools were tested, including three different versions of Vivado, which are shown in Table~\ref{tab:unique_bugs}. Bugs were found in all tools that were tested, and in total, ?? unique bugs were found and reported to the tool vendors. +To evaluate the different HLS tools 10,000 \JW{check numbers} test cases were generated and fed into each tool, keeping the test cases constant so that the comparison between the tools was fair. Three different tools were tested, including three different versions of Vivado HLS, which are shown in Table~\ref{tab:unique_bugs}. Bugs were found in all tools that were tested, and in total, \ref{??} unique bugs were found and reported to the tool vendors. +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. \subsection{Bugs found} |