A design verification methodology based on concurrent simulation and clock suppression.

Ernst G. Ulrich

Published in: DAC (1983)

Keyphrases

case study
design process
design methodology
simulation software
search engine
model checking
conceptual framework
mathematical models
simulation environment
formal verification
functional verification
databases
user experience