\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}