Login / Signup
Constraint-Based Random Stimuli Generation for Hardware Verification.
Yehuda Naveh
Michal Rimon
Itai Jaeger
Yoav Katz
Michael Vinov
Eitan Marcus
Gil Shurek
Published in:
AAAI (2006)
Keyphrases
</>
hardware designs
hardware and software
low cost
model checking
real time
data sets
image processing
hardware implementation
information systems
face verification
hardware architecture
database
general purpose
formal verification