Verification-guided voter minimization in triple-modular redundant circuits.
Dmitry BurlyaevPascal FradetAlain GiraultPublished in: DATE (2014)
Keyphrases
- asynchronous circuits
- objective function
- high speed
- highly redundant
- case study
- model checking
- delay insensitive
- modular structure
- modular neural networks
- data mining
- vlsi circuits
- logic synthesis
- face verification
- digital circuits
- voting scheme
- minimization problems
- person identification
- signature verification
- circuit design
- real time
- formal methods
- multi agent systems
- web services
- learning algorithm
- neural network