Testing Digital Circuits with Constraints.

Ahmad A. Al-Yamani Subhasish Mitra Edward J. McCluskey

Published in: DFT (2002)

Keyphrases

digital circuits
constraint programming
constraint satisfaction
model based diagnosis
metadata
database systems
test cases
data flow
evolvable hardware
neural network
case study
reinforcement learning
complex systems
constrained optimization
finite state machines
global constraints