SVA checker generator for FPGA-based verification platform.

Nurita Mohamad Chia Yee Ooi Nordinah Bt Ismail Jwing Teh

Published in: ISCAS (2016)

Keyphrases

model checking
real time
spatially variant
hardware implementation
face verification
image analysis
hardware design
data sets
computer vision
multiscale
verification method