Научный руководитель: доктор физ.-мат. наук профессор Ложкин Сергей Андреевич
Сайт программы.
Проектирование современных СБИС (сверхбольших интегральных схем) и, особенно СБИС наноуровня, является очень сложной комплексной задачей, успешное решение которой требует глубоких знаний в области математики и информатики. Целью программы является подготовка высококвалифицированных специалистов в данной области, которые владеют необходимыми теоретическими методами и умеют применять их для решения практических задач, связанных с проектированием СБИС.
Теоретическую базу программы составляют классические и самые современные результаты отечественных научных школ в области дискретной математики, теории синтеза и сложности управляющих систем, сложности алгоритмов и вычислений, математического моделирования и др. Указанные результаты излагаются в ряде основных и специальных курсов программы. Кроме того, в программу входит набор курсов, посвященных эффективным методам решения различных прикладных задач, связанных с проектированием СБИС.
Для получения практических навыков используются последние достижения и разработки ряда фирм (Intel, Cadence и др.) и институтов РАН (ИППМ, ИТМиВТ, ВЦ РАН и др.).
Учебный план
Дисциплина | 1 семестр |
2 семестр |
3 семестр |
4 семестр |
||||
ч/н | ч/н | ч/н | ч/н | |||||
Иностранный язык | 4 | зач | 4 | экз | ||||
Современная философия и методология науки | 2 | экз | 2 | экз | ||||
История и методология прикладной математики и информатики | 2 | зач | ||||||
Непрерывные математические модели | 2 | экз | ||||||
Дискретные и вероятностные модели |
2 | экз | ||||||
Оптимизация и численные методы | 2 | экз | ||||||
Архитектура и программное обеспечение высокопроизводительных вычислительных систем | 2 | экз | ||||||
Современные операционные системы | 2 | экз | ||||||
Сетевые технологии | 2 | экз | ||||||
Сложность комбинаторных алгоритмов | 3 | экз. | ||||||
Элементы теории синтеза и сложности дискретных управляющих систем | 3 | экз. | ||||||
Математические модели и методы синтеза СБИС | 3 | зач. | 2 | экз. | ||||
Математические модели EDA | 2 | экз. | ||||||
Вычислительная линейная алгебра задач большой размерности | 2 | зач. | ||||||
Решение булевых уравнений и проблемы выполнимости | 2 | экз. | ||||||
Теория надежности и контроля схем. Методы построения тестов | 2 | экз. | ||||||
Дополнительные вопросы теории графов и комбинаторики | 2 | экз. | ||||||
Языки описания схем. Проблемы верификации | 2 | зач. | ||||||
Практические занятия и лабораторные работы по пакетам проектирования СБИС | 2 | зач. | 2 | зач. | ||||
Производственная практика | 2 | зач. | ||||||
Дисциплина по выбору студента | 2 | экз. | 2 | экз. | 2 | экз. | 2 | экз. |
Научно-исследовательская работа | ||||||||
Спецсеминар | 2 | зач. | 2 | зач. | 2 | зач. | 2 | зач. |
Курсовая работа | оц. | |||||||
Итоговая государственная аттестация | ||||||||
Защита магистерской диссертации | оц. | |||||||
Государственный экзамен по направлению | оц. | |||||||
аудиторных часов в неделю | 25 | 21 | 16 | 8 | ||||
зачётов | 4 | 2 | 3 | 3 | ||||
экзаменов | 6 | 7 | 5 | 1 |