Библиографический список

1. Рабаи, Жан М. Цифровые интегральные схемы. Методология проектирования [Текст] / Жан М. Рабаи, Ананта Чандракасан, Боривож Николич. – 2-е изд. – М., 2007. – 905 с.

2. Уилкинсон, Барри Основы проектирования цифровых схем [Текст] : пер. с англ. / Барри Уилкинсон. – М.: Издательский дом “Вильямс”, 2004. – 320 c.

3. Казённов, Г. Г. Основы проектирования интегральных схем и систем [Текст] / Г. Г. Казённов. — М.: БИНОМ. Лаборатория знаний, 2005. — 295 с.

4. Николаев, И. М. Интегральные микросхемы и основы их проектирования [Текст] : учебник для техникумов / И. М. Николаев, Н. А. Филинюк. – 2-е изд., перераб и доп. – М.: Радио и связь, 1992. – 424 с.

5. Красников, Г.Я. Конструктивно-технологические особенности субмикронных МОП-транзисторов [Текст] : в 2-х частях. Ч. 1 / Г.Я. Красников. – М.: Техносфера, 2002. – 416 с.

6. Немудров, В. Системы-на-кристалле. Проектирование и развитие [Текст] / В. Немудров, Г. Мартин. – М.: Техносфера, 2004. - 216 с.

7. Степаненко, И.П. Основы микроэлектроники [Текст] : учеб. пособие для вузов / И.П. Степаненко. – 2-е изд., перераб. и доп. – М.: Лаборатория Базовых Знаний, 2001. – 488 с.

8. Тилл, У. Интегральные схемы: Материалы, приборы, изготовление [Текст] : пер. с англ. / У. Тилл, Дж. Лаксон. – М.: Мир, 1985. – 501 с.

Оглавление

ВВЕДЕНИЕ 3

1. ОБЗОР СОВРЕМЕННОГО СОСТОЯНИЯ СУБМИКРОННОЙ И ГЛУБОКО-СУБМИКРОННОЙ ТЕХНОЛОГИЙ 5

   1. Проектирование цифровых интегральных схем 8

   2. Задачи и методы схемотехнического

моделирования СБИС 14

3. Этапы проектирования СБИС 21

1. ОБЩИЕ ВОПРОСЫ ХАРАКТЕРИЗАЦИИ ЦИФРОВЫХ БИБЛИОТЕК 33

   1. Характеризация логических элементов 33

   2. Характеризация элементов памяти 40

   3. Анализ переходных процессов 44

   4. Описание характеристик ячеек из библиотеки 46

2. ЯЗЫКИ МОДЕЛИРОВАНИЯ ЦИФРОВЫХ

БИБЛИОТЕК 54

1. Обзор средств, существующих в настоящее время 54

   1. Средства проектирования компании

CADENCE 56

1. Системное проектирование 57

2. Аппаратное проектирование и

верификация 59

3. Математическое макетирование 60

4. Топологическое проектирование 61

1. Средства проектирования компании

SYNOPSYS 62

3. Средства проектирования компании

MENTOR GRAPHICS 67

1. Системный уровень 68

2. Уровень регистровых передач 70

3. Логический уровень 71

4. Заказное проектирование аналоговых

и смешанных схем 73

5. Топологическое проектирование 74

1. Краткое описание возможностей SystemC 75

   1. Контекст SystemC 82

   2. Аспекты SystemC 84

      1. Точность моделирования 84

      2. Модели вычислений 86

      3. Функциональное моделирование 87

      4. Моделирование на уровне

транзакций 89

3. Уровень RTL и связь с реализацией 91

4. Верификационные расширения 91

5. SoC-ПРОЕКТИРОВАНИЕ И

ВЕРИФИКАЦИЯ С SystemC 93

1. Построение модели

функционального

виртуального прототипа 93

2. Модели использования FVP 96

3. Создание встроенных программ 96

4. Функциональная верификация 96

5. Анализ FVP с помощью транзакций 98

1. ПРОГРАММЫ ДЛЯ ХАРАКТЕРИЗАЦИИ

ЦИФРОВЫХ БИБЛИОТЕК 98

1. SPICE-подобные программы моделирования 98

2. Интерфейс к пользовательским моделям 104

3. Программная система Charisma 106

1. ХАРАКТЕРИЗАЦИЯ ЦИФРОВОЙ ЯЧЕЙКИ ПО ПОМЕХОУСТОЙЧИВОСТИ 110

   1. Помехоустойчивость цифровых БИС

к воздействию внешних помех 111

2. Устойчивость цепей питания цифровых БИС 114

3. Анализ устойчивости цифровых БИС к

воздействию внутренних помех 115

4. Влияние помех в шинах питания на входы БИС 120

5. Рекомендуемые схемотехнические

методы борьбы с помехами в шинах питания БИС 122

6. Помехи, генерируемые в сигнальных шинах из-за перекрестного взаимодействия 124

7. Помехи в сигнальных шинах, вызванные

«состязаниями» сигналов 126

6. КОНЕЧНАЯ ВЕРИФИКАЦИЯ ПРОЕКТА 128

   1. Электрическая верификация 129

   2. Временная верификация 130

   3. Функциональная верификация 132

ЗАКЛЮЧЕНИЕ 135

БИБЛИОГРАФИЧЕСКИЙ СПИСОК 139

Учебное издание

Журавлёв Дмитрий Владимирович

ХАРАКТЕРИЗАЦИЯ ЦИФРОВЫХ БИБЛИОТЕК

В авторской редакции

Подписано к изданию 09.12.2015.

Объем файла 3,9 Мб.

ФГБОУ ВО «Воронежский государственный технический

университет»