Разработка автоматизированной системы синтеза топологии специализированных больших интегральных схем тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Балашов, Вадим Владимирович

• Балашов, Вадим Владимирович
• кандидат технических наук
• 2013

Оглавление диссертации кандидат технических наук Балашов, Вадим Владимирович

Оглавление

ВВЕДЕНИЕ

ГЛАВА 1. Синтез топологии специализированных БИС на основе БМК

1.1 Специализированные типы интегральных схем в радиоэлектронной аппаратуре

1.2 Особенности конструкции аналого-цифрового БМК с одним слоем металлизации

1.3 Математические модели и методы решения задачи размещения элементов

1.4 Математические модели и методы решения задачи трассировки соединений

1.5 Содержательное описание задачи синтеза топологии специализированных БИС

1.6 Выводы

ГЛАВА 2. Математическая модель, постановка оптимизационной задачи размещения элементов, алгоритмы решения

2.1 Общая математическая модель и постановка оптимизационной задачи размещения элементов при проектировании БИС на основе БМК

2.1.1 Исходные параметры математической модели

2.1.1 Задача минимизации суммарной длины соединений

2.2 Алгоритм решения задачи размещения элементов при проектировании БИС на основе БМК

2.2.1 Поэтапная схема решения задачи размещения

2.2.2 Компоновка элементов схемы по столбцам

2.2.3 Размещение столбцов с минимизацией транзитных связей

2.2.4 Методика оценки качества линейного размещения

2.2.5 Многокритериальная задача линейного размещения

2.2.6 Гибридный метод решения задачи

2.2.7 Особенности генетического алгоритма

2.2.7 Итерационный алгоритм улучшения решений

2.3 Выводы

ГЛАВА 3 Математическая модель, постановка оптимизационной задачи трассировки, алгоритмы решения

3.1 Общая математическая модель и постановка оптимизационной задачи трассировки элементов при проектировании БИС на основе БМК

3.2 Графовая модель коммутационного пространства и алгоритм трассировки соединений БИС

3.3 Декомпозиция КП и его гиперграфовая модель

3.4 Алгоритм трассировки соединений на гиперграфовой модели

3.4.1 Выбор контактной площадки

3.4.2 Поиск маршрута на гиперграфовой модели

3.4.3 Модификация структуры гиперграфовой модели коммутационного поля и пересчёт пропускных способностей

3.4.4 Микротрассировка

3.5 Многопроходные схемы трассировки

3.6 Выводы

ГЛАВА 4 Диалоговая программная система «Синтез» решения задачи синтеза топологии специализированных БИС

4.1. Архитектура программной системы решения задачи синтеза топологии

4.2. Типовые сценарии работы программной системы «Синтез»

4.3. Выводы

ГЛАВА 5 Практическое применение программной системы «Синтез» в сквозном маршруте проектирования

5.1 Взаимодействие ПС «Синтез» с САПР Cadence

5.2 Подготовка исходных данных для работы программной системы «Синтез»

5.3 Решение задачи проектирования специализированной БИС с использованием программной системы «Синтез»

5.4 Выводы

Выводы и заключение

Список литературы

ПРИЛОЖЕНИЕ 1

ПРИЛОЖЕНИЕ 2

Перечень условных сокращений

DEF — Design Exchange Format, известный формат обмена проектами,

который используется САПР различных фирм (в том числе

Cadence Design Systems, Synopsys)

GDSII — двоичный промышленный формат, представляющий данные о

топологической информации в иерархическом виде LEF — Library Exchange Format — известный формат обмена

библиотеками, который используется САПР различных фирм

(в том числе Cadence Design Systems, Synopsys)

PEF — текстовый формат собственной разработки, содержащий

информацию о поликремниевых перемычках на кристалле Verilog — язык описания аппаратуры

АРП — аналоговое рабочее поле

БИС — большая интегральная схема

БМК — базовый матричный кристалл

ВКП — внешняя контактная площадка

ДРП — дискретное рабочее поле

ИО — информационное обеспечение

КП — коммутационное поле

КТО — конструкторско-технологические ограничения

НЖМД — накопитель на жёстком магнитном диске

ОС — операционная система

ПЛМ — программируемая логическая матрица

ПО — программное обеспечение

ПС — программная система

САПР — система автоматизированного проектирования

СБИС — сверхбольшая интегральная схема

ТЗ — техническое задание

Введение диссертации (часть автореферата) на тему «Разработка автоматизированной системы синтеза топологии специализированных больших интегральных схем»

ВВЕДЕНИЕ

Актуальность

Процесс изготовления больших интегральных схем (БИС) состоит из нескольких сотен сложных операций, вследствие чего даже при высоком выходе годных на каждой стадии процесса общий процент выхода годных изделий (от стадии обработки сырья до стадии готового изделия) остаётся довольно низким [47,70].

Для аналоговой и аналого-цифровой техники (микросборки и пр.), функциональных устройств микроэлектроники, то есть устройств с существенно нерегулярной структурой и, в особенности, с однослойной коммутацией, существующие конструкторские САПР либо недостаточно эффективны, либо вообще не пригодны. Так ни один из модулей трассировки коммерческих современных САПР (в том числе и ведущих фирм Cadence Design Systems, Mentor Graphics, Synopsys) не позволяет осуществлять разводку соединений БИС на БМК с однослойной коммутацией с поликремниевыми перемычками. Это связано с тем, что все современные САПР ориентированы на заказные схемы, выполняемые по технологии с несколькими слоями металлизации. В частности, современный программный модуль автоматизированной трассировки SoC Encounter одной из ведущих западных фирм Cadence Design Systems может учитывать различные антенные эффекты в проводниках, возникающие наводки на соседних трассах, и ряд других физических эффектов, появляющихся при использовании субмикронных технологий, но не рассчитан на однослойную трассировку.

