Example implementation of Arm's Architecture Specification Language (ASL) - View it on GitHub