Assertion-based verification for system-level designs.

Hasan Sohofi Zainalabedin Navabi

Published in: ISQED (2014)

Keyphrases

levels of abstraction
decision making
higher level
face verification
database
data sets
neural network
relational databases