From cd960912fc526bcca77108f7a9756cd48de0476f Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 19 Apr 2022 09:51:33 +0100 Subject: Add changes --- chapters/hls.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'chapters') diff --git a/chapters/hls.tex b/chapters/hls.tex index fafb815..1276450 100644 --- a/chapters/hls.tex +++ b/chapters/hls.tex @@ -11,8 +11,8 @@ \startsynopsis This chapter outlines the base implementation of a formally verified high-level synthesis tool - called Vericert~\citef{herklotz21_veric}. This chapter is based on a paper describing the initial - implementation in detail~\citef{herklotz21_formal_verif_high_level_synth}. + called Vericert. This chapter is based on a paper describing the initial implementation in + detail~\citef{herklotz21_formal_verif_high_level_synth}. \stopsynopsis We have designed a new HLS tool in the Coq theorem prover and proved that any output design it -- cgit