Информация о статье журнала "Информатика"
Многократная свертка регулярных структур на основе решения логических уравнений'
Черемисинова Л. Д.
1
- Объединенный институт проблем информатики Минск, Сурганова, 6
УДК: 681.325
Статья поступила: 09.02.2015
Реферат:
Рассматривается задача минимизации площади регулярных матричных структур заказных СБИС методом многократной свертки. Предлагается метод решения ключевой проблемы многократной свертки – проверки реализуемости множества свертки, который основывается на сведении задачи к решению логического уравнения и проверке выполнимости конъюнктивной нормальной формы.
|