Timing verification system based on delay time hierarchical nature.

Minoru Nomura Shinichi Sato Nobuo Takano Toshinori Aoyama Akihiko Yamada

Published in: DAC (1982)

Keyphrases

asynchronous circuits
model checking
hierarchical structure
decision trees
hierarchical model
information systems
formal methods
coarse to fine
database
unsupervised learning
hidden markov models
verification method
hierarchical decomposition
face recognition
website
data mining
databases
data sets
real time