diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-09-14 22:40:14 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-09-14 22:40:14 +0100 |
| commit | d3b69a6920554d160cd43d09587e0795df8d9c98 (patch) | |
| tree | bebcade55b3f410aa2861c75efd48fe5fa66faef | |
| parent | 544d9ed2d36726afeb96b4fa130ae36d95bed558 (diff) | |
| parent | ebd560027dafd833f5aa3a7f5148ff5c4fa715af (diff) | |
| download | fccm21_esrhls-d3b69a6920554d160cd43d09587e0795df8d9c98.tar.gz fccm21_esrhls-d3b69a6920554d160cd43d09587e0795df8d9c98.zip | |
Merge branch 'master' of https://git.overleaf.com/5f2d21b9b10d6c0001c164a4 into master
| -rw-r--r-- | conclusion.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/conclusion.tex b/conclusion.tex index 94073e7..bd1b2e8 100644 --- a/conclusion.tex +++ b/conclusion.tex @@ -1,5 +1,5 @@ \section{Conclusion} -In conclusion, we propose a method to combine existing fuzzing tools and modify their outputs so that they are compatible with HLS tools. We then used this testing framework to run 10,000 test cases through three different HLS tools to find as many bugs in them as possible and report them to the tool vendors. In total, we found at least 6 individual and unique bugs in all the tools, which have been reduced and analysed. These consisted of crashes as well as generation of designs that did not behave in the same way as the original code. +We have shown how existing fuzzing tools and modify their outputs so that they are compatible with HLS tools. We then used this testing framework to run 10,000 test cases through three different HLS tools to find as many bugs in them as possible and report them to the tool vendors. In total, we found at least 6 individual and unique bugs in all the tools, which have been reduced and analysed. These consisted of crashes as well as generation of designs that did not behave in the same way as the original code. Further work could be done on supporting more HLS tools, especially ones that prove that the output is correct before terminating. This could give an indication on how effective these proofs are, and how many times they cannot prove the output equivalent. |