Timing Verification and the Timing Analysis program.

Robert B. Hitchcock Sr.

Published in: DAC (1982)

Keyphrases

asynchronous circuits
symbolic execution
model checking
hardware designs
neural network
face verification
database
real time
data mining
information retrieval
data structure
learning environment
evolutionary algorithm
petri net
static analysis
concurrent systems