Tutorial on Design Verification with Synchronized Transitions.

Niels Mellergaard Jørgen Staunstrup

Published in: TPCD (1994)

Keyphrases

databases
case study
database
user interface
engineering design
functional verification
data sets
neural network
machine learning
formal verification