An Approach for the Verification of SystemC Designs Using AsmL.

Ali Habibi Sofiène Tahar

Published in: ATVA (2005)

Keyphrases

model checking
formal verification
verification method
neural network
concurrent systems
face verification
formal methods
database
data sets
databases
information systems
similarity measure