Самосинхронные схемы (СС-схемы) имеют уникальные свойства независимости от задержек и отказобезопасности. Рассмотрена одна из главных проблем проектирования таких схем — анализ самосинхронности больших схем. В традиционном подходе схемы анализируются событийными методами, по переключениям элементов. Сложность вычислений в таком подходе экспоненциально растет от размера и/или других параметров схем, что не позволяет анализировать большинство практически значимых схем. Решение проблемы предлагается в функциональном подходе — без использования переключений — и иерархическом описании схем. В иерархическом анализе самосинхронности наряду с анализом логических функций предлагается использовать структурные методы — исследование взаимосвязей элементов и фрагментов. Такой способ позволяет резко уменьшить трудоемкость вычислений и в итоге решить одну из главных проблем проектирования СС-схем — анализ схем любого размера. Эффективность предложенных методов подтверждена с помощью экспериментальных программных средств.
самосинхронные схемы, асинхронные схемы, проектирование схем, анализ самосинхронности