diff options
Diffstat (limited to 'method.tex')
| -rw-r--r-- | method.tex | 16 |
1 files changed, 10 insertions, 6 deletions
@@ -4,12 +4,16 @@ This section describes how we conducted our testing campaign, the overall flow of which is shown in Figure~\ref{fig:method:toolflow}. \input{tool-figure} -\begin{itemize} -\item In~\S\ref{sec:method:csmith}, we describe how we configure Csmith to generate HLS-friendly random programs for our testing campaign. -\item In~\S\ref{sec:method:annotate}, we discuss how we augment those random programs with directives and the necessary configuration files for HLS compilation. -\item In~\S\ref{sec:method:testing}, we discuss how we set up compilation and co-simulation checking for the three HLS tools under test. -\item Finally, in~\S\ref{sec:method:reduce}, we discuss how we reduce problematic programs in order to obtain minimal examples of bugs. -\end{itemize} +%\begin{itemize} +%\item +In~\S\ref{sec:method:csmith}, we describe how we configure Csmith to generate HLS-friendly random programs for our testing campaign. +%\item +In~\S\ref{sec:method:annotate}, we discuss how we augment those random programs with directives and the necessary configuration files for HLS compilation. +%\item +In~\S\ref{sec:method:testing}, we discuss how we set up compilation and co-simulation checking for the three HLS tools under test. +%\item +Finally, in~\S\ref{sec:method:reduce}, we discuss how we reduce problematic programs in order to obtain minimal examples of bugs. +%\end{itemize} % How we configure Csmith so that it only generates HLS-friendly programs. % \item How we process the programs generated by Csmith to add in labels on loops etc. |