Assertion based verification of PSL for SystemC designs.

Ali Habibi Amjad Gawanmeh Sofiène Tahar

Published in: SoC (2004)

Keyphrases

model checking
formal verification
signature verification
real time
neural network
information retrieval
genetic algorithm
social networks
computer vision
feature selection
image processing
case study
fingerprint verification
false acceptance