Add new files and Makefile

13 files changed, 412 insertions, 4 deletions

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..e964244
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,301 @@
+## Core latex/pdflatex auxiliary files:
+*.aux
+*.lof
+*.log
+*.lot
+*.fls
+*.out
+*.toc
+*.fmt
+*.fot
+*.cb
+*.cb2
+.*.lb
+
+## Intermediate documents:
+*.dvi
+*.xdv
+*-converted-to.*
+# these rules might exclude image files for figures etc.
+# *.ps
+# *.eps
+# *.pdf
+
+## Generated if empty string is given at "Please type another file name for output:"
+.pdf
+
+## Bibliography auxiliary files (bibtex/biblatex/biber):
+*.bbl
+*.bcf
+*.blg
+*-blx.aux
+*-blx.bib
+*.run.xml
+
+## Build tool auxiliary files:
+*.fdb_latexmk
+*.synctex
+*.synctex(busy)
+*.synctex.gz
+*.synctex.gz(busy)
+*.pdfsync
+
+## Build tool directories for auxiliary files
+# latexrun
+latex.out/
+
+## Auxiliary and intermediate files from other packages:
+# algorithms
+*.alg
+*.loa
+
+# achemso
+acs-*.bib
+
+# amsthm
+*.thm
+
+# beamer
+*.nav
+*.pre
+*.snm
+*.vrb
+
+# changes
+*.soc
+
+# comment
+*.cut
+
+# cprotect
+*.cpt
+
+# elsarticle (documentclass of Elsevier journals)
+*.spl
+
+# endnotes
+*.ent
+
+# fixme
+*.lox
+
+# feynmf/feynmp
+*.mf
+*.mp
+*.t[1-9]
+*.t[1-9][0-9]
+*.tfm
+
+#(r)(e)ledmac/(r)(e)ledpar
+*.end
+*.?end
+*.[1-9]
+*.[1-9][0-9]
+*.[1-9][0-9][0-9]
+*.[1-9]R
+*.[1-9][0-9]R
+*.[1-9][0-9][0-9]R
+*.eledsec[1-9]
+*.eledsec[1-9]R
+*.eledsec[1-9][0-9]
+*.eledsec[1-9][0-9]R
+*.eledsec[1-9][0-9][0-9]
+*.eledsec[1-9][0-9][0-9]R
+
+# glossaries
+*.acn
+*.acr
+*.glg
+*.glo
+*.gls
+*.glsdefs
+*.lzo
+*.lzs
+*.slg
+*.slo
+*.sls
+
+# uncomment this for glossaries-extra (will ignore makeindex's style files!)
+# *.ist
+
+# gnuplot
+*.gnuplot
+*.table
+
+# gnuplottex
+*-gnuplottex-*
+
+# gregoriotex
+*.gaux
+*.glog
+*.gtex
+
+# htlatex
+*.4ct
+*.4tc
+*.idv
+*.lg
+*.trc
+*.xref
+
+# hyperref
+*.brf
+
+# knitr
+*-concordance.tex
+# TODO Uncomment the next line if you use knitr and want to ignore its generated tikz files
+# *.tikz
+*-tikzDictionary
+
+# listings
+*.lol
+
+# luatexja-ruby
+*.ltjruby
+
+# makeidx
+*.idx
+*.ilg
+*.ind
+
+# minitoc
+*.maf
+*.mlf
+*.mlt
+*.mtc[0-9]*
+*.slf[0-9]*
+*.slt[0-9]*
+*.stc[0-9]*
+
+# minted
+_minted*
+*.pyg
+
+# morewrites
+*.mw
+
+# newpax
+*.newpax
+
+# nomencl
+*.nlg
+*.nlo
+*.nls
+
+# pax
+*.pax
+
+# pdfpcnotes
+*.pdfpc
+
+# sagetex
+*.sagetex.sage
+*.sagetex.py
+*.sagetex.scmd
+
+# scrwfile
+*.wrt
+
+# svg
+svg-inkscape/
+
+# sympy
+*.sout
+*.sympy
+sympy-plots-for-*.tex/
+
+# pdfcomment
+*.upa
+*.upb
+
+# pythontex
+*.pytxcode
+pythontex-files-*/
+
+# tcolorbox
+*.listing
+
+# thmtools
+*.loe
+
+# TikZ & PGF
+*.dpth
+*.md5
+*.auxlock
+
+# titletoc
+*.ptc
+
+# todonotes
+*.tdo
+
+# vhistory
+*.hst
+*.ver
+
+# easy-todo
+*.lod
+
+# xcolor
+*.xcp
+
+# xmpincl
+*.xmpi
+
+# xindy
+*.xdy
+
+# xypic precompiled matrices and outlines
+*.xyc
+*.xyd
+
+# endfloat
+*.ttt
+*.fff
+
+# Latexian
+TSWLatexianTemp*
+
+## Editors:
+# WinEdt
+*.bak
+*.sav
+
+# Texpad
+.texpadtmp
+
+# LyX
+*.lyx~
+
+# Kile
+*.backup
+
+# gummi
+.*.swp
+
+# KBibTeX
+*~[0-9]*
+
+# TeXnicCenter
+*.tps
+
+# auto folder when using emacs and auctex
+./auto/*
+*.el
+
+# expex forward references with \gathertags
+*-tags.tex
+
+# standalone packages
+*.sta
+
+# Makeindex log files
+*.lpz
+
+# xwatermark package
+*.xwm
+
+# REVTeX puts footnotes in the bibliography by default, unless the nofootinbib
+# option is specified. Footnotes are the stored in a file with suffix Notes.bib.
+# Uncomment the next line to have this generated file ignored.
+#*Notes.bib
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..9bfb28c
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,14 @@
+PROJNAME=main
+
+.PHONY: $(PROJNAME).pdf all clean
+
+all: $(PROJNAME).pdf
+
+$(PROJNAME).pdf: $(PROJNAME).tex
+	latexmk -pdf -pdflatex="pdflatex -interactive=nonstopmode" -use-make $<
+
+cleanall:
+	latexmk -C
+
+clean:
+	latexmk -c
diff --git a/background.tex b/background.tex
new file mode 100644
index 0000000..253bdc5
--- /dev/null
+++ b/background.tex
@@ -0,0 +1,7 @@
+\chapter{Background}
+
+\epigraph{Was there ever in anyone's life span a point free in time, devoid of memory, a night when
+  choice was any more than the sum of all the choices gone before? \\ --- \textsc{Joan Didion},
+  Run, River}
+
+aroistenaoirstenoiaresntoien
diff --git a/conclusion.tex b/conclusion.tex
new file mode 100644
index 0000000..6422396
--- /dev/null
+++ b/conclusion.tex
@@ -0,0 +1 @@
+\chapter{Conclusion}
diff --git a/dynamic.tex b/dynamic.tex
new file mode 100644
index 0000000..a1744e8
--- /dev/null
+++ b/dynamic.tex
@@ -0,0 +1 @@
+\chapter{\ymhfw{} Dynamic Scheduling}
diff --git a/hls.tex b/hls.tex
new file mode 100644
index 0000000..4ea51d8
--- /dev/null
+++ b/hls.tex
@@ -0,0 +1 @@
+\chapter{Formal Verification of High-Level Synthesis}
diff --git a/introduction.tex b/introduction.tex
new file mode 100644
index 0000000..61be79c
--- /dev/null
+++ b/introduction.tex
@@ -0,0 +1,17 @@
+\chapter{Introduction}
+
+Lorem ipsum dolor sit amet, consectetur adipiscing elit. Suspendisse ante turpis, feugiat porta
+pellentesque sit amet, feugiat varius ligula. Nulla facilisi. Nam malesuada massa quis ex dignissim
+viverra. Duis feugiat elit ut consequat varius. Quisque dapibus elit lorem, sed aliquam risus
+tincidunt ac. Duis turpis est, blandit vel posuere at, facilisis at neque. Proin in lacus lobortis
+orci sagittis malesuada. In hac habitasse platea dictumst. Nunc dolor nisl, consequat nec elementum
+at, ultricies ac nulla.
+This is normal text.%
+
+Fusce accumsan mattis sapien, at ornare felis fringilla eu. Vivamus fermentum consectetur urna id egestas. Vivamus nec mi quis leo mollis rhoncus vitae non est. Integer auctor, nisi vitae egestas rhoncus, odio arcu finibus velit, nec bibendum urna dolor non neque. Curabitur sit amet arcu at velit varius varius. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Fusce pretium metus ac augue ultricies, ut euismod elit fringilla. Nunc imperdiet ligula turpis. Cras dignissim mi ac quam dapibus iaculis. Maecenas facilisis felis a leo mattis rutrum. Morbi vestibulum, velit quis convallis condimentum, odio dui tincidunt nibh, ac volutpat diam magna consectetur ligula.
+
+Aenean rhoncus tortor nec velit viverra rhoncus. Praesent in convallis massa. Proin tincidunt scelerisque risus. Pellentesque a faucibus nisl, vel imperdiet felis. Donec vel sapien placerat augue fringilla dapibus nec a dui. Fusce feugiat pellentesque nisi, vitae feugiat lacus convallis vel. Ut ullamcorper, lacus at scelerisque imperdiet, quam nulla varius velit, sed auctor lacus ante et purus. Vestibulum ante ipsum primis in faucibus orci luctus et ultrices posuere cubilia curae;
+
+Ut luctus volutpat orci sit amet tristique. Duis tincidunt neque efficitur libero vehicula dictum. Aliquam vitae rhoncus mauris, nec convallis nisi. Nulla facilisi. Fusce in nulla egestas, ultricies mauris vel, condimentum felis. Nunc vel mattis massa, at ornare enim. Mauris ornare elit non metus eleifend, quis viverra dui ultrices. Morbi ut purus ac velit ullamcorper interdum ac sit amet mauris. Aenean scelerisque, mauris quis vehicula faucibus, enim nisi malesuada quam, in facilisis sapien nisi quis purus. Ut iaculis lorem tellus, sed fermentum est elementum id. Cras sit amet eleifend quam, nec maximus mi. Donec bibendum nibh in dolor fermentum convallis. Pellentesque mollis, odio nec laoreet viverra, elit metus malesuada tellus, quis rutrum nunc est sit amet urna. Nullam ultrices augue eu lacinia molestie. Donec maximus quam ipsum, id tristique tortor molestie fermentum.
+
+Mauris egestas nisi in est commodo, ut pharetra arcu gravida. Nullam non lectus eu tellus scelerisque volutpat eget eu velit. In nec consequat magna. Mauris ultricies nunc et suscipit hendrerit. Curabitur non dapibus risus, non posuere augue. Cras faucibus elementum neque at porta. Cras nibh nunc, facilisis a posuere nec, tempus at dolor. Sed sagittis ullamcorper arcu, sit amet eleifend turpis sagittis a. Nam varius bibendum magna, quis porttitor turpis dignissim id. Mauris ac hendrerit ex. Integer tellus mauris, varius vel ullamcorper eu, rhoncus eu nisl. Vestibulum rutrum nunc pharetra sollicitudin hendrerit. Vestibulum sit amet est leo. Suspendisse at posuere diam.
diff --git a/main.pdf b/main.pdf
new file mode 100644
index 0000000..4dd0e41
--- /dev/null
+++ b/main.pdf
diff --git a/main.tex b/main.tex
index 40456b1..775cdc2 100644
--- a/main.tex
+++ b/main.tex
@@ -1,14 +1,60 @@
-\documentclass{article}
-\usepackage[utf8]{inputenc}
+\documentclass{scrreprt}
 
 \title{LSR}
-\author{Yann Herklotz}
+\author{Yann Herklotz Grave}
 \date{April 2022}
 
+\includeonly{
+  introduction,
+  background,
+  hls,
+  scheduling,
+  pipelining,
+  dynamic,
+  schedule,
+  conclusion
+}
+
+\usepackage{graphicx}
+\usepackage{amsmath}
+\usepackage[utf8]{inputenc}
+\usepackage[sc]{mathpazo}
+\usepackage{newpxmath}
+\addtokomafont{disposition}{\rmfamily}
+
+\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}
+\newcommand{\ymhfw}{%
+  \textcolor{ymhfwcol}{FW}%
+}
+
+\definecolor{ymhwipcol}{HTML}{76949F}
+\newcommand{\ymhwip}{%
+  \textcolor{ymhwipcol}{WIP}%
+}
+
 \begin{document}
 
 \maketitle
 
-\section{Introduction}
+\tableofcontents
+
+\include{introduction}
+\include{background}
+\include{hls}
+\include{scheduling}
+\include{pipelining}
+\include{dynamic}
+\include{schedule}
+\include{conclusion}
 
 \end{document}
diff --git a/packages.tex b/packages.tex
new file mode 100644
index 0000000..c2fa709
--- /dev/null
+++ b/packages.tex
@@ -0,0 +1,17 @@
+\usepackage[utf8]{inputenc}
+\usepackage[sc]{mathpazo}
+\usepackage{newpxmath}
+\addtokomafont{disposition}{\rmfamily}
+
+\usepackage{titlesec}
+
+\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{graphicx}
+\usepackage{amsmath}
diff --git a/pipelining.tex b/pipelining.tex
new file mode 100644
index 0000000..4308188
--- /dev/null
+++ b/pipelining.tex
@@ -0,0 +1 @@
+\chapter{\ymhfw{} Loop Pipelining}
diff --git a/schedule.tex b/schedule.tex
new file mode 100644
index 0000000..9dc8d38
--- /dev/null
+++ b/schedule.tex
@@ -0,0 +1 @@
+\chapter{Schedule}
diff --git a/scheduling.tex b/scheduling.tex
new file mode 100644
index 0000000..be9470c
--- /dev/null
+++ b/scheduling.tex
@@ -0,0 +1 @@
+\chapter{\ymhwip{} Static Scheduling}