HALib: Hardware Assertion Library for on-board verification of FPGA-based modules using HLS.
Julián CabaFernando RincónJesús BarbaJose A. de la TorreJulio DondoJuan Carlos LópezPublished in: NORCAS (2019)
Keyphrases
- hardware architecture
- hardware implementation
- hardware design
- field programmable gate array
- model checking
- hardware designs
- embedded systems
- hardware and software
- real time
- hardware architectures
- low cost
- building blocks
- formal verification
- massively parallel
- face verification
- signature verification
- computing power
- data acquisition
- computer systems
- modular structure
- signal processing
- video processing
- graphics processing units
- application specific
- personal computer
- fault diagnosis
- fingerprint verification
- smart camera
- vlsi implementation
- face recognition