Государственная регистрация программы для ЭВМ № 2014610338 от 09.01.2014 (опубликовано 20.02.2014). Программа анализа цифровых схем на самосинхронность (САМАН). Версия 2. Плеханов Леонид Петрович; заявитель Федеральное государственное бюджетное учреждение науки Институт проблем информатики Российской академии наук (ИПИ РАН).‑ № заявки 2013660311, дата поступления заявки 11.11.2013.
Программа является усовершенствованной версией программы САМАН, версия 1 и представляет собой инструмент для анализа цифровых электронных схем на самосинхронность. Программа позволяет анализировать схемы, представленные как в замкнутом, так и в разомкнутом виде. В разомкнутом представлении программа позволяет компактно исследовать полноту начальных состояний и дисциплину изменений входных сигналов. Программа обеспечивает: замкнутое и разомкнутое представление анализируемых схем; средства описания поведения окружающей схемы; автоматический расчет начального и спейсерного состояний; отображение процесса анализа в виде слоев состояний. В версию 2 программы внесены следующие изменения: введены новые средства анализа для разомкнутого представления, средства описания поведения окружения; модифицированы все остальные компоненты программы.