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

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

Аннотация

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

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

Для получения практических навыков используются последние достижения и разработки ряда фирм (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