Login / Signup
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