Keyphrases
- hardware designs
- low cost
- real time
- hardware and software
- model checking
- computing systems
- massively parallel
- face verification
- formal verification
- image processing
- vlsi implementation
- digital circuits
- high end
- computing power
- computer systems
- low latency
- hardware design
- field programmable gate array
- person identification
- high speed
- verification method
- concurrent systems
- standard pc
- data structure