diff options
author | Yann Herklotz <ymh15@ic.ac.uk> | 2021-08-01 17:30:56 +0000 |
---|---|---|
committer | node <node@git-bridge-prod-0> | 2021-08-01 17:31:19 +0000 |
commit | 083d09a324fcbb3dd097c31783244ebbf4240ff8 (patch) | |
tree | 59e46437c8769ad4321684fa8cc194345d6ef5b3 /main.tex | |
parent | 019d76c997486c0a45ab2f0dd6b86b59fbd84285 (diff) | |
download | oopsla21_fvhls-083d09a324fcbb3dd097c31783244ebbf4240ff8.tar.gz oopsla21_fvhls-083d09a324fcbb3dd097c31783244ebbf4240ff8.zip |
Update on Overleaf.
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -103,7 +103,7 @@ \begin{document} -\title[Formal Verification of HLS]{Formal Verification of High-Level Synthesis} +\title[Formal Verification of HLS]{Formal Verification of High-Level Synthesis RANDOM} %% Author with single affiliation. \author{Yann Herklotz} |