A Methodology for Large−Scale Hardware Verification

Bibliographic Details
Main Authors: Aagaard, M, Jones, R, Melham, T, O'Leary, J, Seger, C
Format: Conference item
Published: Springer−Verlag 2000