Актуальность БИС на основе БМК с однослойной коммутацией до сих пор остаётся высокой. Это обуславливается тем, что для разработки проекта БИС на основе такого БМК достаточно спроектировать и изготовить только один фотошаблон переменного слоя металлизации (при условии что сам БМК уже сформирован). Это повышает качество и уменьшает стоимость разработки.

Одной из разработок последних лет являются структурированные БМК [107, 108, 110, 111]. В отличие от классического БМК, структурированный БМК состоит из предопределённых логических ячеек и

конфигурируемых ячеек памяти в форме массивов. Каждая из логических ячеек содержит комбинационную логику, управляемую пользователем, для создания сумматоров, мультиплексоров, триггеров и так далее. Структурированные БМК могут включать цепи синхронизации, встроенные IP-компоненты и тому подобное. Фактически, структурированные БМК содержат уже реализованные функциональные элементы более высокого уровня сложности, чем классический БМК [102, 116, 118, 119, 121, 122].

Таким образом, структурированные БМК предлагают производительность, потребление энергии и цену конечного продукта БИС наряду с короткими сроками разработки ПЛИС. Западные разработчики считают, что подобный тип ИС может вытеснить ПЛИС в качестве предварительного этапа отработки схем [105, 106, 109].

Слои, в которых реализованы данные функциональные элементы, являются фиксированными для БМК. Неопределёнными остаются несколько верхних слоев (от одного до трёх). С их помощью определяются межсоединения проекта. Таким образом, современный структурированный БМК может выполняться по технологии с одним слоем металлизации, используя фиксированные участки первого слоя для реализации пересечений.

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

Большой вклад в разработку методов и систем автоматизированного проектирования внесли работы учёных Абрайтиса Л. Б., Анисимова В. И., Базилевича Р. П., Батищева Д. И., Бершадского А. М., Герасимова И. В., Дмитревича Г. Д., Курейчика В. М., Львовича А. Я., Норенкова И. П. и других российских и зарубежных специалистов.

Цель и задачи исследований

Целью работы является постановка, формализация и типизация проектных процедур размещения элементов и трассировки связей

специализированных БИС на основе аналого-цифрового БМК, имеющих нерегулярную структуру и изготавливаемых по технологии с одним слоем коммутации и с фиксированными вставками поликремния в качестве второго слоя трассировки.

Для достижения поставленной цели решались следующие задачи:

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

2. Исследование и разработка алгоритмов решения задачи размещения элементов;

3. Разработка алгоритма трассировки, основанного на новой модели коммутационного поля;

4. Разработка программной системы, позволяющей выполнять синтез топологии однослойных БИС на основе БМК (в том числе обладающих нерегулярной структурой).

5. Разработка маршрута проектирования БИС на основе аналого-цифрового БМК с применением программной системы синтеза топологии.

Научная новизна работы

Научная новизна работы заключается в следующем:

1. Разработана модель монтажного пространства для задачи размещения элементов, учитывающая не только связи между элементами, но и топологические особенности кристалла (поликремниевые перемычки, столбцы посадочных мест);

2. Разработана гиперграфовая модель коммутационного пространства (КП) для задачи трассировки соединений, которая, в отличие от классических моделей, содержит не только информацию о топологических особенностях кристалла, но и информацию об «узких местах» КП;

3. Разработан многоэтапный алгоритм размещения элементов,

основанный на декомпозиции исходной задачи (компоновка элементов в группы, относительное размещение групп, размещение каждого элемента), учитывающий на каждом этапе ограничения модели и оптимизирующий основной критерий задачи;

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

5 Разработан алгоритм локальной трассировки, основанный на графовой модели КП, который осуществляет разводку трасс внутри макродискретов.

Основные положения, выносимые на защиту

1. Математическая модель, алгоритм размещения, основанный на декомпозиции задачи;

2. Математическая модель, алгоритмы трассировки, основанные на графовых моделях коммутационного пространства;

3. Программная система синтеза топологии (ПС «Синтез»);

4. Сквозной маршрут проектирования аналого-цифровых БИС на основе БМК с одним слоем коммутации.

Практическая ценность работы

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

Достоверность результатов

Диссертация подготовлена на кафедре систем автоматизированного проектирования в федеральном государственном бюджетном образовательном учреждении высшего профессионального образования «Санкт-Петербургский

государственный электротехнический университет «ЛЭТИ» им. В. И. Ульянова (Ленина)» в обеспечение опытно-конструкторской работы «Разработка аналого-цифрового БМК для применения в технических средствах защиты» (шифр «БИС-АБМК»), выполняемой во ФГУП «ФНПЦ НИИИС им. Ю. Е. Седакова». Достоверность разработанных алгоритмов и методов подтверждается работоспособными образцами трёх проектов, разработанными с помощью ПС «Синтез».

Апробация работы

Научные результаты докладывались и обсуждались на следующих семинарах и научных конференциях:

1. 7-ая Нижегородская сессия молодых учёных (Н. Новгород, 2002 г);

2. Всероссийская научно-техническая конференция «Информационные системы и технологии ИСТ-2004» и «ИСТ-2008» (Н. Новгород, 2004, 2008 г);

