From 3890c6e036dfbc12018341edc99c537dcd342ca5 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 24 Feb 2021 19:22:47 +0000 Subject: Add more changes --- main.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.tex b/main.tex index e762df2..fc4a0f8 100644 --- a/main.tex +++ b/main.tex @@ -216,7 +216,7 @@ However, \citet{du21_fuzzin_high_level_synth_tools}, for example, show that on a 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} +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} -- cgit