Keyphrases
- verilog hdl
- verification method
- hardware implementation
- model checking
- fpga device
- high speed
- formal verification
- face verification
- signature verification
- fpga implementation
- real time
- field programmable gate array
- low cost
- concurrent systems
- single chip
- temporal logic
- dedicated hardware
- computer vision
- systolic array
- information retrieval