3. IV и VI международная научно-техническая конференция «Будущее технической науки» (Н. Новгород, 2005, 2007 г);

4. Всероссийская конференция «Технологии Microsoft в теории и практике программирования» (Н. Новгород, 2006 г);

5. Научно-техническая конференция «Высокие технологии атомной отрасли. Молодёжь в инновационном процессе» (Н. Новгород, 2011, 2012 г);

6. Семинары кафедры информатики и автоматизации научных исследований факультета ВМК ННГУ (Н. Новгород, 2007 - 2012 гг).

7. XIX международная конференция «Современное образование: содержание, технологии, качество» (Санкт-Петербург, 2013 г).

Внедрение результатов работы

Разработанная система проектирования топологии БИС на основе аналого-цифрового БМК внедрена во ФГУП «ФНПЦ НИИИС им. Ю. Е. Седакова» (см. приложение 1 — акт внедрения разработанной системы).

Результаты работы внедрены в учебный процесс факультета

вычислительной математики и кибернетики при преподавании специального курса «Автоматизация проектирования цифровых микроэлектронных устройств» в ННГУ им. Н. И. Лобачевского [69] (см. приложение 2 — акт внедрения в учебный процесс).

Основные результаты диссертации отражены в 17 печатных работах [13, 14, 15, 16, 17, 18, 19, 20, 26, 27, 36, 69, 88,91,92, 95, 96], в том числе 5 работ— в изданиях, рекомендованных ВАК к опубликованию основных научных результатов диссертаций на соискание учёных степеней доктора и кандидата наук [26, 36, 91, 95, 96], 10 работ — в материалах конференций [13, 14, 15, 16, 17, 18, 19, 20, 88, 92], 2 — учебно-методические пособия [27, 69].

Структура и объём работы

Работа состоит из введения, пяти глав, заключения, списка литературы и приложений. Основное содержание изложено на 144 страницах машинописного теста и иллюстрировано 39 рисунками. Список литературы состоит из 122 наименований.

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

В первой главе рассматриваются специализированные типы интегральных схем в радиоэлектронной аппаратуре, исследуются особенности конструкции аналого-цифрового БМК с одним слоем металлизации.

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

В третьей главе ставится задача трассировки соединений устройств с однослойной коммутацией. Описывается гиперграфовая модель

коммутационного пространства, приводятся алгоритмы трассировки, использующие графовые и гиперграфовые модели.

В четвёртой главе рассмотрены особенности программной реализации системы синтеза топологии. Описана архитектура системы, рассмотрены особенности программной реализации компонентов системы, а также описаны типовые сценарии работы программной системы «Синтез».

В пятой главе приведено описание применения разработанной системы синтеза топологии в сквозном маршруте проектирования БИС на основе аналого-цифрового БМК. Описывается процесс создания исходных данных для работы системы, процесс решения задачи синтеза топологии, экспорт данных из системы. Приведён практический пример проектирования.

В заключении приведены основные результаты и выводы по работе.

Автор выражает глубокую благодарность д. т. н. профессору Батищеву Д. И. за оказание практической помощи на всех этапах выполнения работы. Автор выражает признательность профессору ННГУ д. т. н. Прилуцкому М. X. и доценту к. т. н. Старостину Н. В. за постоянную поддержку, советы и замечания, сделанные в ходе работы над диссертацией, а также коллегам, оказавшим помощь в реализации методов и алгоритмов, создании программного и информационного обеспечения САПР.

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Балашов, Вадим Владимирович

Выводы и заключение

В работе поставлены, формализованы и типизированы проектные процедуры размещения элементов и трассировки связей специализированных БИС на основе аналого-цифрового БМК, имеющих нерегулярную структуру и изготавливаемых по технологии с одним слоем коммутации и с фиксированными вставками поликремния в качестве второго слоя трассировки.

В результате были решены следующие задачи:

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

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

3. Разработаны алгоритмы трассировки соединений, основанные на гиперграфовой модели коммутационного пространства.

4. Разработана программная система, позволяющая выполнять синтез топологии (автоматизированное размещение элементов и автоматизированную трассировку связей) однослойных БИС на основе БМК, в том числе обладающих нерегулярной структурой. Помимо автоматизированного режима система позволяет осуществлять ручную корректировку топологии разрабатываемого проекта. Система работает на этапе синтеза топологии в сквозном маршруте проектирования, построенном на модулях фирмы Cadence Design Systems. Совместимость системы с модулями Cadence достигается за счёт использования входных и выходных файлов в форматах LEF и DEF. Поскольку данные файлы имеют текстовый формат, это позволяет осуществлять настройку на любую конфигурацию кристалла и любой библиотечный базис. Разработанная ПС «Синтез» может использоваться как на этапе трассировки соединений, так и полностью выполнять синтез топологии, решая задачи размещения элементов проекта и прокладки трасс.

5. Разработан сквозной маршрут проектирования аналого-цифровых БИС на основе БМК с одним слоем коммутации. Для обеспечения этапа синтеза топологии был разработан комплект информационного обеспечения САПР, описывающий, аналого-цифровой БМК. В дополнение к существующим форматам был разработан собственный формат представления данных о поликремниевых перемычках — текстовый формат РЕК

Выполнена апробация системы на трёх проектах БИС на основе аналого-цифрового БМК (КМОП-технология на объёмном кремнии с проектными нормами 2,6 мкм), разработанных в рамках ОКР «БИС-АБМК». Полученные положительные результаты позволяют сделать вывод о корректности разработанных алгоритмов и работы системы в целом.

