ATV: An Abstract Timing Verifier.

David E. Wallace Carlo H. Séquin

Published in: DAC (1988)

Keyphrases

high level
artificial intelligence
e learning
low level
higher level
neural network
object recognition
pairwise
evolutionary algorithm
case based reasoning
programming language
asynchronous circuits