summaryrefslogtreecommitdiffstats
path: root/main.tex
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2022-04-06 20:57:22 +0100
committerYann Herklotz <git@yannherklotz.com>2022-04-06 20:57:22 +0100
commit2039f657cb80420e4a9905668150a27fa53c7d58 (patch)
treed5d19f87ab5d2139e319f7e36b5666ab934f0229 /main.tex
parent433f6cf9cb6b6acfaf7094bd8727a87718a20830 (diff)
downloadlsr22_fvhls-2039f657cb80420e4a9905668150a27fa53c7d58.tar.gz
lsr22_fvhls-2039f657cb80420e4a9905668150a27fa53c7d58.zip
Add more tweaks
Diffstat (limited to 'main.tex')
-rw-r--r--main.tex4
1 files changed, 3 insertions, 1 deletions
diff --git a/main.tex b/main.tex
index 9b94bd6..b37e8d1 100644
--- a/main.tex
+++ b/main.tex
@@ -1,6 +1,7 @@
\documentclass{scrreprt}
-\title{LSR}
+\title{Formal Verification of High-Level Synthesis}
+\subtitle{Late Stage Review\\Imperial College London}
\author{Yann Herklotz Grave}
\date{April 2022}
@@ -32,6 +33,7 @@
\usepackage[natbib=true,style=alphabetic]{biblatex}
\addbibresource{references.bib}
+\AtBeginBibliography{\small}
\usepackage{epigraph}
\setlength\epigraphwidth{1\textwidth}