\section[Wrapping up:\\the \acombined{} model]{Wrapping up: the \acombined{} model}

\begin{frame}
    \begin{minipage}[c]{0.68\textwidth}
        \centering
        \includegraphics[height=0.9\textheight]{patate_apres.jpg}\\
    \end{minipage}\hfill\begin{minipage}[c]{0.30\textwidth}
        \Large+ tooled analysis of\\
        existing analyzers
    \end{minipage} \\
    \vfill
    \pause{}
    \begin{center}
        \textbf{\Large$\leadsto$ Let's make a model for the Cortex A72!}
    \end{center}
\end{frame}

\begin{frame}{From dependencies to cycles}
    \begin{itemize}
        \item \staticdeps{}: set to also report \alert{register} dependencies.
        \item Unroll $\kerK$ to fill the ROB
        \item Build \alert{dependencies graph}: edges are dependencies,
            weighted by \alert{source instruction latency} (given by \palmed).
        \item Compute \alert{longest path}, divide by repetitions of $\kerK$
    \end{itemize}

    \begin{center}
        \textbf{$\leadsto$ lower bound on execution time}
    \end{center}

    \vfill

    \begin{center}
        \textbf{Combine frontend, backend, critical by taking the max}
    \end{center}
\end{frame}

\begin{frame}
  \begin{columns}
    \column{\dimexpr\paperwidth-8pt}
    \centering
    \begin{minipage}[c]{0.40\textwidth}
        \centering
        \includegraphics[width=\textwidth]{cesasme_a72combined_boxplot.svg}
    \end{minipage}
  \end{columns}
\end{frame}