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

Методы разбиения логических схем для оптимизации решения задач проверки эквивалентности и функциональной коррекции схем
Авторы
	Антюфеев Г.В.
	Жуков В.В.
	Зенин Е.Ю.
	Шуплецов М.С.
Год публикации
	2016
УДК
	004.023
Аннотация
	Международное соревнование «ICCAD CAD Contest» является одним из ключевых в области разработки алгоритмов автоматизации проектирования интегральных схем, которое проводится под эгидой международной конференции International conference on computer-aided design (ICCAD) и при поддержке министерства образования Тайваня. В рамках соревнования 2015 года компанией Cadence design systems, Inc была предложена задача поиска таких разбиений логического описания интегральной схемы, которые позволяют одновременно оптимизировать процесс проверки эквивалентности схем и их функциональной коррекции. В данной работе авторы представляют решение поставленной задачи, которое заняло первое место по результатам соревнования, а также некоторые его дополнительные усовершенствования.
Ключевые слова
	схемы из функциональных элементов, логический синтез, разбиение схем, проверка эквивалентности, функциональная коррекция, поиск функциональных соответствий.
Ссылка на статью
	Антюфеев Г.В., Жуков В.В., Зенин Е.Ю., Шуплецов М.С. Методы разбиения логических схем для оптимизации решения задач проверки эквивалентности и функциональной коррекции схем // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. № 1. С. 16-23.
Адрес статьи
	http://www.mes-conference.ru/data/year2016/pdf/D161.pdf