Математические модели и методы синтеза СБИС — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Литература)
Строка 95: Строка 95:
 
# Ложкин С.А. Лекции по основам кибернетики <sup>[[Media:Lozh-lectures1.pdf|[1]]][[Media:Lozh-lectures2-2007.pdf|[2]]][[Media:Lozh-lectures3-2007.pdf|[3]]]</sup>. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
 
# Ложкин С.А. Лекции по основам кибернетики <sup>[[Media:Lozh-lectures1.pdf|[1]]][[Media:Lozh-lectures2-2007.pdf|[2]]][[Media:Lozh-lectures3-2007.pdf|[3]]]</sup>. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
 
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
 
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС <sup>[[Media:VMK-2009part1.pdf|[1]]]</sup>.
+
# Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС <sup>[[Media:Lozhkin-Marchenko-VSLI-models.pdf|[1]]]</sup>.
  
 
== Слайды к лекциям ==
 
== Слайды к лекциям ==

Версия 09:35, 8 февраля 2014

Обязательный годовой курс для студентов 418 группы. В 2011-2012 учебном году лекции по данному курсу читают м.н.с. Шуплецов М.С. (первая часть) и профессор Марченко А. М. (вторая часть), а практические занятия проводит Шуплецов М.С.. В предыдущие годы лекции по этому курсу читались Ложкиным С. А. (первая часть), а практические занятия проводились доцентом Романовым Д. С..

Курс посвящен изложению ключевых вопросов, связанных с логическим и топологическим синтезом СБИС. В нем рассматриваются математические модели современных электронных схем, описываются основные подходы к решению задачи логического синтеза СБИС, а также задачи размещения модулей СБИС и трассировки межсоединений. В рамках практических занятий осуществляется знакомство с базовыми пакетами программ логического и топологического синтеза СБИС, формируются навыки работы с этими пакетами.


Вопросы по курсу (I часть)

Задача синтеза СБИС и связанные с ней модели дискретных управляющих систем

  1. Полевые транзисторы, принцип их работы и устройство. Основные сведения о КМОП-технологии и проектировании СБИС.
    1. n- и p-канальные транзисторы, их проводимость;
    2. представление об интегральной КМОП-технологии;
    3. задача проектирования СБИС и маршрут ее решения.
  2. Простейшие логические схемы на КМОП-транзисторах. Функционирование и классификация комбинационных КМОП-схем, оценка их числа.
    1. логические схемы НЕ, 2-НЕ-ИЛИ и др.;
    2. структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП-схемы;
    3. оценка числа правильных комбинационных КМОП-схем;
    4. комбинационные КМОП-схемы с проблемами переключения, схемы с нагрузочными транзисторами и др.
  3. Представление об RC-схемах и их задержке. Быстродействие КМОП-схем.
    1. распространение сигнала в КМОП-схемах на примере открытого транзистора;
    2. RC-схемы из дискретных элементов и их задержка, представление об RC-схемах с непрерывным распределением емкости и сопротивления;
    3. основные факторы, влияющие на быстродействие КМОП-схем.
  4. Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС) и итеративных контактных схем (ИКС).
    1. моделирование КС;
    2. моделирование ИКС;
    3. поведение функции Шеннона для сложности правильных комбинационных КМОП-схем.
  5. Синтез комбинационных КМОП-схем на основе структурного моделирования схем из функциональных элементов (СФЭ).
    1. моделирование СФЭ в различных базисах и вложение в библиотеку;
    2. СФЭ на негативных элементах и инверсная сложность ФАЛ;
    3. примеры и сравнительный анализ разных типов структурного моделирования.
  6. КМОП-схемы с памятью, реализация автоматных функций КМОП-схемами.
    1. логическая и транзисторная схемы RS-триггера, его функционирование;
    2. логическая и транзисторная схемы асинхронной ячейки памяти, ее функционирование;
    3. схема D-триггера и его связь с единичной задержкой;
    4. общая структура автоматных схем, задача их оптимизации.
  7. Клеточные схемы как «грубая» топологическая модель СБИС. Порядок функции Шеннона для площади клеточных схем.
    1. клеточные схемы из функциональных и коммутационных элементов в стандартном базисе;
    2. клеточная реализация дешифратора, построенного по совершенной ДНФ;
    3. порядок функции Шеннона для площади клеточных схем.
  8. Асимптотика площади дешифратора и ее антагонизм с числом функциональных элементов.
    1. нижняя оценка и асимптотика площади клеточного дешифратора;
    2. нижняя оценка площади дешифратора, построенного асимптотически наилучшим по числу функциональных элементов методом.
  9. Основные понятия, связанные с вложением графов. Вложения полных двоичных деревьев в плоские прямоугольные решетки (ППР) минимальной высоты.
    1. вложения графов и связанные с ними понятия;
    2. вложения графов в различные типы ППР, высота и площадь полного двоичного дерева;
  10. Асимптотика площади полных двоичных деревьев.
    1. асимптотика площади полного двоичного дерева при различных перегрузках и различных способах расположения листьев на границе решетки;
    2. Н-деревья и порядок площади полного двоичного дерева при произвольном расположении листьев.

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

  1. Двухуровневый логический синтез и ДНФ. Основные подходы к двухуровневой оптимизации.
    1. реализация функций в виде ДНФ и ее связь с ПЛМ;
    2. простые импликанты и неизбыточные покрытия;
    3. кофакторы и разложение Шеннона;
    4. использование областей неопределенности (don’t care);
  2. Многоуровневый логический синтез и связанные с ним представления функций.
    1. скобочные формы, построенные на основе ДНФ;
    2. определение двоичных решающих диаграмм (BDD) и представления функций в виде BDD;
    3. связь BDD с контактными схемами и операции над BDD, различные типы BDD;
    4. выбор оптимального порядка переменных разложения и его значение для упорядоченных BDD.
  3. Основные подходы к многоуровневой оптимизации.
    1. декомпозиция и другие структурные операции над булевскими сетями;
    2. упрощение вершин и его основные приемы;
    3. использование булевских и алгебраических делителей;
    4. привязка к библиотечному базису (mapping).
  4. Анализ задержек и временная оптимизация схем.
    1. временной анализ транзисторных схем;
    2. модели задержек функциональных элементов и задержки СФЭ;
    3. статические критические пути и борьба с ними, выявление «ложных» критических путей.

