diff options
Diffstat (limited to 'chapters/hls.tex')
-rw-r--r-- | chapters/hls.tex | 4 |
1 files changed, 2 insertions, 2 deletions
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 |