diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-11-18 12:57:28 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-11-18 12:57:43 +0000 |
commit | 69a941a5ac5a22402aa9db16c561007964d19f19 (patch) | |
tree | 654b2a781dc0db9b051354c9ab66da37e2d5216c /introduction.tex | |
parent | 4aaa5cf4736776aa9c5e986bf885a8ba7ed22ecc (diff) | |
download | oopsla21_fvhls-69a941a5ac5a22402aa9db16c561007964d19f19.tar.gz oopsla21_fvhls-69a941a5ac5a22402aa9db16c561007964d19f19.zip |
Update on Overleaf.
Diffstat (limited to 'introduction.tex')
-rw-r--r-- | introduction.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/introduction.tex b/introduction.tex index 4e69cd8..a15ad33 100644 --- a/introduction.tex +++ b/introduction.tex @@ -18,7 +18,7 @@ This undermines any reasoning conducted at the software level. And there are reasons to doubt that HLS tools actually \emph{do} preserve equivalence. First, just like conventional compilers, HLS tools are large pieces of software that perform a series of complex analyses and transformations. Second, unlike conventional compilers, HLS tools target HDL, which has superficial syntactic similarities to software languages but a subtly different semantics, making it easy to introduce behavioural mismatches between the output of the HLS tool and its input. %Hence, the premise of this work is: Can we trust these compilers to translate high-level languages like C/C++ to HDL correctly? -For instance, \citet{lidbury15_many_core_compil_fuzzin} had to abandon their attempt to fuzz-test Altera's (now Intel's) OpenCL compiler since it ``either crashed or emitted an internal compiler error'' on so many of their test inputs. +These doubts have been realised by For instance, \citet{lidbury15_many_core_compil_fuzzin} had to abandon their attempt to fuzz-test Altera's (now Intel's) OpenCL compiler since it ``either crashed or emitted an internal compiler error'' on so many of their test inputs. More recently, Du et al.~\cite{du+20} fuzz-tested three commercial HLS tools using Csmith~\cite{yang11_findin_under_bugs_c_compil}, and despite restricting the generated programs to the C fragment explicitly supported by all the tools, they still found that on average 2.5\% of test cases generated a design that did not match the behaviour of the input. % Meanwhile, Xilinx's Vivado HLS has been shown to apply pipelining optimisations incorrectly\footnote{\url{https://bit.ly/vivado-hls-pipeline-bug}} or to silently generate wrong code should the programmer stray outside the fragment of C that it supports\footnote{\url{https://bit.ly/vivado-hls-pointer-bug}}. |