Practical formal verification in microprocessor design

Jones, R.B., OLeary, J.W., Seger, C.J.H., Aagaard, M.D. and Melham, T.F. (2001) Practical formal verification in microprocessor design. IEEE Design and Test of Computers, 18, pp. 16-25.

Full text not currently available from Enlighten.


Item Type:Articles
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:UNSPECIFIED
Authors: Jones, R.B., OLeary, J.W., Seger, C.J.H., Aagaard, M.D., and Melham, T.F.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:IEEE Design and Test of Computers

University Staff: Request a correction | Enlighten Editors: Update this record