Synchronization-at-Retirement for Pipeline Verification.

Mark D. Aagaard Nancy A. Day Robert B. Jones

Published in: FMCAD (2004)

Keyphrases

model checking
formal verification
face verification
case study
real time
asynchronous circuits
databases
image segmentation
search algorithm
sufficient conditions
face detection
formal methods
chaotic systems
fingerprint verification
pipeline architecture