Список литературы диссертационного исследования кандидат технических наук Балашов, Вадим Владимирович, 2013 год

Список литературы

1. Абрайтис Л. Б. Автоматизация проектирования топологии цифровых интегральных микросхем. М.: Радио и связь, 1985. 200 с.

2. Автоматизированное конструирование монтажных плат РЭА: Справ, специалиста / А. Т. Абрамов [и др.]; Под ред. Л.П. Рябова. М.: Радио и связь, 1986. 192 с.

3. Аванесов Ю. В. [и др.] Синтез топологии квазирегулярных структур в фиксированном базисе библиотечных элементов // Электронная техника. Сер. 3 — Микроэлектроника. 1989. №2 (131). С. 30-32.

4. Авдеев Е. В., Раджабов С. Г. Методика тополого-схемотехнической экстракции паразитных ЯС-параметров межсоединений в САПР ИМС // Информационные технологии. 2002. № 5. С. 20-24.

5. Адамов Ю. Ф. [и др.] Параметризация и верификация аналоговых блоков для «систем на кристалле» при смене технологии / Адамов Ю. Ф., Губин Я. С., Кокин С. А., Макаров С. В., Сомов О. А. // Нано- и микросистемная техника. 2005. № 12. С. 37-39.

6. Диалоговые системы схемотехнического проектирования / В. И. Анисимов [и др.]. М.: Радио и связь, 1988 . 288 с.

7. Анисимов Д. А. Методы построения систем автоматизации схемотехнического проектирования на основе веб-сервисов // Известия СПбГЭТУ «ЛЭТИ» 2012. № 10. СПб.: Изд-во СПбГЭТУ «ЛЭТИ». С. 56-61.

8. Анисимов Д. А., Гридин В. Н., Дмитревич Г. Д. Построение систем автоматизированного проектирования на основе \УеЬ-интерфейсов // Автоматизация в промышленности. 2011. № 1. С. 9-12.

9. Астафьев В. Р., Марченко А. М., Щемилин В. М. Трассировка коммутационных областей специального вида // Электронная техника. Сер. 3 — Микроэлектроника. 1989. №2 (131). С. 44-46.

10. Базилевич Р. П. Алгоритмические методы гибкой трассировки межсоединений: Препринт-79-6 / АН УССР. Институт кибернетики. Киев, 1979. 51 с.

11. Базилевич Р. П. Декомпозиционные и топологические методы автоматизированного конструирования электронных устройств. Львов: Вища школа. Изд-во при Львов, ун-те, 1981. 168 с.

12. Базилевич Р. П., Ясеницкий О. 3. Модели топологии в алгоритмах гибкой трассировки // Электронная техника. Сер. 10 — Микроэлектронные устройства. 1978. №2 (8). С. 29-35.

13. Балашов В. В., Старостин Н. В. Алгоритм разбиения коммутационного поля минимальными разрезами // Технологии Microsoft в теории и практике программирования: Материалы областной конф. Н. Новгород, 2006. С. 28-29.

14. Балашов В. В. Алгоритмы распространения волны по макродискретам // Будущее технической науки: Тез. докл. IV междунар. науч.-технич. конф. Н. Новгород, 2005. С. 37.

15. Балашов В. В. Разработка алгоритма автоматизированного размещения элементов для БМК с нерегулярной структурой // Будущее технической науки: Тез. докл. VI междунар. молодёжная науч.-технич. конф. Н. Новгород, 2007. С. 67-68.

16. Балашов В. В. Применение автоматизированной системы проектирования специализированных БИС в образовательном процессе [Текст] / Балашов В. В. // Материалы XIX международной конференции «Современное образование: содержание, технологии, качество». Том 1. СПб., СПбГЭТУ, 2013. С. 144-145.

17. Балашов В. В. Применение генетических алгоритмов для решения задачи размещения элементов БИС // Информационные системы и технологии ИСТ-2008: Тез. докл. междунар. науч.-технич. конф. Н. Новгород, 2008. С. 182.

18. Прокладка соединений специализированных БИС на основе псевдотрассировки и эволюционно-генетического поиска / Балашов [и др.] // Высокие технологии атомной отрасли. Молодёжь в инновационном процессе: Тез. докл. отраслевой науч.-технич. конф. Н. Новгород, 2011. С. 192-195.

19. Балашов В. В. Разработка и внедрение современных методов

проектирования БИС // VII Нижегородская сессия молодых учёных: Тез. докл. Н. Новгород, 2002. С. 86-88.

20. Балашов В. В., Власов С. Е. Разработка информационного обеспечения сквозного маршрута проектирования микроэлектронной аппаратуры // Информационные системы и технологии ИСТ-2004: Тез. докл. всероссийской науч.-технич. конф. Н. Новгород, 2004. С. 90-91.

21. Основные вопросы разработки САПР БИС для РЭА / Б. В. Баталов [и др.] // Микроэлектроника (М.). 1987. Т. 16, Вып. 2. С. 176-180.

22. Батищев Д. И. Генетические алгоритмы решения экстремальных задач: Учебное пособие / Под ред. Я. Е. Львовича. Воронеж: Воронеж, гос. техн. ун-т; Нижегородский гос. ун-т, 1995. 69 с.

23. Батищев Д. И., Власов С. Е., Морозов В. Ф. Геометрический подход к трассировке соединений нерегулярных структур // Опыт разработки и применения приборно-технологических САПР микроэлектроники: Тез. докл. областной конф. Львов, 1995. С. 13-14.

