Плеханов Л.П. Проектирование самосинхронных схем: структурные методы в иерархическом анализе // Информатика и ее применения. М.: ТОРУС ПРЕСС, 2014 ‑ т. 8, вып. 3. – С. 105-113.
DOI:10.14375/19922264140312
Аннотация: Самосинхронные схемы (СС-схемы) имеют уникальные свойства независимости от задержек И отказобезопасности. Рассмотрена одна из главных проблем проектирования таких схем—анализ самосинхронности больших схем. В традиционном подходе схемы анализируются событийными методами, по переключениям элементов. Сложность вычислений в таком подходе экспоненциально растет от раз- Мера и/или других параметров схем, что не позволяет анализировать большинство практически значимых схем. Решение проблемы предлагается в функциональном подходе—без использования переключений—и иерархическом описании схем. В иерархическом анализе самосинхронности наряду с анализом логиче- Ских функций предлагается использовать структурные методы — исследование взаимосвязей элементов и фрагментов. Такой способ позволяет резко уменьшить трудоемкость вычислений и в итоге решить Одну из главных проблем проектирования СС-схем — анализ схем любого размера. Эффективность предложенных методов подтверждена с помощью экспериментальных программных средств.
Dmitry