Login / Signup
Inverting the Abstraction Mapping: A Methodology for Hardware Verification.
David Cyrluk
Published in:
FMCAD (1996)
Keyphrases
</>
hardware designs
hardware and software
hardware implementation
low cost
real time
model checking
computing power
database
neural network
design methodology