diff options
Diffstat (limited to 'evaluation.tex')
| -rw-r--r-- | evaluation.tex | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/evaluation.tex b/evaluation.tex index cb185ac..aada207 100644 --- a/evaluation.tex +++ b/evaluation.tex @@ -1,4 +1,14 @@ \section{Evaluation} +\NR{ +To-do list: +\begin{itemize} + \item Modifying the final checks of Polybench programs + \item Re-synthesis the polybench programs + \item Collect new compile times of Vericert + \item Collate the csv file again + % \item Re-run and synthesis adpcm and gsm with new Vericert for Table~\ref{tab:chstone} +\end{itemize} +} Our evaluation is designed to answer the following three research questions. \JW{How about adding one more RQ at the start called `How reliable is the hardware generated by \vericert{}, and how does this compare to existing HLS tools?' Then you can answer this by saying that you couldn't break your tool using the Csmith programs generated by Du et al., which did break all the other HLS tools.} \begin{description} |