From aeb7b75278c6affa9499b03f592f6869ae2ca19f Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 15 Apr 2022 22:33:49 +0100
Subject: Add text to lsr

---
 chapters/schedule.tex | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

(limited to 'chapters/schedule.tex')

diff --git a/chapters/schedule.tex b/chapters/schedule.tex
index 1711108..49d5251 100644
--- a/chapters/schedule.tex
+++ b/chapters/schedule.tex
@@ -1,7 +1,7 @@
 \environment fonts_env
 \environment lsr_env
 
-\startcomponent pipelining
+\startcomponent schedule
 
 \definecolor[hyperblockcolour][x=66C2A5]
 \definecolor[dynamiccolour][x=FC8D62]
@@ -31,7 +31,8 @@ work is still on going.
 
 \desc{Modulo scheduling} The second piece of work is described in \in{Chapter}[sec:pipelining] and
 describes the implementation of modulo scheduling to perform scheduling on loops.  This work will be
-based on existing work by \cite[alternative=authoryears][tristan10_simpl_verif_valid_softw_pipel].
+based on existing work by
+\cite[alternative=authoryears][tristan10_simpl_verif_valid_softw_pipel].
 However, it is worth noting that the proof by
 \cite[alternative=author][tristan10_simpl_verif_valid_softw_pipel] does include parts that are not
 completely verified in Coq, meaning there may be various improvements that could be done to the
@@ -46,13 +47,13 @@ optimisations of \SSA\ code, but it should also allow for a more straightforward
 hardware as the GSA code can just be viewed as a \DFG.  Instead of working on modulo scheduling, it
 could therefore be interesting to work on a formally verified dynamic scheduling translation.
 
-\startplacefigure[
+\startplacemarginfigure[
   title={Gantt chart describing the future plan for 2022 and 2023.  The main funding runs out
     mid-2023, so the plan is to finish the thesis writing by then as well.},
   reference={fig:future-gantt},
-  location=top,
+  location={top},
 ]
-  \hbox{\startgantt[xunitlength=17.5mm]{15}{6}
+  \startgantt[xunitlength=17.5mm]{15}{6}
     \startganttitle
       \numtitle{2022}{1}{2022}{4}
       \numtitle{2023}{1}{2023}{2}
@@ -74,8 +75,8 @@ could therefore be interesting to work on a formally verified dynamic scheduling
     \ganttcon{1}{9}{2}{11}
     \ganttgroup{\rmx Thesis}{4}{2}
     \ganttbar[color=thesiscolour]{\rmx Thesis Writing}{4}{2}
-  \stopgantt}
-\stopplacefigure
+  \stopgantt
+\stopplacemarginfigure
 
 \section{Detailed Work Plan}
 
@@ -85,7 +86,7 @@ a plan of either tackling dynamic scheduling or modulo scheduling.
 
 \subsection{Finishing Work on Hyperblock Scheduling}
 
-As described in \in{Chapter}{sec:scheduling}, the current milestone that needs to be achieved is
+As described in \in{Chapter}[sec:scheduling], the current milestone that needs to be achieved is
 proving hyperblock scheduling.  This requires proofs of the following translations:
 
 \desc{\sc RTL $\rightarrow$ RTLBlock} This translation generates basic blocks to ease the scheduling
-- 
cgit