A Comprehensive System-on-Chip Logic Diagnosis.
Youssef BenabboudAlberto BosioLuigi DililloPatrick GirardSerge PravossoudovitchArnaud VirazelOlivia RiewerPublished in: Asian Test Symposium (2010)
Keyphrases
- logic programming
- model based diagnosis
- hardware and software
- causal reasoning
- hardware software partitioning
- power consumption
- medical diagnosis
- classical logic
- sound and complete axiomatization
- proof theory
- predicate logic
- fault diagnosis
- design methodology
- modal logic
- multi valued
- nonmonotonic logics
- model based reasoning
- digital circuits
- neural network
- artificial intelligence
- fault models
- clinically relevant
- case study
- linear logic
- asynchronous circuits
- early diagnosis
- diagnostic reasoning
- cancer diagnosis
- logic programs
- real time
- automated reasoning