DFT+Emulation - A Faster Way to Close Verification.

Jitendra Aggarwal Tran Nguyen Piyush Kumar Gupta

Published in: QRS Companion (2018)

Keyphrases

model checking
frequency domain
formal verification
databases
temporal logic
face verification
memory efficient
data sets
image segmentation
formal analysis
discrete fourier transform
handwritten signature verification