Practical Formal Verification in Microprocessor Design
Robert B. Jones‚ John W. O'Leary‚ Carl−Johan H. Seger‚ Mark D. Aagaard and Thomas F. Melham
ISSN
0740−7475
Journal
IEEE Design & Test of Computers
Month
July/August
Number
4
Pages
16–25
Volume
18
Year
2001