Логический синтез СБИС в системе SIS

  1. Знакомство с системой логического синтеза СБИС SIS. Форматы представления данных.
    1. понятие о логическом синтезе. Общие сведения о системе SIS. Основные возможности системы;
    2. форматы представления данных в SIS: .pla, .blif, .eqn (подробный разбор формата .blif);
    3. формат файлов библиотеки .genlib;
    4. привязка к библиотеке (мэппинг) и пример её простой реализации;
    5. основные команды и операции системы SIS.
  2. Алгоритмы логической оптимизации в SIS.
    1. описание двухуровневой и многоуровневой модели представления функций;
    2. основные команды логической оптимизации в системе SIS (simplify, resub, gkx, gcx и др.) и описание их работы;
    3. оптимизационные скрипты в SIS (на примере скрипта script.algebraic).
  3. Эвристический алгоритм двухуровневой оптимизации ESPRESSO.
    1. общее описание идеи и структуры алгоритма;
    2. построение тупикового покрытия по заданному покрытию (процедура IRREDUNDANT);
    3. сужение граней заданного покрытия (процедура REDUCE);
    4. максимальное расширение граней заданного покрытия (процедура EXPAND).
  4. Моделирование асинхронных систем.
    1. сети Петри (описание модели и особенности функционирования);
    2. моделирование различных асинхронных систем при помощи сетей Петри;
    3. основные характеристики сетей Петри: ограниченность, живучесть, обратимость (на примере конкретных схем).

Литература

  1. Ложкин С.А. Лекции по основам кибернетики [1][2][3]. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
  2. Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
  3. Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС [1].

Слайды к лекциям

  1. Меры качества разработки цифровой интегральной схемы [1]
  2. КМОП-схемы с памятью, реализация автоматных функций КМОП-схемами [2]

Домашние задания (2011 год)

  1. Домашнее задание №2 [1].
  2. Домашнее задание №3 [2].

Материалы к зачету по курсу

  1. Список вопросов к зачету (вариант 2012 года) [1].
  2. Список вопросов к зачету (вариант 2011 года) [1].
  3. Таблица успеваемости (2011-2012 учебный год) [2]