Aspect enhanced functional coverage driven verification in the SystemC HDVL.

Christoph Kuznik Wolfgang Müller

Published in: ISOCC (2011)

Keyphrases

functional verification
model checking
formal verification
database
decision making
data driven
face verification
data sets
mobile robot