Vishnu A. Patankar, Alok Jain, Randal E. Bryant. Formal Verification of an ARM Processor. In 12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India. pages 282-287, IEEE Computer Society, 1999. [doi]
Abstract is missing.