Login / Signup
Designer-level verification using TIMEDIAG/GENRAND.
Bruce Wile
Published in:
IBM J. Res. Dev. (1997)
Keyphrases
</>
levels of abstraction
model checking
formal methods
databases
multiscale
high level
asynchronous circuits
lower level
digital images
probabilistic model
decision trees
website
image processing
decision making
artificial intelligence
machine learning
real world