Временной анализ автономных асинхронных логических сетей

Рассматривается задача определения величин задержек асинхронной логической сети (АЛС) по заданной логике и последовательности состояний АЛС. Решением является система линейных неравенств, определяющая область возможных значений задержек.