diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-09-14 21:59:18 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-09-14 21:59:23 +0000 |
commit | a084dbf424588064a97f8e687618f830c2fe283d (patch) | |
tree | 788ac5453b8f8f970f8082e328e7eff0aa527966 /intro.tex | |
parent | ea2eb16c0b6171e50788bd660d964986fd509e72 (diff) | |
download | fccm21_esrhls-a084dbf424588064a97f8e687618f830c2fe283d.tar.gz fccm21_esrhls-a084dbf424588064a97f8e687618f830c2fe283d.zip |
Update on Overleaf.
Diffstat (limited to 'intro.tex')
-rw-r--r-- | intro.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -42,7 +42,7 @@ Fuzzing has been used extensively to test conventional compilers; for example, Y \paragraph{An example of a compiler bug found by fuzzing} -Figure~\ref{fig:vivado_bug1} shows a program that produces the wrong result during RTL simulation in Xilinx Vivado HLS. The bug was initially revealed by a large, randomly generated program, which we reduced to the minimal example shown in the figure. +Figure~\ref{fig:vivado_bug1} shows a program that produces the wrong result during RTL simulation in Xilinx Vivado HLS. The bug was initially revealed by a randomly generated program of around 113 lines, which we were able to reduce to the minimal example shown in the figure. The program repeatedly shifts a large integer value \code{b} right by the values stored in array \code{a}. Vivado HLS returns \code{0x006535FF}, but the result returned by GCC (and subsequently confirmed manually to be the correct one) is \code{0x046535FF}. |