On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.
Tobias WiersemaSen WuMarco PlatznerPublished in: ARC (2015)
Keyphrases
- image processing
- low cost
- hardware implementation
- reconfigurable hardware
- field programmable gate array
- functional units
- image processing algorithms
- signal processing
- hardware designs
- hardware and software
- formal proof
- theorem proving
- digital image processing
- computer vision
- digital signal processing
- machine vision
- remote sensing
- color images
- denoising
- theorem prover
- real time
- image analysis
- computer graphics
- hardware architecture
- edge detection
- functional modules
- hardware software
- reconfigurable architecture
- linear logic
- embedded systems
- image denoising
- image segmentation
- image compression
- model checking
- general purpose
- heterogeneous computing
- feature extraction
- medical imaging
- fine grain
- image restoration
- hardware design
- face verification
- formal methods
- formal verification
- image registration
- modular structure
- high resolution
- pattern recognition
- multiscale
- efficient implementation
- signature verification