Эйрис Р. Проектирование СБИС. Метод кремниевой компиляции

М.: Наука, 1988. — 456 с. — ISBN 5-02-013790-1.Введение в кремниевую компиляцию — новую перспективную методику автоматического проектирования СБИС (сверхбольших интегральных схем). Излагаются основные понятия и методы, необходимые для создания понимания и эксплуатации систем кремниевой компиляции. Для научных работников, инженеров, аспирантов и студентов в области информатики и вычислительной техники, а также для разработчиков систем автоматизированного проектирования.Предисловие.
Предисловие редактора перевода.
Благодарности.
Введение.
Лэйауты интегральных схем.
Лэйауты интегральных схем и их создание.
Текстовое описание лэйаутов.
Немного о n-МДП технологии.
Основные строительные блоки: "машинный язык" технологии.
Эффективность лэйаутов с кристаллоподобной структурой.
Промежуточное представление. Анализ лэйаутов и другой информации.
Три основных понятия вычислительного процесса.
Типы данных — основа промежуточного представления.
Тип лэйаут (LAYOUT) и вариантные типы.
Геометрические преобразования лэйаутов.
Тип данных "процесс" и обобщение процедуры изображения.
Другие представления лэйаутов.
Интерактивная графика. Еще раз об анализе лэйаутов.
Поведение интегральных схем.
Язык синхронной логики: поведенческое описание.
Обзор языка. Основы семантики.
Формализация языка синхронной логики.
Моделирование синхронной логики.
Реализация синхронной логики при помощи ПЛМ.
Дизъюнктивная форма для выражения типа SIGNAL_EXPR.
Из типа EQUATIONS в тип PLA_LOGIC.
Организованная синхронная логика.
Организованное (или иерархическое) функциональное описание.
Обозначения, применяемые при задании логической ячейки. Тип NAME. Операторы с наборами сигналов и ячеек.
Необходимые и достаточные условия правильности логической ячейки.
Кремниевая компиляция.
Единство лэйаута и логики.
Ячейки лэйаута. Соглашения и формальная запись.
Слияние "односторонних" ячеек.
Краткое описание кремниевого ассемблера и реальной ПЛМ.
Реорганизация логики и ее воздействие на лэйаут.
Оптимизация логической ячейки — удаление "тривиальных" уравнений.
Анализ интерфейса. Применение оператора \STANDARDIZE в процессе обновления.
Операторы редактирования иерархии.
Локализация действия редактирующих операторов.
Усложнение процедуры слияния ячеек. Четырехсторонние ячейки.
Необходимость рассмотрения четырехсторонних ячеек. Межсоединения в динамике.
Соглашения о четырехсторонних ячейках. "Углы".
Общая структура программы для слияния четырехсторонних ячеек.
Оператор трассировки ROUTE.
Оператор CONS. Завершение слияния пары ячеек.
Оператор CELL4. Преобразование логических ячеек LOGIC_CELL в четырехсторонние ячейки лэйаута.
Удовлетворение последнего набора внешних потребностей.
Завершающее размещение контактных площадок.
Электрическое моделирование.
Сопротивление, емкость, время.
Модель электрических островов: тип LOAD.
Логические зависимости: тип NODE.
Модель для тактируемых элементов.
Наращивание электрической модели при состыковке ячеек.
Рекурсивное упрощение электрической модели.
Эпилог.
СПИСОК ЛИТЕРАТУРЫ.
Указатель определений типов.
Указатель определений функций.