Enabling SystemC Verification using Abstract State Machines.

Amjad Gawanmeh Ali Habibi Sofiène Tahar

Published in: FDL (2004)

Keyphrases

model checking
learning algorithm
face verification
signature verification
feature extraction
multiresolution
formal verification
neural network
real world
decision trees
three dimensional
data structure
relational databases
test cases
software agents
asynchronous circuits