summaryrefslogtreecommitdiffstats
path: root/main.tex
diff options
context:
space:
mode:
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}