A Systematic Investigation of State-of-the-Art SystemC Verification.

Bin Lin Fei Xie

Published in: J. Circuits Syst. Comput. (2020)

Keyphrases

model checking
data sets
real world
feature extraction
signature verification
formal verification
concurrent systems
database
real time
machine learning
image processing
similarity measure
multiresolution
power consumption
face verification
person identification