diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-04-19 09:51:33 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-19 09:51:33 +0100 |
commit | cd960912fc526bcca77108f7a9756cd48de0476f (patch) | |
tree | b90ecf375f63147c16c46c2ff1c9e6c3270f4993 /chapters | |
parent | 5432fc846a60bf6b2567cd5d1f886de052e34940 (diff) | |
download | lsr22_fvhls-cd960912fc526bcca77108f7a9756cd48de0476f.tar.gz lsr22_fvhls-cd960912fc526bcca77108f7a9756cd48de0476f.zip |
Add changes
Diffstat (limited to 'chapters')
-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 |