Timing Verification Using HDTV.

Alan R. Martello Steven P. Levitan Donald M. Chiarulli

Published in: DAC (1990)

Keyphrases

asynchronous circuits
model checking
data flow
face verification
video conferencing
real world
information retrieval
signature verification
picture quality
real time
databases
formal methods
formal analysis
verification method
concurrent systems