Login / Signup
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