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

Использование задачи булевой выполнимости для трассировки стандартных ячеек промышленной библиотеки элементов
Авторы
	Рыженко Н.В.
Год публикации
	2012
УДК
	519.688
Аннотация
	В данной работе представлен алгоритм трассировки стандартных ячеек, использующий задачу булевой выполнимости (Boolean Satisfiability). На предварительном этапе все электрические цепи разбиваются на двухточечные соединиения. Для каждого соединия генерится набор из нескольких возможных топологий. Затем, специальная процедура определяет конфликты между каждой парой возможных топологий, используя электрические правила и геометрические правила построения топологии для выбранной технологии. Для возможных топологий и списка конфликтов формулируется задача булевой выполнимости. Решение данной задачи определяет полную трассировку стандартной ячейки. В работе также представлен подход по выбору перспективных возможных топологий, позволяющий значительно снизить размер сформулированной задачи. Другой подход, направленный на улучшение качества трассировки, использует последовательные булевы ограничения. Предложенный алгоритм был реализован в качестве программного комплекса. Последний используется для трассировки стандартных ячеек промышленной библиотеки элементов, демонстрируя приемлемое время работы и 89% покрытие библиотеки элементов, включая сканирующие триггеры, сумматоры и мультиплексоры.
Ключевые слова
	трассировка, стандартные ячейки, булева выполнимость
Ссылка на статью
	Рыженко Н.В. Использование задачи булевой выполнимости для трассировки стандартных ячеек промышленной библиотеки элементов // Проблемы разработки перспективных микро- и наноэлектронных систем - 2012. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2012. С. 225-230.
Адрес статьи
	http://www.mes-conference.ru/data/year2012/pdf/D51.pdf