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

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

От admin

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

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