Inverting the Abstraction Mapping: A Methodology for Hardware Verification.

David Cyrluk

Browse the full FMCAD paper archive.