Реализация функционального метода анализа самосинхронности электронных схем

В статье описываются вопросы расширенной реализации впервые разработанного функционального метода анализа самосинхронности электронных схем. Использование свойства индицируемости сигналов в данном методе позволяет определить независимость работы схемы от задержек ее элементов (самосинхронность), а также получить необходимую информацию об индицируемости внешних и внутренних сигналов схемы. В расширенной реализации, помимо собственно анализа самосинхронности, производится вычисление параметров, необходимых и достаточных для применения схемы без ее раскрытия в самосинхронных схемах более высокого уровня. Расширенные задачи реализованы в программе анализа ФАЗАН, которая, как и предыдущая реализация, характеризуется полиномиальной сложностью вычислений от числа элементов.