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