Min-max timing analysis and an application to asynchronous circuits.

Supratik Chakraborty David I. Dill Kenneth Y. Yun

Published in: Proc. IEEE (1999)

Keyphrases

min max
asynchronous circuits
multiobjective optimization
max min
delay insensitive
process algebra
model checking