Список вопросов к экзамену (Список вопросов к экзамену.pdf)
Описание файла
PDF-файл из архива "Список вопросов к экзамену.pdf", который расположен в категории "". Всё это находится в предмете "математические модели и методы логического синтеза сверхбольших интегральных схем" из 9 семестр (1 семестр магистратуры), которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст из PDF
Список вопросов к экзамену по курсу«Математические модели и методы логического синтеза СБИС»(осенний семестр 2016-2017 уч. года; группа 518/2;лектор – к.ф.-м.н., доц. Шуплецов М.С.)Часть I. Задача проектирования цифровых СБИС и связанные с неймодели дискретных управляющих систем1. Общие сведения о проектировании цифровых СБИС, средства автоматизациипроектирования. Основные стратегии проектирования цифровых СБИС.2. Методология проектирования на основе стандартных элементов (ячеек).Программируемые логические интегральные схемы.
Системы на кристалле.3. Уровни абстракции при проектировании цифровых СБИС. Математическиемодели, используемые для описания различных уровней абстракции цифровойСБИС. Комбинационные и последовательные схемы.4. Упрощенный маршрут проектирования современных цифровых СБИС.5. Меры качества разработки цифровых СБИС. Параметры, оптимизируемые припроектировании СБИС. Источники шума в СБИС, влияние шума на цифровыеСБИС.6. N- и P-канальные транзисторы, их проводимость. Логические схемы НЕ, 2-НЕИЛИ и др.
Передаточная характеристика по напряжению, запас устойчивости пошуму и поглощение шума на примере КМОП инвертора.7. Структура и функционирование КМОП-схемы общего вида, правильныекомбинационные КМОП- схемы.8. Синтез комбинационных КМОП-схем на основе структурного моделированияконтактных схем (КС), итеративно-контактных схем (ИКС) и схем изфункциональных элементов (СФЭ).
Примеры и сравнительный анализ разныхтипов структурного моделирования (СФЭ, КС и ИКС).9. Связь между логическим и транзисторным уровнем, понятие о технологическойбиблиотеке.10.Представление об RC-схемах и их задержке, временной анализ транзисторныхсхем. Логическая и транзисторная схемы асинхронной ячейки памяти(защелки), еефункционирование. Схема D-триггера и его связь с единичной задержкой.Часть II. Логическая оптимизация логических схем11.
Различные способы представления функций алгебры логики (ФАЛ) (таблицыистинности, формулы, двоичные решающие диаграммы, схемы изфункциональных элементов). Сравнение указанных представлений и ихограничения.12. Комбинационные логические сети (КЛС). Задача оптимизации КЛС (различныепостановки задач, функционалы качества при оптимизации КЛС). Основные типыпреобразований КЛС: исключение, разложение, экстракция, упрощение иподстановка.13.
Конъюнктивно-инверсные графы (And-Inverter Graphs (AIG)). Связь AIG со СФЭ вбазисе Поста. Структурное хэширование AIG. Основные типы преобразованияAIG. Алгоритмы минимизации AIG.14. Синхронные логические схемы (СЛС). Связь СЛС со схемами из функциональныхэлементов и элементов задержки. Алгоритмы временной оптимизации СЛС(Retiming).Часть III. Привязка логической схемы к библиотеке15. Общая постановка задачи. Общая схема решения (этапы решения). Приведениесхемы(decomposition), разбиение схемы(partitioning), поиск соответствий(matching),поиск оптимального покрытия(covering).16. Поиск структурных соответствий (structural matching).
Постановка задачи.Рекурсивный алгоритм поиска структурных соответствий.17. Задача поиска подстроки в строки. Алгоритм Ахо-Корасик. Кодирование деревьевпри помощи строк. Поиск структурных соответствий при помощи алгоритма АхоКорасик.18. Задача привязки логической схемы к библиотеке при проектировании устройств набазе программируемых логических интегральных схем. Основные подходы к еерешению.Часть IV. Верификация логических схем19. Задача выполнимости булевых формул. Основные принципы и подходы кпостроению эффективных программ для решения указанной задачи.20.
Задача верификации логических комбинационных схем (combinational equivalencechecking). Основные методы решения указанной задачи.Литература1. Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ,2004. — 256 с.2. Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы.Методология проектирования. – Вильямс, 2007.3. Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.4. Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – KluwerAcademic Publishers, 2002.5. Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-HillScience/Engeneering/Math, 1994..