Redundant functional faults reduction by saboteurs synthesis [logic verification].
Franco FummiCristina MarconciniGraziano PravadelliPublished in: HLDVT (2003)
Keyphrases
- asynchronous circuits
- functional verification
- verification method
- model checking
- logic synthesis
- built in self test
- temporal logic
- model checker
- fault detection
- model based diagnosis
- functional programs
- bounded model checking
- fault diagnosis
- logic programming
- epistemic logic
- linear temporal logic
- predicate logic
- test cases
- automated reasoning
- formal verification
- program synthesis
- proof theory
- linear time temporal logic
- functional language
- software engineering
- data sets
- fault models
- modal logic
- multiple faults
- face verification
- multi valued
- classical logic
- set theory
- digital circuits