Formal Verification of an ARM Processor. - Vishnu A. Patankar; Alok Jain; Randal E. Bryant (VLSI Design, 1999)