Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits.
Ghaith Bany HamadOtmane Aït MohamedYvon SavariaPublished in: J. Electron. Test. (2017)
Keyphrases
- formal methods
- formal analysis
- formal specification
- artificial intelligence
- process algebra
- event detection
- software engineering
- model checker
- safety critical
- provably correct
- steady state
- model checking
- high speed
- logic circuits
- databases
- power consumption
- analog circuits
- building blocks
- fine grained
- knowledge based systems
- database systems
- temporal properties