Login / Signup
Practical Formal Verification in Microprocessor Design.
Robert B. Jones
John W. O'Leary
Carl-Johan H. Seger
Mark D. Aagaard
Thomas F. Melham
Published in:
IEEE Des. Test Comput. (2001)
Keyphrases
</>
formal verification
functional verification
model checking
design methodology
case study
user interface
engineering design
circuit design
design process
automated verification
real world
artificial intelligence
model checker
design concepts