Sufficient conditions for correct gate-level speed-independent circuits.

Peter A. Beerel Jerry R. Burch Teresa H.-Y. Meng

Published in: ASYNC (1994)

Keyphrases

sufficient conditions
high speed
exponential stability
linear complementarity problem
real time
fixed point
linear systems
lyapunov function
asymptotic stability
neural network
cmos technology
equilibrium point
markov chain