Timing verification of dynamic circuits.

Kumar Venkat Liang Chen Ichiang Lin Piyush Mistry Pravin Madhani

Published in: IEEE J. Solid State Circuits (1996)

Keyphrases

asynchronous circuits
high speed
model checking
dynamic environments
delay insensitive
database
neural network
real world
machine learning
expert systems
changing environment