Свидетельство № 2008615059 Российская Федерация. Программа анализа описаний цифровых схем на строгую самосинхронность САМАН. Версия 2; свидетельство об официальной регистрации программы для ЭВМ / Плеханов Л.П.; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2008613997, дата поступления заявки 02.09.2008; дата регистрации 21.10.2008.
Программа является усовершенствованной версией программы САМАН, версия 1 и представляет собой инструмент для анализа цифровых электронных схем на самосинхронность. Программа позволяет анализировать схемы, представленные как в замкнутом, так и в разомкнутом виде. В разомкнутом представлении программа позволяет компактно исследовать полноту начальных состояний и дисциплину изменений входных сигналов. Программа обеспечивает: замкнутое и разомкнутое представление анализируемых схем; средства описания поведения окружающей схемы; автоматический расчет начального и спейсерного состояний; отображение процесса анализа в виде слоев состояний. В версию 2 программы внесены следующие изменения: введены новые средства анализа для разомкнутого представления, средства описания поведения окружения; модифицированы все остальные компоненты программы.
Dmitry