24. Батищев Д. И., Старостин Н. В. Гибридный подход к решению экстремальных задач на графовых структурах // Известия СПбГЭТУ «ЛЭТИ». Информатика, управление и компьютерные технологии. 2002. Вып. 3. С. 10-17.

25. Батищев Д. И., Старостин Н. В., Филимонов А. В. Двухуровневая эволюционно-генетическая трассировка электрических цепей на графовой модели // Проблемы разработки перспективных микро- и наноэлектронных систем: Сб. науч. тр. / Под общ. ред. А. Л. Стемпковского. — М.: ИППМ РАН, 2008. С. 61-64.

26. Батищев Д. И., Власов С. Е., Балашов В. В. Исследование методов автоматизированной трассировки однослойных структур // Известия Государственного электротехнического универститета. Сер. Информатика, управление и компьютерные технологии. 2005. Вып. 1. С. 40-44.

27. Батищев Д. И., Власов С. Е., Старостин Н. В., Филимонов А. В., Балашов В. В. Математические модели, задачи и алгоритмы синтеза топологии специализированных интегральных схем: Учебно-методическое пособие. Н. Новгород: ННГУ, 2010. 72 с.

28. Батищев Д. И., Старостин Н. В., Филимонов А. В. Многоуровневая декомпозиция гиперграфовых структур // Информационные технологии. 2008. № 5 (141), прилож. к журналу. С. 1-32.

29. Батищев Д. И., Старостин Н. В., Филимонов А. В. Многоуровневый генетический алгоритм решения задачи декомпозиции гиперграфа // Известия СПбГЭТУ «ЛЭТИ». Информатика управление и компьютерные технологии, 2007. Вып. 2. С. 3-14.

30. Новый подход к представлению гиперграфовых структур / Д. И. Батищев [и др.] // Вестник ВГАВТ. Межвузовская серия — Моделирование и оптимизация сложных систем, 2005. Вып. 14. С. 67-78.

31. Батищев Д. И., Львович Я. Е., Фролов В. Н. Оптимизация в САПР: Учебник. Воронеж: Изд-во Воронеж, гос. университета, 1997. 416 с.

32. Батищев Д. И., Старостин Н. В. Полезные модификации генетического алгоритма на примере задач декомпозиции графов // VI Междунар. конгресс по математическому моделированию: Тез. докл. Н. Новгород, 2004. С. 349.

33. Батищев Д. И., Старостин Н. В. Построение тестовых задач с учётом специфики графовых моделей // КОГРАФ 2001: Тез. докл. 11-ой междунар. научно-практической конф. по графическим информационным технологиям и системам. Н. Новгород, 2001. С. 20-22.

34. Батищев Д. И., Неймарк Е. А., Старостин Н. В. Применение генетических алгоритмов к решению задач дискретной оптимизации: Учебное пособие. Н. Новгород: ННГУ,2006. 136 с.

35. Батищев Д. И., Клочков Д. П. Размещение элементов как задача многокритериальной оптимизации // Опыт разработки и применения приборно-технологических САПР: Тез. докл. междунар. школы-семинара. Львов, 1991. С. 20-21.

36. Батищев Д. И., Власов С. Е., Балашов В. В. Разработка алгоритмов распространения волны по макродискретам для однослойных структур // Известия Государственного электротехнического универститета. Сер. Информатика, управление и компьютерные технологии. 2006. Вып. 1.

С. 17-21.

37. Батищев Д. И., Старостин Н. В. Способы повышения эффективности генетического поиска оптимального ^-разбиения графа // Прикладные задачи моделирования и оптимизации: Межвузовский сб. науч. тр. Воронеж, 2000. Часть 2. С. 4-17.

38. Беляев А. А. Проблемы применения принципа параллелизма в архитектуре сигнальных процессоров // Оборонный комплекс -научно-техническому прогрессу России. М.: ФГУП «ВИМИ», 2011. № 3. С. 31-35.

39. Беляев А. А. Теория, разработка и создание проблемно-ориентированных процессорных ядер с оптимальным вычислительным конвейером и многоядерных сигнальных процессоров на их основе: дис. ... д-ра техн. наук: 05.13.05. М., 2012.

40. Березин В. В., Фахми Ш. С. Проектирование устройств обработки сигналов на основе технологии «система на кристалле» // СПб.: СПбГЭТУ «ЛЭТИ», 2005. 144 с.

41. Бершадский А. М. Автоматизация конструкторского проектирования электронно-вычислительной и радиоэлектронной аппаратуры: Учебное пособие. Пенза: Пензенский политехнический институт, 1977. 80 с.

42. Бершадский А. М. Задачи и методы адаптации в системах автоматизации конструкторского проектирования РЭА // Изв. ВУЗов. Радиоэлектроника. 1988. Т. 31, вып. 6. С. 10-14.

43. Бершадский А. М., Финогеев А. Г., Карпаков С. С. Инструментальные средства интеллектуальной поддержки синтеза топологии СБИС //Интеллектуальные САПР: Сб. Таганрог: ТРТИ, 1994. С. 24-27.

44. Брусникин Г. Н., Замордуев С. А., Лошаков В. Н. Иерархическое проектирование топологии на основе автоинтерактивного планирования кристалла в САПР СБИС // Электронная техника. Сер. 3 — Микроэлектроника. 1989. №2 (131). С. 32-38.

45. Бутов А. С., Голубенко Н. Ю. Детальная трассировка соединений в системе РИТМ-1 // Электронная техника. Сер. 10 — Микроэлектронные

