Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification.
Reuven NavehAmit MetodiPublished in: CP (2013)
Keyphrases
- functional verification
- constraint programming
- real time
- low cost
- hardware and software
- hardware designs
- computing power
- model checking
- personal computer
- hardware implementation
- parallel hardware
- data acquisition
- computational power
- formal verification
- hardware architecture
- image processing
- random number generator
- computing platform
- random number
- hardware software
- asynchronous circuits
- vlsi implementation
- usage patterns
- neural network