diff options
Diffstat (limited to 'eval_rewrite.tex')
| -rw-r--r-- | eval_rewrite.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/eval_rewrite.tex b/eval_rewrite.tex index a100ad7..4a980ad 100644 --- a/eval_rewrite.tex +++ b/eval_rewrite.tex @@ -41,7 +41,7 @@ \label{tab:unique_bugs} \end{table} -To evaluate the different HLS tools 10,000 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, 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. \subsection{Bugs found} |