Математические модели и методы синтеза СБИС(семинар)
Материал из Кафедра математической кибернетики
Версия от 11:22, 22 февраля 2015; ShupletsovMS (обсуждение | вклад)
Семинар проходит один раз в две недели в 10:30 в аудитории 524. Материалы по лекционной части курса можно найти здесь.
Содержание
- 1 Преподаватели
- 2 Предварительный план семинарских занятий
- 2.1 Моделирование простых комбинационных схем на языке Verilog. Симуляция и тестирование схем.
- 2.2 Основы верификации схем с использованием BDD и SAT.
- 2.3 Решение задачи двухуровневого синтеза. Работа с пакетом ESPRESSO.
- 2.4 Решение задачи многоуровневого синтеза. Привязка к библиотеке. Основы работы с пакетом ABC и SIS.
- 2.5 Решение задачи разбиения графов и гиперграфов. Работа с пакетом hMetis.
- 2.6 Решение задачи размещения элементов интегральной схемы. Работа с пакетом Capo.
- 2.7 Решение задачи трассировки соединений в интегральной схеме. Работа с пакетом FGR.
- 3 Домашние лабораторные задания
Преподаватели
Предварительный план семинарских занятий
Моделирование простых комбинационных схем на языке Verilog. Симуляция и тестирование схем.
ТВА
Основы верификации схем с использованием BDD и SAT.
ТВА
Решение задачи двухуровневого синтеза. Работа с пакетом ESPRESSO.
ТВА
Решение задачи многоуровневого синтеза. Привязка к библиотеке. Основы работы с пакетом ABC и SIS.
ТВА
Решение задачи разбиения графов и гиперграфов. Работа с пакетом hMetis.
ТВА
Решение задачи размещения элементов интегральной схемы. Работа с пакетом Capo.
ТВА
Решение задачи трассировки соединений в интегральной схеме. Работа с пакетом FGR.
ТВА
Домашние лабораторные задания
TBA
