diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-10 15:46:02 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-10 15:46:02 +0100 |
| commit | a61f0a5b3a4664f2e1f42e788cc195a7d56ade28 (patch) | |
| tree | db56fb1c2ee34e2834ea90bb5743f8bd5977a397 /main.tex | |
| parent | c53674cda775192d380e1423706b66d4b7c6050c (diff) | |
| download | oopsla21_fvhls-a61f0a5b3a4664f2e1f42e788cc195a7d56ade28.tar.gz oopsla21_fvhls-a61f0a5b3a4664f2e1f42e788cc195a7d56ade28.zip | |
Make the diagram larger and add copyright
Diffstat (limited to 'main.tex')
| -rw-r--r-- | main.tex | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -46,7 +46,8 @@ %%% 'Formal Verification of High-Level Synthesis' %%% by Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson. %%% -\setcopyright{rightsretained} + +\setcopyright{acmlicensed} \acmPrice{} \acmDOI{10.1145/3485494} \acmYear{2021} @@ -216,7 +217,7 @@ We would like to thank Sandrine Blazy, Jianyi Cheng, Alastair Donaldson, Andreas Lööw, and the anonymous reviewers for their helpful feedback. This work was financially supported by the EPSRC via the Research Institute for Verified Trustworthy Software Systems (VeTSS) and the IRIS - Programme Grant (EP/R006865/1). + Programme Grant (EP/R006865/1) as well as EP/P010040/1. \end{acks} %% Bibliography |