Constraint-Based Random Stimuli Generation for Hardware Verification.
Yehuda NavehMichal RimonItai JaegerYoav KatzMichael VinovEitan MarcusGil ShurekPublished in: AI Mag. (2007)
Keyphrases
- low cost
- hardware designs
- hardware and software
- real time
- computer systems
- hardware architecture
- generation process
- model checking
- constraint satisfaction
- face verification
- functional verification
- parallel hardware
- computing power
- computing systems
- data acquisition
- formal methods
- formal verification
- parallel computing
- vlsi implementation
- learning algorithm