FPGA Prototyping and Accelerated Verification of ASIPs.
Jakub PodivinskyMarcela SimkováOndrej CekanZdenek KotásekPublished in: DDECS (2015)
Keyphrases
- hardware implementation
- model checking
- high speed
- real time image processing
- real time
- low cost
- signal processing
- hardware architecture
- hardware architectures
- development process
- signature verification
- field programmable gate array
- formal methods
- asynchronous circuits
- hardware design
- rapid prototyping
- face verification
- digital signal
- concurrent systems
- database
- systolic array
- dedicated hardware
- person identification
- formal verification
- formal analysis
- data acquisition
- general purpose
- artificial intelligence
- data sets