Constraint Identification for Timing Verification.

Joel Grodstein Jengwei Pan William J. Grundmann Bruce Gieseke Yao-Tsung Yen

Published in: ICCAD (1990)

Keyphrases

person identification
asynchronous circuits
model checking
constraint solving
writer identification
artificial intelligence
database
databases
real world
information retrieval
automatic identification
signature verification
formal verification
previously identified