Update on Overleaf.

1 files changed, 15 insertions, 0 deletions

diff --git a/conclusion.tex b/conclusion.tex
new file mode 100644
index 0000000..2098581
--- /dev/null
+++ b/conclusion.tex
@@ -0,0 +1,15 @@
+\section{Conclusion}
+In this thesis, we proposed a fuzz testing method to iteratively challenging HLS tools aiming to detect any embedded bugs introduced by the tool solely. We achieved to implement a fully automated testing system through: 
+\begin{itemize}
+  \item Integrating and configuring Csmith properly
+  \item Automatically processing the randomly generated programs to HLS-friendly syntax 
+  \item Automatically modifying the generated main function for running HLS tools correctly
+  \item Automatically adding labels inside the random program for applying optimizations
+  \item Creating the self-check testbench
+  \item Automatically generating scripts for instructing HLS tools
+  \item Automatically extracting and comparing simulation results
+  \item Automatically reducing the failed test cases
+  \item Automatically fetch next test cases when necessary 
+  \item Automatically summarizing the result files
+\end{itemize}
+Three commercial tools, including Vivado HLS, LegUp HLS, and Intel HLS, are tested through this automated testing system. Bugs that triggers discrepancies in results have been detected among all three tools, and have been reported to the tool vendors. Crashes have not been detected. By the time of writing this thesis, the testing is still in progress. Hopefully, more problems can be detected and send for a fix.
\ No newline at end of file