Random Stimuli Generation for Functional Hardware Verification as a CP Application.

Yehuda Naveh Roy Emek

Published in: CP (2005)

Keyphrases

real time
neural network
image processing
expert systems
computing systems
constraint programming
high speed
functional verification
computing power
application specific
hardware and software
parallel processing
petri net
decision support
low cost
general purpose
control system
case study
data sets