From 4adae918a6f4c2cb529abdba6af2fcaa1b570b1f Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 24 Feb 2021 14:17:41 +0000
Subject: Add information about performance

---
 main.tex | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 4fee192..4e54c14 100644
--- a/main.tex
+++ b/main.tex
@@ -214,6 +214,8 @@ However, \citet{du21_fuzzin_high_level_synth_tools}, for example, show that on a
 
 \subsection{Will the generated designs be fast enough?}
 
+Another concern might be that a verified HLS tool might not be performant enough to be usable in practice.  If that is the case, then the verification effort could be seen as useless
+
 \subsection{A Verified tool can still be flaky and fail}
 
 It is true that a verified tool is still allowed to fail at compilation time, meaning none of the correctness proofs need to hold, as no output was produced.  However, this is only a matter of putting more engineering work into the tool to make it reliable.  If a test bench is available, it is also quite simple to check this property, as it just has to be randomly tested without even having to execute the output.
-- 
cgit 

