Login / Signup
Debugging and Diagnosis in Equivalence Checking of ASICs.
Stefan Höreth
Published in:
MBMV (2004)
Keyphrases
</>
model based diagnosis
fault localization
model based reasoning
dynamic systems
multiple faults
fault diagnosis
medical diagnosis
knowledge base
fault detection
embedded systems
software testing
parallel programming
root cause
medical images
physical design
expert systems
neural network
hardware designs