diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-09-14 22:27:46 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-09-14 22:27:46 +0100 |
commit | 47484216d2e62aa1dcf365b14686b142cdb3f4dd (patch) | |
tree | 562fd7862cb82ce128ebb929f3a78cb829e87cd1 | |
parent | f197d4b1efe487677662f73cdeed912ca5652c05 (diff) | |
parent | 200d102c1de7aee090c55641144110374b9921ae (diff) | |
download | fccm21_esrhls-47484216d2e62aa1dcf365b14686b142cdb3f4dd.tar.gz fccm21_esrhls-47484216d2e62aa1dcf365b14686b142cdb3f4dd.zip |
Merge branch 'master' of https://git.overleaf.com/5f2d21b9b10d6c0001c164a4 into master
-rw-r--r-- | method-new.tex | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/method-new.tex b/method-new.tex index 5b204b8..fe277cb 100644 --- a/method-new.tex +++ b/method-new.tex @@ -163,7 +163,8 @@ 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 execution and a 2-hour time-out for RTL simulation. +Whenever \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. @@ -173,7 +174,7 @@ Programs that cause either type of error are given to the reduction stage, which %Vivado HLS implement C and RTL simulation by default. We were only able to test one version of LegUp HLS (version 4.0). LegUp 7.5 is GUI-based and not suitable for scripting. -For all tools, we set a 5-minute and 2-hour for C simulation and RTL simulation respectively. +%For all tools, we set a 5-minute and 2-hour for C simulation and RTL simulation respectively. In cases where simulation takes longer, we do not consider them as failures or crashes and we record them. % When testing Intel HLS, we place three time-outs since its execution is generally slower than other HLS tools: a \ref{XX}-minute time-out for C compilation, a \ref{XX}-hour time out for HLS compilation and a \ref{XX}-hour time-out for co-simulation. |