1 files changed, 3 insertions, 1 deletions
diff --git a/main.tex b/main.tex
index 4e54c14..e762df2 100644
--- a/main.tex
+++ b/main.tex
@@ -214,7 +214,9 @@ 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
+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, as it could not be used.
+
+First of all, performing comparisons between the fully verified bits of \vericert{} and \legup{}~\cite{canis11_legup}
 
 \subsection{A Verified tool can still be flaky and fail}