Practical formal verification in microprocessor design - Jones, R.B.; O'Leary, J.W.; Seger, C.-J.H.; Aagaard, M.D.; Melham, T.F. (IEEE Design & Test of Computers, Design & Test of Computers, IEEE, IEEE Des. Test. Comput., 2001)