\section{Design Guidelines}

\subsection{Delay Checkpoint Execution}

\subsection{Use Vdd for Checkpoint Trigger}

\begin{figure}
    \centering
    \includegraphics[width=\linewidth]{figs/plot_expr_10_cropped.pdf}
    \caption{Caption (JIT).}
    % \label{fig:detailed_execution_model}
\end{figure}

\begin{figure}
    \centering
    \includegraphics[width=\linewidth]{figs/plot_expr_11_cropped.pdf}
    \caption{Caption (static).}
    % \label{fig:detailed_execution_model}
\end{figure}

\subsection{Design Checkpoint Techniques for Sufficient Power Duration}
