diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-05-03 08:00:29 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-05-03 08:00:29 +0100 |
commit | 7458e17b2bf5b3c6f342731510f1be589851c3a0 (patch) | |
tree | 96076f7ba48c7a76e5a6320fa13a738a7ac92194 /title.tex | |
parent | 1e411adb9dcb79858ce26a11513ce9114916bc42 (diff) | |
download | lsr22_fvhls-7458e17b2bf5b3c6f342731510f1be589851c3a0.tar.gz lsr22_fvhls-7458e17b2bf5b3c6f342731510f1be589851c3a0.zip |
Add pipelining notes
Diffstat (limited to 'title.tex')
-rw-r--r-- | title.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -6,9 +6,9 @@ \definemakeup[title][align=middle] \startmakeup[title] - {\switchtobodyfont[30pt] Formal Verification of \blank[medium] High-Level Synthesis} + {\switchtobodyfont[30pt,ss] Formal Verification of \blank[medium] High-Level Synthesis} \blank[1cm] - {\bfb Late Stage Review} + {\bfb\ss Late Stage Review} \blank[2cm] {\rma Yann Herklotz Grave} \blank[5cm] |