Assertion Checkers in Verification, Silicon Debug and In-Field Diagnosis.

Marc Boule Jean-Samuel Chenard Zeljko Zilic

Published in: ISQED (2007)

Keyphrases

low cost
model checking
model based diagnosis
case study
medical diagnosis
formal verification
genetic algorithm
high speed
fault diagnosis
high density
fuzzy logic
medical images
parallel processing
model based reasoning
clinically relevant
automatic diagnosis