Add

1 files changed, 82 insertions, 0 deletions

diff --git a/main_other.tex b/main_other.tex
new file mode 100644
index 0000000..d5f975c
--- /dev/null
+++ b/main_other.tex
@@ -0,0 +1,82 @@
+\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}