Универсальная подсистема анализа самосинхронных схем

Проведëн анализ независимости поведения асинхронных схем от задержек элементов. Такие схемы называются самосинхронными. Анализ основан на построении диаграмм переходов, покрывающих все возможные состояния схемы, и относится к методам анализа схемы в глобальных состояниях. Главное преимущество этих методов заключается в их универсальности — возможности применения для анализа всех классов самосинхронных схем. Рассмотрена подсистема АСИАН, которая представляет собой комплекс программ, позволивший многократно сократить временные затраты на процедуру анализа по сравнению с существующими аналогами и, по существу, реализовать максимально возможную эффективность анализа.