VVDS: A Verification/Diagnosis System for VHDL.
Heh-Tyan LiawK.-T. TranChen-Shang LinPublished in: DAC (1989)
Keyphrases
- model based diagnosis
- model checking
- diagnostic reasoning
- safety analysis
- model based reasoning
- hardware implementation
- attention deficit hyperactivity disorder
- fault diagnosis
- face verification
- breast cancer diagnosis
- hardware design
- formal methods
- neural network
- databases
- formal analysis
- signature verification
- fault detection
- dynamic systems
- temporal logic
- disease diagnosis
- image processing
- artificial intelligence
- multiple faults