Design Verification Using Synchronized Transitions.

Jørgen Staunstrup

Published in: Formal Hardware Verification (1997)

Keyphrases

data sets
engineering design
databases
case study
user interface
formal methods
real world
information retrieval
design process
model checking
computer aided
design decisions
optimal design
functional verification