Generic System Verilog Universal Verification Methodology based Reusable Verification Environment for Efficient Verification of Image Signal Processing IPs/SoCs
Abhishek JainGiuseppe BonannoHima GuptaAjay GoyalPublished in: CoRR (2013)
Keyphrases
- model checking
- signal processing
- single image
- formal verification
- signature verification
- image classification
- verification method
- similarity measure
- image analysis
- input image
- image features
- low level
- multiscale
- high level
- real time
- image representation
- high resolution
- face verification
- image segmentation
- image processing