Лекция 12 сапр Synopsys

САПР Synopsys обеспечивает разработку СБИС и СнК на всех этапах маршрута проектирования на основе КМОП технологии. Маршрут проектирования включает в себя три основных уровня:

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

Обеспечивает этапы создания алгоритмической модели и её верификации; создание модели уровня транзакций, т.е.модели макроархитектуры и её верификация; создание модели СнК как ТЗ для проектирования системы

2. Логический или вентильный уровень

Обеспечивает создание RTL-модели на одном из языков описания аппаратуры HDL; логическая верификация RTL-модели посредством моделирования; физическая верификация посредством прототипирования на FPGA; синтез в базисе вентильных схем и автоматическая тестовых структур; логическая и формальная верификация списка цепей (netlists); генерация фабричных тестов для контроля годности СБИС

3. Топологический уровень

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

• Системное проектирование

В начале проектирования в соответствии с требованиями ТЗ создаётся первая, очень обобщённая, модель системы. С помощью этой модели можно проанализировать работоспособность выбранного математического алгоритма.

Инструменты: SystemStudio. Затем создаются модели макроархитектуры с целью исследования различных вариантов СнК. Описание модели можно выполнить на языке SystemC. Разработку и верификацию системных моделей существенно упрощают и ускоряют развитые библиотеки системного уровня. После верификации модели уровня транзакций создаётся «золотая» модель СнК. Это та же модель уровня транзакций, но согласованная с заказчиком и документированная как ТЗ.

Документация оформляется в HTML-формате.

• Логическое проектирование

На основе «золотой» модели синтезируется RTL-модель на одном из HDL-языков.

Инструменты: текстовый редактор, DesignWare, LEDAHDL-Checker.

Вся работа ведётся как вручную в текстовом редакторе, с использованием библиотеки СФ-блоков DesignWare для создания синтезируемых кодов так и полуавтоматизированно посредством генерации моделей из SystemC моделей и в LEDA для контроля стиля HDL-кодирования. В результате, САПР Synopsys обеспечивает сквозной маршрут проектирования от системного уровня к уровню проектирования СБИС. Затем следует логическая верификация.

Инструменты:VCSMX.

Затем с помощью DesignCompilerFPGA создаётся FPGA-прототип схемы. Основная идея – прототип создаётся из RTL-описания СБИС. При этом поддерживается как обычный процесс компиляции сверху вниз, так и реальный синтез снизу – вверх.

Инструменты:DCFPGA.

За уровнемRTL, как известно, следует вентильный уровень. Проектирование на этом уровне требует применения продукта DesignCompiler.

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

Инструменты:DC, PhC.

Затем выполняется верификация списка цепей.

Инструменты:VCMX, Formality, PrimeTime.

VCMX используется для логической и функциональной верификации,

Formality для статической формальной верификации, PrimeTime для временного статического анализа.

• Топологическое проектирование

При размещении и трассировке учитывается влияние взаимных помех между проводниками и фрагментами схемы.

Инструменты: Astro, Star RCXT, DRC, ERC, LVS

Astro позволяет синтезировать топологию в формате GDSII, StarRCXT– экстрагировать RC-параметры, DRC– проверить соблюдение правил проектирования, ERC– проверить правильность электрических соединений, LVS– восстановить из топологии список цепей и сравнить его с исходным.

Литература

1.Казённов Г.Г. Основы проектирования интегральных схем и систем. – М., БИНОМ, Лаборатория знаний, 2010, 295 с.

2. В. Немудров, Г. Мартин Системы на кристалле. Проектирование и развитиеМ.,Техносфера, 2004, 216 с.

3. Глебов А.Л., Кононов Н.А., Миндеева А.А. Методы математического моделирования в САПР СБИС М., МИЭТ, 2013, 103 с.

Оглавление Предисловие

Предисловие 3

Лет сорок назад Ваш покорный слуга прочитал книгу знаменитого кораблестроителя, математика, академика, профессора А.Н. Крылова «Мои воспоминания». В ней есть раздел «О подготовке специалистов». Рекомендую Вам прочитать эту книгу, хотя понимаю, что моей рекомендации навряд ли кто-то последует. Поэтому позволю себе несколько достаточно обширных выдержек из книги. 3

Лекция 1 6

Интегральные схемы 6

1.1.1. Матрицы стандартных ячеек 8

1.1.3. Аналоговые матрицы (АМ) 9

Лекция 2 11

Принципы проектирования 11

2.1. Классификация методов проектирования 12

2.2. Особенности проектирования ИС 14

Лекция 3 16

Этапы проектирования ИС 16

3.1. Разработка спецификации 17

3.2. Проектные процедуры процесса проектирования 17

Лекция 4 22

Разработка САПР 22

4.2. О подготовке кадров 25

4.3.1. По назначению систем 25

4.3.2. По способу организации информационных потоков 25

4.3.3. По специализации программных средств 26

4.3.4. По способу организации внутренней структуры САПР 27

4.3.5. По возможности функционального расширения системы пользователем 27

4.3.6. По используемым средствам вычислительной техники 28

4.3.7. По способу объединения технических средств 28

4.3.8. По способу организации диалога системы с пользователем 29

Лекция 5 29

Архитектура САПР 29

Лекция 6 31

Маршруты проектирования БИС 31

6.1. Автоматизация проектирования полузаказных БИС 31

6.2. Автоматизация проектирования заказных БИС 33

Лекция 7 34

Компонентное проектирование 34

Лекция 8 37

Основные виды схемотехнического анализа ИС. 37

Методы моделирования 37

8.2. Методы формирования математических моделей ИС 40

8.2.1. Пример формирования ММС МУП 45

8.3. Специфика математических моделей БИС 46

8.4.1. Явный метод Эйлера 51

8.4.2. Неявный метод Эйлера 51

8.4.3. Метод трапеций 51

8.4.4. Оценка локальной методической погрешности ЯМЭ и НЯМЭ 52

8.5. Итерационные методы решения систем нелинейных алгебраических уравнений 53

8.6. Методы решения систем линейных уравнений (СЛАУ) 55

8.6.2. Итерационные методы 56

8.6.2.1Метод простых итераций 56

8.6.2.2. Метод Гаусса-Зейделя (метод последовательных замещений) 57

Лекция 9 57

Классификация цифровых схем 57

9.1.1. Модели комбинационных схем 61

9.1.2. Модели последовательностных схем 62

Лекция 10 63

Логическое проектирование 63

10.3. Компьютерные модели 69

Лекция 11 75

Топологическое проектирование 75

11.1. Терминология 77

11.2. Правила проектирования топологии Мида-Конвей 77

Лекция 12 81

САПР Synopsys 81