blob: d5f975cdbaf9ef9b2abb7dea3b7d5631bfef4e73 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
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}
|