\chapter{Beyond ports: manually modelling the A72 frontend}\label{chap:frontend}
