\chapter{Beyond ports: manually modelling the A72 frontend}\label{chap:frontend}
\input{00_intro.tex}
\input{10_cortex_a72.tex}