STARI: A Case Study in Compositional and Hierarchical Timing Verification.

Serdar Tasiran Robert K. Brayton

Published in: CAV (1997)

Keyphrases

asynchronous circuits
test bed
case study
model checking
coarse to fine
hierarchical structure
artificial intelligence
face verification
signature verification
hierarchical decomposition
verification method
database
multiscale
hierarchical structures