summaryrefslogtreecommitdiffstats
path: root/conclusion.tex
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-09-12 12:10:36 +0100
committerYann Herklotz <git@yannherklotz.com>2020-09-12 12:10:36 +0100
commitdfa7dc6ac0eb676ffa3f4cbe40173ea24bbd1f3d (patch)
treeb430d3606b044eff99df0b744305bedbdcd4fd97 /conclusion.tex
parent8fe40aceeba6c26306a3e4164083219139f11c58 (diff)
downloadfccm21_esrhls-dfa7dc6ac0eb676ffa3f4cbe40173ea24bbd1f3d.tar.gz
fccm21_esrhls-dfa7dc6ac0eb676ffa3f4cbe40173ea24bbd1f3d.zip
Add related work
Diffstat (limited to 'conclusion.tex')
-rw-r--r--conclusion.tex6
1 files changed, 3 insertions, 3 deletions
diff --git a/conclusion.tex b/conclusion.tex
index 2098581..af34c0a 100644
--- a/conclusion.tex
+++ b/conclusion.tex
@@ -4,12 +4,12 @@ In this thesis, we proposed a fuzz testing method to iteratively challenging HLS
\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 Automatically adding labels inside the random program for applying optimisations
\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
+ \item Automatically summarising 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
+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.