diff options
author | Yann Herklotz <ymh15@ic.ac.uk> | 2021-08-01 17:33:16 +0000 |
---|---|---|
committer | node <node@git-bridge-prod-0> | 2021-08-01 17:36:16 +0000 |
commit | 5ba8d98c98ca17b543f212486a5a4e2e7b91ca84 (patch) | |
tree | caba9885fc07076cbaba8b82282d9bb359ab003d /main.tex | |
parent | 083d09a324fcbb3dd097c31783244ebbf4240ff8 (diff) | |
download | oopsla21_fvhls-5ba8d98c98ca17b543f212486a5a4e2e7b91ca84.tar.gz oopsla21_fvhls-5ba8d98c98ca17b543f212486a5a4e2e7b91ca84.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 RANDOM} +\title[Formal Verification of HLS]{Formal Verification of High-Level Synthesis} %% Author with single affiliation. \author{Yann Herklotz} |