Магистерская программа "Математические модели и методы проектирования СБИС"

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск

Научный руководитель проф. С.А. Ложкин.

Аннотация

Проектирование современных СБИС (сверхбольших интегральных схем) и, особенно СБИС наноуровня, является очень сложной комплексной задачей, успешное решение которой требует глубоких знаний в области математики и информатики. Целью программы является подготовка высококвалифицированных специалистов в данной области, которые владеют необходимыми теоретическими методами и умеют применять их для решения практических задач, связанных с проектированием СБИС.

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

Для получения практических навыков используются последние достижения и разработки ряда фирм (Intel, Cadence и др.) и институтов РАН (ИППМ, ИТМиВТ, ВЦ РАН и др.).

Учебный план

Дисциплина 1 семестр 2 семестр 3 семестр 4 семестр
ч/н ч/н ч/н ч/н
ДНМ01 Непрерывные математические модели 2 экз.
ДНМ01 Дискретные и вероятностные модели 2 экз.
ДНМО1 Оптимизация и численные методы 2 экз.
ДНМ02 Объектно-ориентированные языки и системы программирования 2 экз.
ДНМ02 Современные операционные системы 2 экз.
ДНМО2 Сетевые технологии 2 экз.
ДНМ03 История и методология прикладной математики и информатики 2 зач.
ДНМ04 Иностранный язык 4 зач. 4 экз.
ДНМ05 Современная философия и методология науки 2 зач. 2 экз.
ДНМ05 Сложность комбинаторных алгоритмов 3 экз.
СДМ01 Элементы теории синтеза и сложности дискретных управляющих систем 3 экз.
СДМ02 Математические модели и методы синтеза СБИС 3 зач. 3 экз.
СДМ03 Математические модели задач физического проектирования микросхем (EDA) 2 экз.
СДМ04 Вычислительная линейная алгебра задач большой размерности 2 экз.
CДМО5 Решение булевых уравнений и проблема выполнимости 2 экз.
CДМО6 Теория надежности и контроля схем. Методы построения тестов 2 экз.
СДМ07 Некоторые вопросы теории графов и комбинаторики 2 экз.
СДМ08 Языки описания схем. Проблемы верификации 2 зач.
CДМО9 Практические занятия и лабораторные работы по пакетам проектирования СБИС 2 зач. 2 зач.
СДВ Дисциплина по выбору студента 2 экз. 2 экз. 2 экз. 2 экз.
НИР Научно-исследовательская работа
НИР Спецсеминар 2 зач. 2 зач. 2 зач. 2 зач.
НИР Курсовая работа оц.
ИГА Итоговая государственная аттестация
ИГА Защита магистерской диссертации оц.
ИГА Государственный экзамен по направлению оц.
аудиторных часов в неделю 25 21 16 8
зачетов 4 2 3 3
экзаменов 6 7 5 1