Sign in
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