Verification and diagnosis of SoC HDL-code.
Vladimir HahanovDong-Won ParkOlesya GuzAleksey PriymakPublished in: EWDTS (2011)
Keyphrases
- source code
- model checking
- low power
- medical diagnosis
- model based diagnosis
- design methodology
- concurrent systems
- byte code
- multiple faults
- safety analysis
- model based reasoning
- diagnostic reasoning
- face verification
- formal verification
- symbolic execution
- breast cancer diagnosis
- formal methods
- static analysis
- hardware and software
- expert systems
- neural network
- functional verification
- medical diagnostic
- verification method
- asynchronous circuits
- error correcting
- fault detection
- power consumption
- fault diagnosis
- data mining