A case study on logic diagnosis for System-on-Chip.
Youssef BenabboudAlberto BosioPatrick GirardSerge PravossoudovitchArnaud VirazelLaroussi BouzaidaIsabelle IzautePublished in: ISQED (2009)
Keyphrases
- case study
- hardware and software
- medical diagnosis
- model based diagnosis
- logic programming
- fault diagnosis
- causal reasoning
- hardware software partitioning
- automatic diagnosis
- classical logic
- test bed
- power consumption
- automated reasoning
- multi valued
- modal logic
- low cost
- fault models
- embedded systems
- fault detection
- design methodology
- digital circuits
- deontic logic
- proof theory
- breast cancer diagnosis
- design space exploration
- knowledge base