Дано формализованное описание цифрового устройства в виде асинхронной модели, на основании которой разработан алгоритм моделирования произвольной логической сети. Алгоритм представлен на языке ЛЯПАС-71. Разработаны и отлажены на ЭВМ «М-220» соответствующие программы анализа цифровых устройств различной сложности