устройства. 1989. №2. С. 27-30.

46. Вавринюк Ю. Р., Гресько Ю. М., Ткаченко С. П. Трассировка ГИС на макромодели нерегулярного рабочего поля // Опыт разработки и применения приборно-технологических САПР: Тез. докл. областной школы-семинара. Львов, 1991. С. 29-30.

47. Проектирование СБИС / М. Ватанабэ [и др.]; Пер. с япон. М.: Мир, 1988.304 с.

48. Власов И. А., Заполоцкий Д. Е. Повышение эффективности ортогональной трассировки двухсторонних 1111 // Управляющие системы и машины. 1991. № 3. С. 29-31.

49. Власов С. Е. Построение макродискретного рабочего поля для реализации трассировки межсоединений // Оптимизация и моделирование в автоматизированных системах: Межвуз. сб. науч. трудов. Воронеж, 1995. С. 60-62.

50. Власов С. Е. Разработка системы проектирования гибких полиимидных носителей на базе геометрических методов трассировки: дис. ... канд. техн. наук: 05.13.12. Н. Новгород, 1995. 155 с.

51. Власов С. Е. Эффективный алгоритм трассировки для структур с однослойной коммутацией // Вопросы атомной науки и техники. (М.), 1993. № 1. С. 29-31.

52. Гаврилов С. В., Дьяков Ю. Н. Алгоритмы трассировки в кремниевом компиляторе // Электронная техника. Сер. 3 — Микроэлектроника. 1989. №2(131). С. 52-53.

53. Герасимов И. В., Кузьмин С. А., Лозовой Л. Н. Компьютерные информационные технологии в контексте автоматизации проектирования изделий электроники // Известия СПбГЭТУ «ЛЭТИ». Информатика, управление и компьютерные технологии. 2010. Вып. 9. С. 39-46.

54. Герасимов И. В., Кузьмин С. А., Лозовой Л. Н., Никитин А. В. Основания технологии комплементарного проектирования наукоёмких изделий / Под ред. И. В. Герасимова и А. В. Никитина. СПб.: Изд-во СПбГЭТУ «ЛЭТИ», 2010. 196 с.

55. Герасимов И. В., Сафьянников Н. М., Якимовский Д. О. Сложно-функциональные блоки смешанных систем на кристалле: автоматизация функционального проектирования: Монография / под ред. И. В. Герасимова. // СПб.: Изд-во «ЭЛМОР», 2012. 237 с.

56. Глориозов Е. Л., Царев М. В., Шевченко И. Н. Структурный синтез полупроводниковых приборов. Возможен ли он? // Автоматизация проектирования в радиоэлектронике и вычислительной технике: Материалы межвузовского семинара. М.: МДНТП, 1987. С. 134-137.

57. Голыптейн Е. Г., Юдин Д. Б. Задачи линейного программирования транспортного типа. М.: Наука, 1969. 382 с.

58. Гридин В. Н., Дмитревич Г. Д., Анисимов Д. А. Построение систем автоматизированного проектирования на основе Web-интерфейсов // Информационные технологии. 2011. № 5. С. 23-27.

59. Дмитриевич Г. Д. Методическое обеспечение учебно-исследовательской САПР радиоэлектронных схем. // Системы автоматизированного проектирования и обучения: Межвузовский сб. науч. тр. Иваново, 1987. С. 141-145.

60. Иванов А. Среда проектирования компании Cadence. Общий обзор // Электроника: Наука, Технология, Бизнес. 2003. № 5. С. 101-103.

61. Автоматизация схемотехнического проектирования: Учебное пособие для вузов / В. Н. Ильин [и др.]; Под ред. В. Н. Ильина. М.: Радио и связь, 1987. 368 с.

62. Казеннов Г. Г., Щемелинин В. М. Автоматизация проектирования БИС. В 6 кн.: Практическое пособие / Под ред. Г. Г. Казеннова. М.: Высшая школа, 1990. Кн. 4 — Топологическое проектирование нерегулярных БИС. 110с.

63. Казеннов Г. Г., Сердобинцев Е. В. Автоматизация проектирования БИС. В 6 кн.: Практическое пособие / под ред. Г. Г. Казеннова. М.: Высшая школа, 1990. Кн. 6 — Проектирование топологии матричных БИС. 112 с.

64. Казеннов Г. Г., Марченко А. М., Щемилин В. М. Автоматический синтез топологии заказных БИС // Электронная техника. Сер. 3 —

Микроэлектронные устройства. 1989. №2 (131). С. 6-10.

65. Казеннов Г. Г., Соколов А. Г. Основы построения САПР и АСТПП: Учебник для техникумов по спец. электр.-выч. техники. М.: Высшая школа, 1989. 200 с.

66. Автоматизация проектирования вычислительных структур / А. В. Каляев [и др.]. Ростов: Изд-во Ростовского ун-та, 1983. 224 с.

67. Киркилевич Ю. Д., Маркаров Ю. К. Применение комбинированного дискретного рабочего поля для трассировки плат с повышенной плотностью // Обмен производственно-техническим опытом. 1990. № 5-6. С. 29-31.

68. Корячко В. П., Курейчик В. М., Норенков И. П. Теоретические основы САПР: Учебник для вузов. М.: Энергоатомиздат, 1987. 400 с.

69. Костюков В. Е., Власов С. Е., Балашов В. В. Автоматизация проектирования цифровых микроэлектронных устройств: Методическое пособие. Н. Новгород: ННГУ, 2004. 32 с.

