Title: Relating two models of hardware