Writeup §3.3 intro

manuscrit/40_A72-frontend/30_manual_frontend.tex

@@ -1,6 +1,9 @@
 \section{Manually modelling the A72 frontend}
 
-\todo{}
+Our objective is now to manually construct a frontend model of the Cortex A72.
+We strive, however, to remain as close to an algorithmic methodology that is
+possible: while our model's structure is manually crafted, its data should come
+from experiments that can be later automated.
 
 \subsection{Finding micro-operation count for each
 instruction}\label{ssec:a72_insn_muop_count}
@@ -343,8 +346,6 @@ cycles.
 
 \subsubsection{Dispatch-queues model}\label{sssec:a72_dispatch_queues}
 
-\todo{Somehow say that I missed the optimisation guide's relevant part.}
-
 \begin{wrapfigure}{R}{0.2\linewidth}
     \centering
     \vspace{-2em}