Skip to main content

A Methodology for Large−Scale Hardware Verification

Mark D. Aagaard‚ Robert B. Jones‚ Thomas F. Melham‚ John W. O'Leary and Carl−Johan H. Seger

Book Title
Formal Methods in Computer−Aided Design: Third International Conference‚ FMCAD 2000: Austin‚ TX‚ USA‚ November 1–3‚ 2000: Proceedings
Editor
Warren A. Hunt‚ Jr. and Steven D. Johnson
ISBN
3−540−41219−0
ISSN
0302−9743
Pages
263–282
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
1954
Year
2000