Formal verification of an arm processor (1999)

by V A Patankar, A Jain, R E Bryant
Venue:In Twelfth International Conference On VLSI Design