From 65bf34e1c7e24c19d6b579eb93d308be6bb05e04 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 29 Sep 2021 19:54:52 +0100 Subject: Update bib --- presentation/presentation.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'presentation/presentation.org') 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: -- cgit