Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Система логической оптимизации функционально-структурных описаний цифровых устройств на основе продукционно-фреймовой модели представления знаний
Авторы
	Бибило П.Н.
	Романов В.И.
Год публикации
	2020
DOI
	10.31114/2078-7707-2020-4-9-16
УДК
	517.98
Аннотация
	Описывается система FLC-2, предназначенная для оптимизации иерархически организованных функциональных и структурных описаний логических схем, представленных на языке SF, являющемся внутренним языком системы. Для связи с другими САПР (системами автоматизированного проектирования) цифровых устройств в FLC-2 имеются средства конвертации SF-описаний в VHDL-описания (и обратно). Логическая оптимизация осуществляется на основе применения комбинированных методов, реализующих различные базовые оптимизационные приемы, – минимизацию систем булевых функций в классе ДНФ (дизъюнктивных нормальных форм), оптимизацию многоуровневых представлений систем булевых функций на основе булевых сетей и BDD-представлений, поляризации и декомпозиции матричных и скобочных форм, выделения подсистем функций, связанных по областям определения. В системе FLC-2 реализован продукционный подход для управления последовательностями проектных процедур, предназначенных для их использования на этапе логического проектирования сложных функциональных блоков заказных цифровых СБИС (сверхбольших интегральных схем). Эксперименты показали целесообразность использования программ системы FLC-2 для предварительной оптимизации проектов цифровых устройств, реализуемых в промышленных САПР заказных цифровых СБИС и FPGA.
Ключевые слова
	система булевых функций, дизъюнктивная нормальная форма (ДНФ), Binary Decision Diagram (BDD), булева сеть, синтез логической схемы, VHDL, СБИС, база знаний.
Ссылка на статью
	Бибило П.Н., Романов В.И. Система логической оптимизации функционально-структурных описаний цифровых устройств на основе продукционно-фреймовой модели представления знаний // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2020. Выпуск 4. С. 9-16. doi:10.31114/2078-7707-2020-4-9-16
Адрес статьи
	http://www.mes-conference.ru/data/year2020/pdf/D114.pdf