70. Ку Э. С., Оцуки Т. Последние достижения в проектировании топологии СБИС // ТИИЭР. 1990. Т. 78, № 2. С. 6-37.

71. Курейчик В. М., Калашников В. А., Изаксон Д. X. Построение модели платы при двухслойной трассировке // Электронная техника. Сер. 10 — Микроэлектронные устройства. 1978. №2 (8). С. 67-74.

72. Проектирование монтажных плат на ЭВМ / В. М. Курейчик [и др.]; Под ред. К. К. Морозова. М.: Советское радио, 1979. 224 с.

73. Лазарев А. В., Шепелев В. А. Предметная область и модели фрагментов для автоинтерактивного иерархиического синтеза топологии СБИС // Электронная техника. Сер. 3 — Микроэлектроника. 1989. №2 (131). С. 14-23.

74. Лебедев Б. К. Адаптация в САПР. — Таганрог: Изд-во ТРТУ, 1999.

160 с.

75. Лебедев Б. К. Адаптивный алгоритм разбиения // Информационные технологии. 2002. № 4. С. 32-37.

76. Лобзов С. Н. Марданов Р. Ф. Объектно-ориентированный подход при разработке САПР радиоэлектронных устройств // Управляющие системы и

машины. 1994. № 3. С. 72-76.

77. Автоматизация проектирования матричных КМОП БИС / А. В. Назаров [и др.]; Под ред. А. В. Фомина. М.: Радио и связь, 1991. 256 с.

78. Норенков И. П. Основы автоматизированного проектирования: Учебник для вузов. 2-е изд., перераб. и доп. М.: МГТУ, 2002. 336 с.

79. Норенков И. П. САПР: Системы автоматизированного проектирования: Учебное пособие для втузов; В 9 кн. М.: Высшая школа, 1987. Кн. 1 — Принципы построения и структура. 123 с.

80. Автоматизированное проектирование СБИС на базовых кристаллах/ А. И. Петренко [и др.]. М.: Радио и связь, 1988. 160 с.

81. Петренко А. И., Тетельбаум А. Я. Формальное конструирование электронно-вычислительной аппаратуры. М.: Советское радио, 1979. 256 с. (Библ. радиоконструктора).

82. Петухов Г. А., Смолич Г. Г., Юлин Б. И. Алгоритмические методы конструкторского проектирования узлов с печатным монтажом. М.: Радио и связь, 1987. 152 с.

83. Пономарёв М. Ф., Коноплёв Б. Г. Микроэлектроника: Учебное пособие для втузов; В 9 кн. / Под ред. Л. А. Коледова. М.: Высшая школа, 1987. Кн. 3 — Базовые матричные кристаллы и программируемые логические матрицы. 94 с.

84. Рубцов В.П., Захаров В. П., Жижко В. А. Автоматизация проектирования больших интегральных схем. Киев: Техшка, 1980. 230 с.

85. Савельев А. Я., Овчинников В. А. Конструирование ЭВМ и систем: Учебник для вузов. 2-е изд., перераб. и доп. М.: Высшая школа, 1989. 312 с.

86. Сердобинцев Е. В., Сорока Д. В., Тихонов А. И. Математическая модель и алгоритм трассировки канала с одним переменным слоем коммутации // Электронная техника. Сер. 3 — Микроэлектроника. 1989. №2. С. 41-44.

87. Сидоркина И. Г., Бикус Т. Е. Теория автоматизированного топологического проектирования: Учебное пособие. 2-е изд., доп. Йошкар-Ола: МарГТУ,2001. 180 с.

88. Сорокин А. Н., Михайлов А. С., Балашов В. В. Разработка маршрута аналого-цифрового моделирования // Высокие технологии атомной отрасли. Молодёжь в инновационном процессе: Тез. докл. отраслевой науч.-технич. конф. Н. Новгород, 2012. С. 120-123.

89. Старостин Н. В., Филимонов А. В. Аспекты программной реализации гиперграфов // Труды Нижегородского гос. техн. ун-та. Информационные технологии. 2005. Том 56. С. 80-89.

90. Старостин Н. В. Влияние локальной адаптации на сходимость генетического алгоритма // Интеллектуальные информационные системы: Тез. докл. всероссийской конф. Воронеж, 1999. С. 17-18.

91. Старостин Н. В., Балашов В. В. Использование гиперграфов для решения задачи ортогональной трассировки БИС с нерегулярной структурой // Радиотехника и электроника. 2008. Т. 53, № 5. С. 618-623.

92. Старостин Н. В., Балашов В. В. Использование гиперграфовой модели для гибкой трассировки соединений специализированных БИС // Вестник Нижегородского ун-та им. Н. И. Лобачевского. Математическое моделирование и оптимальное управление. 2007. № 6. С. 134-139.

93. Старостин Н. В., Филимонов А. В. Многоуровневый подход к решению задач декомпозиции гиперграфов большой размерности // Информационные системы и технологии ИСТ-2005: Тез. докл. всероссийской научно-технической конф. Н. Новгород, 2005. С. 118-119.

94. Старостин Н. В. Разработка и исследование гибридных методов решения задач проектирования систем и устройств информатики, моделируемых графовыми моделями: дис. ... канд. техн. наук: 05.13.17. Н. Новгород, 2001. 146 с.

95. Старостин Н. В., Филимонов А. В., Балашов В. В. Решение задачи размещения элементов специализированных БИС на основе БМК // Системы управления и информационные технологии. 2009. № 2.1 (36). С. 189-194.

