SAT-based code synthesis for fault-secure circuits.
Atefe DalirsaniMichael A. KochteHans-Joachim WunderlichPublished in: DFTS (2013)
Keyphrases
- analog circuits
- fault diagnosis
- logic synthesis
- fault detection
- fault models
- answer set programming
- source code
- bounded model checking
- error detection
- sat solvers
- high speed
- quantum computing
- expert systems
- neural network
- version space
- digital circuits
- fault model
- logic circuits
- asynchronous circuits
- ai planning
- boolean satisfiability
- power dissipation
- key management
- static analysis
- data flow
- low power
- domain specific
- low cost
- learning algorithm