Relative Timing Based Verification of Timed Circuits and Systems.

Peter A. Beerel Ken S. Stevens Hoshik Kim

Published in: ASYNC (2002)

Keyphrases

asynchronous circuits
database
machine learning
management system
distributed systems
building blocks
high speed
petri net
information retrieval
information systems
web services
control system
learning systems
complex systems
formal methods
circuit design