Keyphrases
- hardware designs
- low cost
- hardware and software
- real time
- model checking
- computer systems
- verification method
- neural network
- face verification
- hardware implementation
- computing systems
- computational power
- massively parallel
- parallel hardware
- computing power
- concurrent systems
- high end
- formal verification
- genetic algorithm
- blue gene
- random number generator
- video sequences
- person identification
- software implementation
- data acquisition
- formal analysis
- formal methods
- high speed
- input output