diff options
| author | Yann Herklotz <ymh15@ic.ac.uk> | 2021-09-09 09:06:34 +0000 |
|---|---|---|
| committer | node <node@git-bridge-prod-0> | 2021-09-09 17:55:46 +0000 |
| commit | e6b4cec55c89ed03fb91f788382e247f5bda336f (patch) | |
| tree | 1e8301dc721a1a6d1c7d02d00e10581f7ef02091 | |
| parent | 7bbb64542b8897ae82f83b947a05d772579d06a3 (diff) | |
| download | oopsla21_fvhls-e6b4cec55c89ed03fb91f788382e247f5bda336f.tar.gz oopsla21_fvhls-e6b4cec55c89ed03fb91f788382e247f5bda336f.zip | |
Update on Overleaf.
| -rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -46,7 +46,7 @@ %%% 'Formal Verification of High-Level Synthesis' %%% by Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson. %%% -\setcopyright{none} +\setcopyright{rightsretained} \acmPrice{} \acmDOI{10.1145/3485494} \acmYear{2021} |