\documentclass{scrreprt}

\title{Formal Verification of High-Level Synthesis}
\subtitle{Late Stage Review\\Imperial College London}
\author{Yann Herklotz Grave}
\date{April 2022}

\includeonly{
  introduction,
  background,
  hls,
  scheduling,
  pipelining,
  dynamic,
  schedule,
  conclusion
}

\usepackage{graphicx}
\usepackage{amsmath}
\usepackage{amsthm}

\usepackage[british]{babel}
%\usepackage[utf8]{inputenc}
\usepackage[sc]{mathpazo}
\usepackage{newpxmath}
\usepackage{newpxtext}
\linespread{1.05}
\usepackage{inconsolata}
\usepackage{microtype}
\addtokomafont{disposition}{\rmfamily}

\usepackage[natbib=true,style=alphabetic,maxbibnames=10]{biblatex}
\addbibresource{references.bib}
\AtBeginBibliography{\small}

\usepackage{epigraph}
\setlength\epigraphwidth{1\textwidth}
\setlength\epigraphrule{0pt} % no line between
\setlength\beforeepigraphskip{1\baselineskip} % space before and after epigraph
\setlength\afterepigraphskip{2\baselineskip}
\renewcommand*{\textflush}{flushright}
\renewcommand*{\epigraphsize}{\normalsize\itshape}

\usepackage{xcolor}

\definecolor{ymhfwcol}{HTML}{5F506B}
\definecolor{ymhwipcol}{HTML}{76949F}
\newcommand{\ymhfw}{\textcolor{ymhfwcol}{FW}}
\newcommand{\ymhwip}{\textcolor{ymhwipcol}{WIP}}

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem*{remark}{Remark}

\hyphenation{Comp-Cert}
\hyphenation{Veri-cert}
\hyphenation{Poly-Bench}
\hyphenation{Leg-Up}
\hyphenation{straight-for-ward}
\hyphenation{cor-re-la-tion}
\hyphenation{gram-schmi-dt}
\hyphenation{de-riche}

\begin{document}

\maketitle

\tableofcontents

\include{introduction}
\include{background}
\include{hls}
\include{scheduling}
\include{pipelining}
\include{dynamic}
\include{schedule}
\include{conclusion}

\printbibliography{}

\end{document}
