Design and verification in ARM

Author(s):
Hobson Bullman