Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging.

Krzysztof Kuchcinski Wlodzimierz Drabent Jan Maluszynski

Published in: AADEBUG (1993)

Keyphrases

digital circuits
automatic diagnosis
model based diagnosis
early detection
data flow
signal processing
finite state machines
circuit design
spect images
mixed signal
functional decomposition
constraint programming
databases
raw data
prostate cancer