Performance Through Hierarchy in Static Timing Verification.

P. Johannes Luc J. M. Claesen Hugo De Man

Published in: IFIP Congress (1) (1992)

Keyphrases

asynchronous circuits
hierarchical structure
tree structure
model checking
formal analysis
concurrent systems
image segmentation
hierarchically organized
data sets
databases
high level
data warehouse
higher level
formal verification
person identification
verification method