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