A Methodology for Large-Scale Hardware Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mark Aagaard, Robert B. Jones, Thomas F. Melham, John W. O Leary, Carl-Johan H. Seger. A Methodology for Large-Scale Hardware Verification. In Warren A. Hunt Jr., Steven D. Johnson, editors, Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings. Volume 1954 of Lecture Notes in Computer Science, pages 263-282, Springer, 2000. [doi]

This author has not been identified. Look up 'Mark Aagaard' in GoogleThis author has not been identified. Look up 'Robert B. Jones' in GoogleThis author has not been identified. Look up 'Thomas F. Melham' in GoogleThis author has not been identified. Look up 'John W. O Leary' in GoogleThis author has not been identified. Look up 'Carl-Johan H. Seger' in Google

runs on WebDSL