diff options
Diffstat (limited to 'presentation/presentation.org')
-rw-r--r-- | presentation/presentation.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/presentation/presentation.org b/presentation/presentation.org index 9465196..a12368a 100644 --- a/presentation/presentation.org +++ b/presentation/presentation.org @@ -226,7 +226,7 @@ Difficult to debug HLS tools: High-level synthesis is often quite unreliable: - Intel's OpenCL could not be fuzzed because of too many issues (cite:lidbury15_many_core_compil_fuzzin). -- We fuzzed HLS tools and found they failed on *2.5%* of simple random test cases. +- We fuzzed HLS tools (cite:9444067) and found they failed on *2.5%* of simple random test cases. ** Solution :B_frame: :PROPERTIES: |