diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-09-12 12:10:36 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-09-12 12:10:36 +0100 |
commit | dfa7dc6ac0eb676ffa3f4cbe40173ea24bbd1f3d (patch) | |
tree | b430d3606b044eff99df0b744305bedbdcd4fd97 /conclusion.tex | |
parent | 8fe40aceeba6c26306a3e4164083219139f11c58 (diff) | |
download | fccm21_esrhls-dfa7dc6ac0eb676ffa3f4cbe40173ea24bbd1f3d.tar.gz fccm21_esrhls-dfa7dc6ac0eb676ffa3f4cbe40173ea24bbd1f3d.zip |
Add related work
Diffstat (limited to 'conclusion.tex')
-rw-r--r-- | conclusion.tex | 6 |
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. |