Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments.

Hemangee K. Kapoor Mark B. Josephs Dennis P. Furey

Published in: ACSD (2004)

Keyphrases

delay insensitive
asynchronous circuits
database
real world
information retrieval
real time
artificial intelligence
information systems
expert systems
model checking
face verification
verification method
functional verification