96. Старостин Н. В., Филимонов А. В., Балашов В. В. Эволюционно-генетический алгоритм линейного размещения цифровых элементов интегральных схем // Системы управления и информационные

технологии. 2009. №1 (35). С. 64-68.

97. Старостин Н. В. Эволюционно-генетический подход для решения экстремальных задач на графах // Вычислительная математика и кибернетика 2000: Тез. докл. областной конф. посвящ. 80-летию Ю. И. Неймарка. Н. Новгород, 2000. С. 64.

98. Стемпковский A. JL, Шепелев В. А. Методология автоинтерактивного иерархического синтеза топологии СБИС // Электронная техника. Сер. 3 — Микроэлектроника. 1989. №2 (131). С. 10-13.

99. Быстродействующие матричные БИС и СБИС. Теория и проектирование / Б. Н. Файзулаев [и др.]; Под общей редакцией Б. Н. Файзулаева и И. И. Шагурина. М.: Радио и связь, 1989. 304 с.

100. ФахмиШ. С., ЗубакинИ. А., Шагаров С. С. Аппаратно-программное проектирование сложных функциональных блоков с использованием систем на кристалле // Науч. техн. вестник СПбГУ ИТМО. 2010. № 2 (66). С. 90-98.

101. Фахми Ш. С., Костикова Е. В. Сопряжённое проектирование на базе реконфигурируемых систем на кристалле // Информационно-управляющие системы. 2010. № 3. С. 38-43.

102. Campregher N., Cheung P., Constantinides G. [and others] Yield enhancements of design-specific FPGAs // Proceedings of the internation symposium on Field programmable gate arrays. Monterey, 2006. P. 93-100.

103. Chandraserharam R., Subharamanian S., Chaundhury S. Genetic algorithm for node pardoning problem and application VLSI design // IEEE Proceedings E. (New York). 1993. V. 140, N. 5. P. 255-260.

104. Chatterjee A., Hartley R. Anew simultaneous circuit pardoning and chip placement approach based on simulated annealing // Proceedings of design Automation Conference. New York, 1990. P. 36-39.

105. EuzentB. Structured ASIC for SEU Mitigation of SRAM-based FPGAs // MAPLD International Conference. New York, 2006. P. 17.

106. A methodology for FPGA to structured-ASIC synthesis and verification / M. Hutton [and others] // Proceedings of the conference on Design,

automation and test in Europe: Designers' forum. Munich, 2006. P. 64-69.

107. Design methodology for IC manufacturability based on regular logic-bricks / V. Kheterpal [and others] // Proceedings of the 42nd annual conference on Design automation. Anaheim, 2005. P. 353-358.

108. Architectural implications of brick and mortar silicon manufacturing / M. Kim [and others] // ACM SIGARCH Computer Architecture News (New York). 2007. V. 35, N. 2. P. 244-253.

109. KuonL, TessierR., Rose J. FPGA Architecture: Survey and Challenges // Foundations and Trends in Electronic Design Automation (Hanover). 2008. V. 2, N. 2. P. 135-253.

110. Li M., Tung H., Lai C. Standard Cell Like Via-Configurable Logic Block for Structured ASICs ISVLS archive // Proceedings of the 2008 IEEE Computer Society Annual Symposium on VLSI. New York, 2008. P. 381-386.

111. Okamoto T., Kimoto T., Maeda N. Design methodology and tools for NEC electronics' structured ASIC ISSP // Proceedings of the 2004 international symposium on Physical design. Phoenix, 2004. P. 90-96.

112. Reed J., Sangovanni-Vincentelli A., Santomauro M. A new symbolic channel router: YACR2 // IEEE Trans, on CAD (Orlando). 1985. N 3. P. 208-219.

113. Saab, Rao V. An evolution-based approach to partioning ASIC system // Proceedings of Design Automation Conference. Las Vegas, 1989. P. 767-770.

114. Sherwani N. Algorithms for VLSI phisical design automation. Kluwer academic publishers. London, 1995. P. 538.

115. Song J. N., Chen Y. K. Two-stage channel routing for CMOS gate arrays // IEEE Trans, on Computer-Aided Design (Beijing). 1988. V. 7, N. 4. P. 439-450.

116. Taylor R., Schmit H. Creating a power-aware structured ASIC // Proceedings of the 2004 international symposium on Low power electronics and design. Newport Beach, 2004. P. 74-77.

117. Troitsky D. I., Inozemtsev A. N., Bannatyne M. W. McK Parametric Modelling: Concept and Implementation // Proceedings of the IEEE International

Conference on Information Visualisation. London, 2000. P. 504-509.

118. Wong J., Kourshanfar F., PotkonjakM. Flexible ASIC: shared masking for multiple media processors // Proceedings of the 42nd annual conference on Design automation. Anaheim, 2005. P. 909-914.

119. WuK., TsaiY. Structured ASIC, Evolution or Revolution? // Proceedings of the 2004 International Symposium on Physical Design. Phoenix, 2004. P. 103-106.

120. Yoshimura T., Kuh E. S. Efficient algorithms for channel routing // IEEE Trans, on CAD (New York). 1982. V. 1, N 1. P. 25-32.

121. Zahiri B. Structured ASICs: Opportunities and Challenges // Proceedings of the 21st International Conference on Computer Design. Washington, 2003. P. 404.

122. Zhang T., Sapatnekar S. Buffering global interconnects in structured ASIC design //The VLSI Journal (Amsterdam). 2008. V. 41 N. 2. P. 171-182.