Login / Signup
Reprogrammable gate arrays for hardware accelerated IC design verification.
Jeffrey A. Dickson
Bing Liu
Alan W. Ptak
Robert D. McLeod
Published in:
Microprocess. Microsystems (1990)
Keyphrases
</>
formal verification
model checking
user interface
data sets
artificial intelligence
case study
engineering design