Vishnu A. Patankar Alok Jain Randal E. Bryant Formal Verification of an ARM Processor. 282-287 1999 conf/vlsid/1999 VLSI Design http://doi.ieeecomputersociety.org/10.1109/ICVD.1999.745161 db/conf/vlsid/vlsid1999.html#PatankarJB99