Магистерская программа "Математические модели и методы проектирования СБИС"
Научный руководитель проф. С.А. Ложкин.
Аннотация
Проектирование современных СБИС (сверхбольших интегральных схем) и, особенно СБИС наноуровня, является очень сложной комплексной задачей, успешное решение которой требует глубоких знаний в области математики и информатики. Целью программы является подготовка высококвалифицированных специалистов в данной области, которые владеют необходимыми теоретическими методами и умеют применять их для решения практических задач, связанных с проектированием СБИС.
Теоретическую базу программы составляют классические и самые современные результаты отечественных научных школ в области дискретной математики, теории синтеза и сложности управляющих систем, сложности алгоритмов и вычислений, математического моделирования и др. Указанные результаты излагаются в ряде основных и специальных курсов программы. Кроме того, в программу входит набор курсов, посвященных эффективным методам решения различных прикладных задач, связанных с проектированием СБИС.
Для получения практических навыков используются последние достижения и разработки ряда фирм (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 |