Update on Overleaf.

4 files changed, 4 insertions, 2 deletions

diff --git a/data/process.py b/data/process.py
index 562a5d2..562a5d2 100755..100644
--- a/data/process.py
+++ b/data/process.py
diff --git a/eval.tex b/eval.tex
index 5c76b9e..661ae74 100644
--- a/eval.tex
+++ b/eval.tex
@@ -182,7 +182,7 @@ int result() {
   return b;
 }
 \end{minted}
-\caption{Miscompilation bug in Bambu HLS.  As the value of \texttt{b} is shifted to the right by 8, the output should be \texttt{0x100}.  However, the actual output is 0 in Bambu.}\label{fig:eval:intel:mismatch}
+\caption{Miscompilation bug in Bambu HLS.  As the value of \texttt{b} is shifted to the right by 8, the output should be \texttt{0x100}.  However, the actual output is 0 in Bambu.}\label{fig:eval:bambu:mismatch}
 \end{figure}
 
 %\begin{example}[A miscompilation bug in Vivado HLS]
@@ -201,7 +201,7 @@ Figure~\ref{fig:eval:intel:mismatch} shows a miscompilation bug that was found i
 \end{example}
 
 \begin{example}[A miscompilation bug in Bambu HLS]
-
+Figure~\ref{fig:eval:bambu:mismatch} shows the bug 
 \end{example}
 
 %%% Local Variables:
diff --git a/intro.tex b/intro.tex
index 18c0074..4d3f311 100644
--- a/intro.tex
+++ b/intro.tex
@@ -1,4 +1,5 @@
 \section{Introduction}
+
 High-level synthesis (HLS), which refers to the automatic translation of software into hardware, is becoming an increasingly important part of the computing landscape.
 It promises hardware engineers an increase in productivity by raising the abstraction level of their designs, and it promises software engineers the ability to produce application-specific hardware accelerators without having to understand hardware description languages (HDL) such as Verilog and VHDL.
 HLS is being used in an ever greater range of domains, including such high-assurance settings as financial services~\cite{hls_fintech}, control systems~\cite{hls_controller}, and real-time object detection~\cite{hls_objdetect}. As such, HLS tools are increasingly relied upon, even though ``high-level synthesis research and development is inherently prone to introducing bugs or regressions in the final circuit functionality''~\cite[Section 3.4.6]{canis15_legup}.  In this paper, we investigate whether they are trustworthy and give an empirical evaluation of their reliability.
diff --git a/main.tex b/main.tex
index b21c907..50ef7e2 100644
--- a/main.tex
+++ b/main.tex
@@ -19,6 +19,7 @@
 \usepackage{multirow}
 \usepackage{multicol}
 \usepackage{hyperref}
+
 %\usepackage{balance}
 
 \newcommand\totaltestcases{6700}