Математические модели и методы синтеза СБИС(семинар) — различия между версиями
Материал из Кафедра математической кибернетики
Root (обсуждение | вклад) |
м |
||
| Строка 1: | Строка 1: | ||
| − | Семинар проходит в | + | Семинар проходит один раз в две недели в 10:30 в аудитории 524. Материалы по лекционной части курса можно найти [[Математические модели и методы синтеза СБИС|здесь]]. |
== Преподаватели == | == Преподаватели == | ||
| Строка 5: | Строка 5: | ||
* [[Шуплецов Михаил Сергеевич]] | * [[Шуплецов Михаил Сергеевич]] | ||
| − | == | + | == Предварительный план семинарских занятий == |
| + | === Моделирование простых комбинационных схем на языке Verilog. Симуляция и тестирование схем. === | ||
| + | ТВА | ||
| + | === Основы верификации схем с использованием BDD и SAT. === | ||
| + | ТВА | ||
| + | === Решение задачи двухуровневого синтеза. Работа с пакетом ESPRESSO. === | ||
| + | ТВА | ||
| + | === Решение задачи многоуровневого синтеза. Привязка к библиотеке. Основы работы с пакетом ABC и SIS. === | ||
| + | ТВА | ||
| + | === Решение задачи разбиения графов и гиперграфов. Работа с пакетом hMetis. === | ||
| + | ТВА | ||
| + | === Решение задачи размещения элементов интегральной схемы. Работа с пакетом Capo. === | ||
| + | ТВА | ||
| + | === Решение задачи трассировки соединений в интегральной схеме. Работа с пакетом FGR. === | ||
| + | ТВА | ||
| − | == | + | == Домашние лабораторные задания == |
| + | TBA | ||
[[Категория:Семинары кафедры математической кибернетики]] | [[Категория:Семинары кафедры математической кибернетики]] | ||
Версия 11:22, 22 февраля 2015
Семинар проходит один раз в две недели в 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
