Свидетельство № 2006613257 Российская Федерация. Средство анализа системы булевых уравнений на полумодулярность и дистрибутивность АСИАН; свидетельство об официальной регистрации программы для ЭВМ / Морозов Н.В., Рождественский Ю.В., Степченков Ю.А., Рождественскене А.В.; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2006612546 , дата поступления заявки 25.07.2006; дата регистрации 15.09.2006.
Программа предназначена для классификационного анализа систем булевых уравнений на полумодулярность и дистрибутивность. Программа ориентирована на использование при разработке самосинхронных электронных схем, не зависящих от задержек элементов или быстродействия электронных компонентов.
Dmitry