Error Diagnosis for Transistor-Level Verification.

Andreas Kuehlmann David Ihsin Cheng Arvind Srinivasan David P. LaPotin

Published in: DAC (1994)

Keyphrases

high speed
integrated circuit
higher level
medical diagnosis
neural network
prediction error
automatic diagnosis
levels of abstraction
error analysis
model checking
expert systems
model based diagnosis
fault detection
face recognition
learning algorithm
signature verification
data mining