Login / Signup
Hybrid, Incremental Assertion-Based Verification for TLM Design Flows.
Nicola Bombieri
Franco Fummi
Graziano Pravadelli
Andrea Fedeli
Published in:
IEEE Des. Test Comput. (2007)
Keyphrases
</>
case study
artificial intelligence
information systems
data driven
user experience
hardware designs
database
formal verification
formal methods
design methodology
design decisions
conceptual model
knowledge based systems
data structure
neural network
data sets
real time