Verification of Split&Shift techniques for CNN hardware reduction.
Natalia A. Fernandez-GarciaJordi Albo-CanalsVíctor M. BreaJordi Riera-BaburesDiego CabelloXavier Vilasís-CardonaPublished in: ECCTD (2007)
Keyphrases
- hardware designs
- low cost
- real time
- cellular neural networks
- model checking
- hardware and software
- face verification
- reduction method
- computing power
- computing systems
- computer systems
- formal methods
- image processing
- convolutional neural network
- graphics hardware
- vlsi implementation
- signature verification
- functional verification
- digital circuits
- formal verification
- circuit design
- processing capabilities
- embedded systems
- information systems