M.Kishinevsky, A.Kondratyev, A.Taubin and V.Varshavsky
Предмет этой статьи – анализ асинхронных схем на независимость от скорости или нечувствительность к задержкам. Схема определяется как список соединений логических функций, описывающий компоненты. Анализ основан на деривации спецификации событий поведения схемы в STG-подобной системе обозначений, называемой сигнальными графами. Главное преимущество этого метода – то, что вспышки состояния исключены. Восстановление спецификации событий схемы помогает также решать задачу идентификации поведения, то есть сравнивать полученную спецификацию с желательной. Метод иллюстрируется некоторыми примерами.