diff options
| author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-09-14 21:27:49 +0000 |
|---|---|---|
| committer | overleaf <overleaf@localhost> | 2020-09-14 21:27:51 +0000 |
| commit | 9592cda0cd4aef71be15f2aca001a3f12c9a83e1 (patch) | |
| tree | e172a9ca1262c258af6f3abd515654384909e50f | |
| parent | 200d102c1de7aee090c55641144110374b9921ae (diff) | |
| download | fccm21_esrhls-9592cda0cd4aef71be15f2aca001a3f12c9a83e1.tar.gz fccm21_esrhls-9592cda0cd4aef71be15f2aca001a3f12c9a83e1.zip | |
Update on Overleaf.
| -rw-r--r-- | method-new.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/method-new.tex b/method-new.tex index fe277cb..934969f 100644 --- a/method-new.tex +++ b/method-new.tex @@ -164,7 +164,7 @@ Having generated HLS-friendly programs and automatically augmented them with dir 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-out for C execution and a 2-hour time-out for RTL simulation. -Whenever +Whenever a time-out is reached \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. |