From 0028e03e59f23186bcf47994cd56ccbac8146e08 Mon Sep 17 00:00:00 2001 From: John Wickerson Date: Mon, 14 Sep 2020 21:26:59 +0000 Subject: Update on Overleaf. --- method-new.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/method-new.tex b/method-new.tex index 5b204b8..95af4f7 100644 --- a/method-new.tex +++ b/method-new.tex @@ -163,7 +163,7 @@ Having generated HLS-friendly programs and automatically augmented them with dir %Figure~\ref{fig:method:toolflow} shows the three stages of testing, depicted as the testing environment in the dashed area. For each HLS tool in turn, we compile the C program to RTL and then simulate the RTL. Independently, we also compile the C program using GCC and execute it. -Additionally, to ensure that our testing is scalable for a large number of large, random programs, we also enforce several time-outs: we set a 5-minute time- +Additionally, to ensure that our testing is scalable for a large number of large, random programs, we also enforce several time-outs: we set a 5-minute time-out for C simulation \paragraph{Types of bugs} There two types of bugs that we can encounter in this testing setup: programs that cause the HLS tool to crash during compilation (e.g. an unhandled assertion violation or a segmentation fault), and programs where the software execution and the RTL simulation do not return the same value. -- cgit