diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-04-07 23:07:57 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-07 23:07:57 +0100 |
commit | f1cdc82def499275f1e74c47e7efbbbd9beb6306 (patch) | |
tree | 1bac7ab1a8739849f2bcc7e97f3394c47c4e7f4f /title.tex | |
parent | b0f03053770af9c0da116ada2efdb9c5ddbe392b (diff) | |
download | lsr22_fvhls-f1cdc82def499275f1e74c47e7efbbbd9beb6306.tar.gz lsr22_fvhls-f1cdc82def499275f1e74c47e7efbbbd9beb6306.zip |
Add
Diffstat (limited to 'title.tex')
-rw-r--r-- | title.tex | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/title.tex b/title.tex new file mode 100644 index 0000000..be4a5ef --- /dev/null +++ b/title.tex @@ -0,0 +1,25 @@ +\startcomponent title +\product main + +\definemakeup[title][align=middle] + +\startmakeup[title] + \setupinterlinespace[big] + {\bfd Formal Verification of High-Level Synthesis} + \blank[small] + {\bfa Late Stage Review} + \blank[big] + + Yann Herklotz Grave + \blank[5cm] + + % http://wiki.contextgarden.net/Command/currentdate + \currentdate[month,year] + \blank[5cm] + + \startalignment[flushleft] + Supervisor: John Wickerson + \stopalignment +\stopmakeup + +\stopcomponent |