diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-11-02 00:27:18 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-02 00:27:18 +0000 |
commit | 36dc41477a21e15b81b09985c9505ea1b5f10817 (patch) | |
tree | fccc68fa4f98dcf5d6b27acdf0332b3827563e5a /main.tex | |
parent | a5561bd00606bdbbfdc014e720021d3a900b92d4 (diff) | |
download | oopsla21_fvhls-36dc41477a21e15b81b09985c9505ea1b5f10817.tar.gz oopsla21_fvhls-36dc41477a21e15b81b09985c9505ea1b5f10817.zip |
Add some more content
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -69,7 +69,7 @@ \begin{document} %% Title information -\title[Formally Verified HLS]{Formally Verified High-Level Synthesis} +\title[Formal Verification of HLS]{Formal Verification of High-Level Synthesis} %% when present, will be used in %% header instead of Full Title. %\titlenote{with title note} %% \titlenote is optional; |