Update on Overleaf.

1 files changed, 13 insertions, 0 deletions

diff --git a/intro.tex b/intro.tex
index 33e963d..390c323 100644
--- a/intro.tex
+++ b/intro.tex
@@ -22,6 +22,19 @@ int result() {
   \caption{Miscompilation bug found in Vivado 2018.3 and 2019.2 which returns \texttt{6535FF} instead of \texttt{46535FF} which is the correct result.}\label{fig:vivado_bug1}
 \end{figure}
 
+\NR{
+Notes on program:
+\begin{itemize}
+    \item result is main 
+    \item array a needs to be at least 6 elements 
+    \item magic number as well 
+    \item for loop at least two.
+    \item constant replacement fixes it too. 
+    \item all three versions of Vivado. 
+    \item 
+\end{itemize}
+}
+
 We have tested three widely used HLS tools: LegUp~\cite{canis13_legup}, Xilinx Vivado HLS~\cite{xilinx20_vivad_high_synth}, and the Intel HLS Compiler~\cite{?}. For all three tools, we were able to find valid C programs that cause crashes while compiling and valid C programs that cause wrong RTL to be generated. We have submitted a total of \ref{?} bug reports to the developers, \ref{?} of which have been confirmed and \ref{?} of which have now been fixed at the time of writing. 
 
 We hope that our work serves to stimulate efforts to improve the quality of HLS tools.