Средство анализа системы булевых уравнений на полумодулярность и дистрибутивность АСИАН

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

Программа предназначена для классификационного анализа систем булевых уравнений на полумодулярность и дистрибутивность. Программа ориентирована на использование при разработке самосинхронных электронных схем, не зависящих от задержек элементов или быстродействия электронных компонентов.

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *