Кафедра математической кибернетики - Вклад участника [ru]

Файл:Logic synthesis BDD SAT.pdf

2025-10-26T20:37:54Z

ShupletsovMS:

Математические модели и методы логического синтеза сверхбольших интегральных схем

2025-10-26T20:37:08Z

ShupletsovMS: /* Программа Курса */

[[Категория:Спецкурсы кафедры МК]]
[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]

Курс по магистерской программе Дискретные управляющие системы и их приложения.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор — доцент [[Шуплецов Михаил Сергеевич]].

'''Объем:''' 32 ч.

'''Начало курса:'''

'''Время:'''

'''Аудитория:'''

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

== Материалы к экзамену ==
* [[Media:Logic_synthesis_2025_exam_rules.pdf|Правила проведения экзамена]].
* [[Media:Logic_synthesis_2025_exam_questions.pdf|Список вопросов к экзамену]].

=== Списки вопросов в экзамену прошлых лет ===
* [[Media:Logic_synthesis_2020_exam_questions.pdf|Список вопросов к экзамену(2020-2021 учебный год)]].
* [[Media:Logic_synthesis_2019_exam_questions.pdf|Список вопросов к экзамену(2019-2020 учебный год)]].
* [[Media:Logic_synthesis_2018_exam_questions.pdf|Список вопросов к экзамену(2018-2019 учебный год)]].
* [[Media:Logic_synthesis_2017_exam_questions.pdf|Список вопросов к экзамену(2017-2018 учебный год)]].
* [[Media:Logic_synthesis_2015_exam_questions.pdf|Список вопросов к экзамену]].

== Программа Курса ==

=== Задача проектирования цифровых СБИС и связанные с ней модели дискретных управляющих систем ===

Общие сведения о проектировании цифровых СБИС, средства автоматизации проектирования. Основные стратегии проектирования цифровых СБИС.

Методология проектирования на основе стандартных элементов (ячеек). Программируемые матрицы логических элементов (ПЛИС). Системы на кристалле.

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

Упрощенный маршрут проектирования современных цифровых СБИС.

Меры качества разработки цифровых СБИС. Параметры, оптимизируемые при проектировании СБИС. Источники шума в СБИС, влияние шума на цифровые СБИС.

[[Media:Logic_synthesis_intro.pdf|Презентация]].

=== Модель логических схем на КМОП-транзисторах ===

==== Полевые транзисторы, принцип их работы и устройство ====

N- и P-канальные транзисторы, их проводимость. Логические схемы НЕ, 2-НЕ-ИЛИ и др. Передаточная характеристика по напряжению, запас устойчивости по шуму и поглощение шума на примере КМОП инвертора.

==== Модель комбинационных логических схем на КМОП-транзисторах ====

Структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП- схемы.

Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС), итеративно-контактных схем (ИКС) и схем из функциональных элементов (СФЭ). Примеры и сравнительный анализ разных типов структурного моделирования (СФЭ, КС и ИКС).

Связь между логическим и транзисторным уровнем, понятие о технологической библиотеке.

Задача поиска оптимальных и близких к ним схем, реализующих функции от малого числа переменных.

[[Media:Logic_synthesis_CMOS.pdf|Презентация]].

=== Логическая оптимизация комбинационных логических схем ===

Различные способы представления функций алгебры логики (ФАЛ) (таблицы истинности, формулы, двоичные решающие диаграммы, схемы из функциональных элементов). Сравнение указанных представлений и их ограничения. Двоичные решающие диаграммы (BDD) и представление булевых функций в виде BDD. Представление функций в виде конъюнктивных нормальных форм и задача ВЫПОЛНИМОСТИ.

[[Media:Logic_synthesis_BDD_SAT.pdf|Презентация]].

Комбинационные логические сети (КЛС). Задача оптимизации КЛС (различные постановки задач, функционалы качества при оптимизации КЛС). Основные типы преобразований КЛС: исключение, разложение, экстракция, упрощение и подстановка.
Алгебраическая модель. Разложение на основе деления. Булевская модель и разложение на основе булевского деления.

[[Media:Logic_synthesis_CLS.pdf|Презентация]].

Не всюду определенные функции. Использование областей неопределенности для локальной оптимизации схем.

[[Media:Logic_synthesis_CLS_bool.pdf|Презентация]].

Конъюнктивно-инверсные графы (And-Inverter Graphs (AIG)). Связь AIG со СФЭ в базисе Поста. Структурное хэширование AIG. Основные типы преобразования AIG. Алгоритмы минимизации AIG.

[[Media:Logic_synthesis_AIG.pdf|Презентация]].

=== Временная оптимизация схем на логическом уровне ===

==== Элементы с памятью, особенности временных характеристик схем ====

Представление об RC-схемах и их задержке, временной анализ схем. Логическая и транзисторная схемы асинхронной ячейки памяти(защелки), ее функционирование. Схема D-триггера и его связь с единичной задержкой. Статический временной анализ. Трепетание сигнала (glitches). Понятие о ложном критическом пути.

[[Media:Logic_synthesis_CMOS_memory.pdf|Презентация]].

==== Задачи временной оптимизации (retiming) ====
Общее описание автоматных моделей. Основные задачи. Синхронные логические схемы (СЛС). Связь СЛС со схемами из функциональных элементов и элементов задержки. Алгоритмы временной оптимизации СЛС (Retiming).

[[Media:Logic_synthesis_retiming.pdf|Презентация]].

=== Привязка логической схемы к библиотеке ===

Общая постановка задачи. Общая схема решения (этапы решения). Приведение схемы(decomposition), разбиение схемы(partitioning), поиск соответствий(matching), поиск оптимального покрытия(covering).

Поиск структурных соответствий (structural matching). Постановка задачи. Рекурсивный алгоритм поиска структурных соответствий. Задача поиска подстроки в строки. Алгоритм Ахо-Корасик. Кодирование деревьев при помощи строк. Поиск структурных соответствий при помощи алгоритма Ахо-Корасик.

[[Media:Logic_synthesis_structural_matching.pdf|Презентация]].

Решение задачи привязки логической схемы к библиотеке при помощи методов динамического программирования.

[[Media:Logic_synthesis_mapping.pdf|Презентация]].

=== Тестирование и верификация логических схем ===
Задачи верификации и тестирования логических схем и основные подходы к ее решению. Методы автоматической генерации тестов для схем. Задача выполнимости булевых формул. Основные принципы и подходы к построению эффективных программ для решения указанной задачи. Задача верификации логических комбинационных схем (combinational equivalence checking). Основные методы решения указанной задачи.

[[Media:Logic_synthesis_verification_intro.pdf|Презентация]]

== Литература ==
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.

Файл:MMMSBIS 2025.pdf

2025-04-26T14:16:09Z

ShupletsovMS:

Математические модели и методы синтеза СБИС

2025-04-26T14:15:39Z

ShupletsovMS:

Обязательный семестровый курс для студентов 318 группы.

Лекции по данному курсу читает доцент [[Шуплецов Михаил Сергеевич|Шуплецов М.С.]]. До 2017 года данный курс читался совместно с профессором Марченко А. М.

Лекции проходят один раз в неделю в 12:50 в аудитории 505. Материалы по семинарским занятиям курса можно найти [[Математические модели и методы синтеза СБИС(семинар)|здесь]].

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

== Материалы к экзамену ==
# Список вопросов к экзамену (вариант 2025 года) [[Media:MMMSBIS_2025.pdf|[1]]].

== Материалы к экзаменам прошлых лет ==
# Список вопросов к экзамену (вариант 2024 года) [[Media:MMMSBIS_2024.pdf|[1]]].
# Список вопросов к экзамену (вариант 2023 года) [[Media:MMMSBIS_2023.pdf|[2]]].
# Список вопросов к экзамену (вариант 2019 года) [[Media:MMMSBIS_2019.pdf|[3]]].
# Список вопросов к экзамену (вариант 2018 года) [[Media:MMMSBIS_2018.pdf|[4]]].
# Список вопросов к экзамену (вариант 2017 года) [[Media:MMMSBIS_2017.pdf|[5]]].
# Список вопросов к экзамену (вариант 2016 года) [[Media:MMMSBIS_2016.pdf|[6]]].
# Список вопросов к экзамену (вариант 2015 года) [[Media:MMMSBIS_2015.pdf|[7]]].
# Список вопросов к экзамену (вариант 2014 года) [[Media:MMMSBIS_2014.pdf|[8]]].

== Программа курса ==

=== Задача синтеза интегральных схем и основные сведения о КМОП технологии ===

# Общие сведения о проектировании цифровых интегральных схем
# КМОП транзисторы.
# Маршруты проектирования интегральных схем.
# Проектирование программируемых логических матриц (ПЛМ), полузаказных и заказных схем.
# Метод стандартных ячеек.

[[Media:VLSI_318_intro_2018.pdf|Презентация]]

[[Media:VLSI_418_technology_2017.pdf|Презентация о технологии производства микроэлектронных устройств от Марченко А.М.]]

=== Двухуровневый логический синтез ===

# Реализация функций алгебры логики в виде дизъюнктивных нормальных форм (ДНФ) и ее связь с ПЛМ.
# Простые импликанты и неизбыточные покрытия.
# Обобщенно-монотонное разложение булевых функций.
# Эвристические подходы к минимизации ДНФ.

[[Media:VLSI_318_two_level_2018.pdf|Презентация]]

[https://people.eecs.berkeley.edu/~brayton/courses/219b/ppslides/2-espresso.ppt Презентация - ESPRESSO]

=== Многоуровневый логический синтез ===

# Модель логических сетей и основные структурные операции над ними: упрощение вершин, декомпозиция и подстановка вершин.
# Операция деления и модель алгебраического деления.
# Совокупное ядро делителей и алгоритмы его нахождения.
# Основные способы нахождения общих делителей.
# Использование областей неопределенности (don’t care) для упрощения логических сетей.

=== Привязка к библиотечному базису ===

# Задача привязки логической схемы к технологической библиотеке (technology mapping).
# Основные алгоритмы привязки к технологической библиотеке.

[[Media:VLSI_418_tech_mapping.pdf|Презентация]]

=== Разбиение интегральной схемы ===

# Основные цели разбиения интегральной схемы, оценка качества разбиения и связь с теорией графов.
# Алгоритмы разбиения графов и гиперграфов: алгоритм Кернигана-Лина и его расширения, алгоритм Федуччи-Маттеуса (Fiduccia-Mattheyses).
# Задачи кластеризации и основные подходы к многоуровневому разбиению интегральной схемы.

[[Media:VLSI_418_graph_partitioning.pdf|Презентация]]

[[Media:VLSI_418_graph_partitioning_2016.pdf|Презентация(2016)]]

[[Media:VLSI_318_graph_partitioning_2017.pdf|Презентация(2017)]]

[http://vlsicad.eecs.umich.edu/KLMH/downloads/book/chapter2/chap2r-130523.pdf Презентация(2019)]

=== Размещение модулей интегральной схемы ===

# Задача глобального размещения элементов интегральной схемы и основные метрики оценки качества размещения.
# Основные подходы к размещению:
## геометрические методы и подходы, основанные на декомпозиции (min-cut placement),
## аналитические подходы (размещение как задача квадратичного программирования),
## стохастические подходы (моделирование отжига).
# Современные алгоритмы размещения.

[[Media:VLSI_418_placement.pdf|Презентация]]

[[Media:VLSI_418_placement_2016.pdf|Презентация(2016)]]

[[Media:VLSI_318_placement_2017.pdf|Презентация(2017)]]

[http://vlsicad.eecs.umich.edu/KLMH/downloads/book/chapter4/chap4-141124.pdf Презентация(2019)]

=== Трассировка соединений в интегральной схеме ===

# Основные задачи трассировки соединений: детальная и глобальная трассировка.
# Задача трассировки соединений. Классификация алгоритмов трассировки. Представление областей трассировки.
# Задача глобальной трассировки. MST и SMT деревья. Последовательный алгоритм построения дерева Штейнера.
# Одновременная трассировка всех сетей. Сведение задачи глобальной трассировки к задаче целочисленного линейного программирования.

[[Media:VLSI_418_routing.pdf|Презентация]]

[[Media:VLSI_418_routing_2016.pdf|Презентация(2016)]]

[[Media:VLSI_318_routing_2017.pdf|Презентация(2017)]]

[http://vlsicad.eecs.umich.edu/KLMH/downloads/book/chapter5/chap5-130517.pdf Презентация(2019)]

== Литература ==
# Г.Г.Казеннов, В.М.Щемелинин. Топологическое проектирование нерегулярных БИС. М., Высшая школа, 1990, 109с.
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС [[Media:Lozhkin-Marchenko-VSLI-models.pdf|[1]]].
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.
# T. Lengauer. Combinatorial algorithms for integrated circuit layout. Wiley, 1990, 694 p.
# Naveed Sherwani. Algorithms for VLSI physical design automation. Kluwer academic publishers, 1995, 538p.
# Introduction to Algorithms, T. Cormen, C. Lesierson, R. Rivest, The MIT Press, Second Printing, 1996.
# Handbook of Algorithms for Physical design Automation, Edited by Charles J. Alpert Dinesh P. Mehta Sachin S. Sapatnekar, 2009.
# Andrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu. VLSI Physical Design: From Graph Partitioning to Timing Closure, 2011

[[Категория:Лекционные_курсы_кафедры_МК]]

Файл:Logic synthesis 2025 exam questions.pdf

2024-12-31T13:09:17Z

ShupletsovMS:

Файл:Logic synthesis 2025 exam rules.pdf

2024-12-31T13:09:03Z

ShupletsovMS:

Математические модели и методы логического синтеза сверхбольших интегральных схем

2024-12-31T13:08:31Z

ShupletsovMS: /* Материалы к экзамену */

[[Категория:Спецкурсы кафедры МК]]
[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]

Курс по магистерской программе Дискретные управляющие системы и их приложения.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор — доцент [[Шуплецов Михаил Сергеевич]].

'''Объем:''' 32 ч.

'''Начало курса:'''

'''Время:'''

'''Аудитория:'''

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

== Материалы к экзамену ==
* [[Media:Logic_synthesis_2025_exam_rules.pdf|Правила проведения экзамена]].
* [[Media:Logic_synthesis_2025_exam_questions.pdf|Список вопросов к экзамену]].

=== Списки вопросов в экзамену прошлых лет ===
* [[Media:Logic_synthesis_2020_exam_questions.pdf|Список вопросов к экзамену(2020-2021 учебный год)]].
* [[Media:Logic_synthesis_2019_exam_questions.pdf|Список вопросов к экзамену(2019-2020 учебный год)]].
* [[Media:Logic_synthesis_2018_exam_questions.pdf|Список вопросов к экзамену(2018-2019 учебный год)]].
* [[Media:Logic_synthesis_2017_exam_questions.pdf|Список вопросов к экзамену(2017-2018 учебный год)]].
* [[Media:Logic_synthesis_2015_exam_questions.pdf|Список вопросов к экзамену]].

== Программа Курса ==

=== Задача проектирования цифровых СБИС и связанные с ней модели дискретных управляющих систем ===

Общие сведения о проектировании цифровых СБИС, средства автоматизации проектирования. Основные стратегии проектирования цифровых СБИС.

Методология проектирования на основе стандартных элементов (ячеек). Программируемые матрицы логических элементов (ПЛИС). Системы на кристалле.

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

Упрощенный маршрут проектирования современных цифровых СБИС.

Меры качества разработки цифровых СБИС. Параметры, оптимизируемые при проектировании СБИС. Источники шума в СБИС, влияние шума на цифровые СБИС.

[[Media:Logic_synthesis_intro.pdf|Презентация]].

=== Модель логических схем на КМОП-транзисторах ===

==== Полевые транзисторы, принцип их работы и устройство ====

N- и P-канальные транзисторы, их проводимость. Логические схемы НЕ, 2-НЕ-ИЛИ и др. Передаточная характеристика по напряжению, запас устойчивости по шуму и поглощение шума на примере КМОП инвертора.

==== Модель комбинационных логических схем на КМОП-транзисторах ====

Структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП- схемы.

Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС), итеративно-контактных схем (ИКС) и схем из функциональных элементов (СФЭ). Примеры и сравнительный анализ разных типов структурного моделирования (СФЭ, КС и ИКС).

Связь между логическим и транзисторным уровнем, понятие о технологической библиотеке.

Задача поиска оптимальных и близких к ним схем, реализующих функции от малого числа переменных.

[[Media:Logic_synthesis_CMOS.pdf|Презентация]].

=== Логическая оптимизация комбинационных логических схем ===

Различные способы представления функций алгебры логики (ФАЛ) (таблицы истинности, формулы, двоичные решающие диаграммы, схемы из функциональных элементов). Сравнение указанных представлений и их ограничения.

Комбинационные логические сети (КЛС). Задача оптимизации КЛС (различные постановки задач, функционалы качества при оптимизации КЛС). Основные типы преобразований КЛС: исключение, разложение, экстракция, упрощение и подстановка.
Алгебраическая модель. Разложение на основе деления. Булевская модель и разложение на основе булевского деления.

[[Media:Logic_synthesis_CLS.pdf|Презентация]].

Не всюду определенные функции. Использование областей неопределенности для локальной оптимизации схем.

[[Media:Logic_synthesis_CLS_bool.pdf|Презентация]].

Конъюнктивно-инверсные графы (And-Inverter Graphs (AIG)). Связь AIG со СФЭ в базисе Поста. Структурное хэширование AIG. Основные типы преобразования AIG. Алгоритмы минимизации AIG.

[[Media:Logic_synthesis_AIG.pdf|Презентация]].

=== Временная оптимизация схем на логическом уровне ===

==== Элементы с памятью, особенности временных характеристик схем ====

Представление об RC-схемах и их задержке, временной анализ схем. Логическая и транзисторная схемы асинхронной ячейки памяти(защелки), ее функционирование. Схема D-триггера и его связь с единичной задержкой. Статический временной анализ. Трепетание сигнала (glitches). Понятие о ложном критическом пути.

[[Media:Logic_synthesis_CMOS_memory.pdf|Презентация]].

==== Задачи временной оптимизации (retiming) ====
Общее описание автоматных моделей. Основные задачи. Синхронные логические схемы (СЛС). Связь СЛС со схемами из функциональных элементов и элементов задержки. Алгоритмы временной оптимизации СЛС (Retiming).

[[Media:Logic_synthesis_retiming.pdf|Презентация]].

=== Привязка логической схемы к библиотеке ===

Общая постановка задачи. Общая схема решения (этапы решения). Приведение схемы(decomposition), разбиение схемы(partitioning), поиск соответствий(matching), поиск оптимального покрытия(covering).

Поиск структурных соответствий (structural matching). Постановка задачи. Рекурсивный алгоритм поиска структурных соответствий. Задача поиска подстроки в строки. Алгоритм Ахо-Корасик. Кодирование деревьев при помощи строк. Поиск структурных соответствий при помощи алгоритма Ахо-Корасик.

[[Media:Logic_synthesis_structural_matching.pdf|Презентация]].

Решение задачи привязки логической схемы к библиотеке при помощи методов динамического программирования.

[[Media:Logic_synthesis_mapping.pdf|Презентация]].

=== Тестирование и верификация логических схем ===
Задачи верификации и тестирования логических схем и основные подходы к ее решению. Методы автоматической генерации тестов для схем. Задача выполнимости булевых формул. Основные принципы и подходы к построению эффективных программ для решения указанной задачи. Задача верификации логических комбинационных схем (combinational equivalence checking). Основные методы решения указанной задачи.

[[Media:Logic_synthesis_verification_intro.pdf|Презентация]]

== Литература ==
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.

Файл:MMMSBIS 2024.pdf

2024-05-31T11:26:36Z

ShupletsovMS:

Математические модели и методы синтеза СБИС

2024-05-31T11:26:23Z

ShupletsovMS: /* Материалы к экзамену */

Обязательный семестровый курс для студентов 318 группы.

Лекции по данному курсу читает доцент [[Шуплецов Михаил Сергеевич|Шуплецов М.С.]]. До 2017 года данный курс читался совместно с профессором Марченко А. М.

Лекции проходят один раз в неделю в 12:50 в аудитории 505. Материалы по семинарским занятиям курса можно найти [[Математические модели и методы синтеза СБИС(семинар)|здесь]].

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

== Материалы к экзамену ==
# Список вопросов к экзамену (вариант 2024 года) [[Media:MMMSBIS_2024.pdf|[1]]].

== Материалы к экзаменам прошлых лет ==

# Список вопросов к экзамену (вариант 2023 года) [[Media:MMMSBIS_2023.pdf|[1]]].
# Список вопросов к экзамену (вариант 2019 года) [[Media:MMMSBIS_2019.pdf|[2]]].
# Список вопросов к экзамену (вариант 2018 года) [[Media:MMMSBIS_2018.pdf|[3]]].
# Список вопросов к экзамену (вариант 2017 года) [[Media:MMMSBIS_2017.pdf|[4]]].
# Список вопросов к экзамену (вариант 2016 года) [[Media:MMMSBIS_2016.pdf|[5]]].
# Список вопросов к экзамену (вариант 2015 года) [[Media:MMMSBIS_2015.pdf|[6]]].
# Список вопросов к экзамену (вариант 2014 года) [[Media:MMMSBIS_2014.pdf|[7]]].

== Программа курса ==

=== Задача синтеза интегральных схем и основные сведения о КМОП технологии ===

# Общие сведения о проектировании цифровых интегральных схем
# КМОП транзисторы.
# Маршруты проектирования интегральных схем.
# Проектирование программируемых логических матриц (ПЛМ), полузаказных и заказных схем.
# Метод стандартных ячеек.

[[Media:VLSI_318_intro_2018.pdf|Презентация]]

[[Media:VLSI_418_technology_2017.pdf|Презентация о технологии производства микроэлектронных устройств от Марченко А.М.]]

=== Двухуровневый логический синтез ===

# Реализация функций алгебры логики в виде дизъюнктивных нормальных форм (ДНФ) и ее связь с ПЛМ.
# Простые импликанты и неизбыточные покрытия.
# Обобщенно-монотонное разложение булевых функций.
# Эвристические подходы к минимизации ДНФ.

[[Media:VLSI_318_two_level_2018.pdf|Презентация]]

[https://people.eecs.berkeley.edu/~brayton/courses/219b/ppslides/2-espresso.ppt Презентация - ESPRESSO]

=== Многоуровневый логический синтез ===

# Модель логических сетей и основные структурные операции над ними: упрощение вершин, декомпозиция и подстановка вершин.
# Операция деления и модель алгебраического деления.
# Совокупное ядро делителей и алгоритмы его нахождения.
# Основные способы нахождения общих делителей.
# Использование областей неопределенности (don’t care) для упрощения логических сетей.

=== Привязка к библиотечному базису ===

# Задача привязки логической схемы к технологической библиотеке (technology mapping).
# Основные алгоритмы привязки к технологической библиотеке.

[[Media:VLSI_418_tech_mapping.pdf|Презентация]]

=== Разбиение интегральной схемы ===

# Основные цели разбиения интегральной схемы, оценка качества разбиения и связь с теорией графов.
# Алгоритмы разбиения графов и гиперграфов: алгоритм Кернигана-Лина и его расширения, алгоритм Федуччи-Маттеуса (Fiduccia-Mattheyses).
# Задачи кластеризации и основные подходы к многоуровневому разбиению интегральной схемы.

[[Media:VLSI_418_graph_partitioning.pdf|Презентация]]

[[Media:VLSI_418_graph_partitioning_2016.pdf|Презентация(2016)]]

[[Media:VLSI_318_graph_partitioning_2017.pdf|Презентация(2017)]]

[http://vlsicad.eecs.umich.edu/KLMH/downloads/book/chapter2/chap2r-130523.pdf Презентация(2019)]

=== Размещение модулей интегральной схемы ===

# Задача глобального размещения элементов интегральной схемы и основные метрики оценки качества размещения.
# Основные подходы к размещению:
## геометрические методы и подходы, основанные на декомпозиции (min-cut placement),
## аналитические подходы (размещение как задача квадратичного программирования),
## стохастические подходы (моделирование отжига).
# Современные алгоритмы размещения.

[[Media:VLSI_418_placement.pdf|Презентация]]

[[Media:VLSI_418_placement_2016.pdf|Презентация(2016)]]

[[Media:VLSI_318_placement_2017.pdf|Презентация(2017)]]

[http://vlsicad.eecs.umich.edu/KLMH/downloads/book/chapter4/chap4-141124.pdf Презентация(2019)]

=== Трассировка соединений в интегральной схеме ===

# Основные задачи трассировки соединений: детальная и глобальная трассировка.
# Задача трассировки соединений. Классификация алгоритмов трассировки. Представление областей трассировки.
# Задача глобальной трассировки. MST и SMT деревья. Последовательный алгоритм построения дерева Штейнера.
# Одновременная трассировка всех сетей. Сведение задачи глобальной трассировки к задаче целочисленного линейного программирования.

[[Media:VLSI_418_routing.pdf|Презентация]]

[[Media:VLSI_418_routing_2016.pdf|Презентация(2016)]]

[[Media:VLSI_318_routing_2017.pdf|Презентация(2017)]]

[http://vlsicad.eecs.umich.edu/KLMH/downloads/book/chapter5/chap5-130517.pdf Презентация(2019)]

== Литература ==
# Г.Г.Казеннов, В.М.Щемелинин. Топологическое проектирование нерегулярных БИС. М., Высшая школа, 1990, 109с.
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС [[Media:Lozhkin-Marchenko-VSLI-models.pdf|[1]]].
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.
# T. Lengauer. Combinatorial algorithms for integrated circuit layout. Wiley, 1990, 694 p.
# Naveed Sherwani. Algorithms for VLSI physical design automation. Kluwer academic publishers, 1995, 538p.
# Introduction to Algorithms, T. Cormen, C. Lesierson, R. Rivest, The MIT Press, Second Printing, 1996.
# Handbook of Algorithms for Physical design Automation, Edited by Charles J. Alpert Dinesh P. Mehta Sachin S. Sapatnekar, 2009.
# Andrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu. VLSI Physical Design: From Graph Partitioning to Timing Closure, 2011

[[Категория:Лекционные_курсы_кафедры_МК]]

Файл:Specsem20240229.pdf

2024-02-28T16:09:31Z

ShupletsovMS:

Теория управляющих систем и математические модели СБИС

2024-02-28T16:09:05Z

ShupletsovMS: /* Расписание докладов */

''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''

Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]

== Расписание докладов ==

{| align="center" width="90%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 22 февраля
| Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)[[Media:Specsem20240222.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
| align="center" | 29 февраля
| Доклад по теме «Методы решения задачи поиска функциональных соответствий»[[Media:Specsem20240229.pdf|Аннотация доклада]]
| align="center" | Федоренко Илья
|-
|}

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

Файл:Logic synthesis 2023 exam questions.pdf

2023-12-04T14:01:18Z

ShupletsovMS:

Файл:Logic synthesis 2023 exam rules.pdf

2023-12-04T14:01:08Z

ShupletsovMS:

Математические модели и методы логического синтеза сверхбольших интегральных схем

2023-12-04T14:00:22Z

ShupletsovMS: /* Материалы к экзамену */

Курс по магистерской программе Дискретные управляющие системы и их приложения.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор — доцент [[Шуплецов Михаил Сергеевич]].

'''Объем:''' 32 ч.

'''Начало курса:'''

'''Время:'''

'''Аудитория:'''

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

== Материалы к экзамену ==
* [[Media:Logic_synthesis_2023_exam_rules.pdf|Правила проведения экзамена]].
* [[Media:Logic_synthesis_2023_exam_questions.pdf|Список вопросов к экзамену]].

=== Списки вопросов в экзамену прошлых лет ===
* [[Media:Logic_synthesis_2020_exam_questions.pdf|Список вопросов к экзамену(2020-2021 учебный год)]].
* [[Media:Logic_synthesis_2019_exam_questions.pdf|Список вопросов к экзамену(2019-2020 учебный год)]].
* [[Media:Logic_synthesis_2018_exam_questions.pdf|Список вопросов к экзамену(2018-2019 учебный год)]].
* [[Media:Logic_synthesis_2017_exam_questions.pdf|Список вопросов к экзамену(2017-2018 учебный год)]].
* [[Media:Logic_synthesis_2015_exam_questions.pdf|Список вопросов к экзамену]].

== Программа Курса ==

=== Задача проектирования цифровых СБИС и связанные с ней модели дискретных управляющих систем ===

Общие сведения о проектировании цифровых СБИС, средства автоматизации проектирования. Основные стратегии проектирования цифровых СБИС.

Методология проектирования на основе стандартных элементов (ячеек). Программируемые матрицы логических элементов (ПЛИС). Системы на кристалле.

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

Упрощенный маршрут проектирования современных цифровых СБИС.

Меры качества разработки цифровых СБИС. Параметры, оптимизируемые при проектировании СБИС. Источники шума в СБИС, влияние шума на цифровые СБИС.

[[Media:Logic_synthesis_intro.pdf|Презентация]].

=== Модель логических схем на КМОП-транзисторах ===

==== Полевые транзисторы, принцип их работы и устройство ====

N- и P-канальные транзисторы, их проводимость. Логические схемы НЕ, 2-НЕ-ИЛИ и др. Передаточная характеристика по напряжению, запас устойчивости по шуму и поглощение шума на примере КМОП инвертора.

==== Модель комбинационных логических схем на КМОП-транзисторах ====

Структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП- схемы.

Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС), итеративно-контактных схем (ИКС) и схем из функциональных элементов (СФЭ). Примеры и сравнительный анализ разных типов структурного моделирования (СФЭ, КС и ИКС).

Связь между логическим и транзисторным уровнем, понятие о технологической библиотеке.

Задача поиска оптимальных и близких к ним схем, реализующих функции от малого числа переменных.

[[Media:Logic_synthesis_CMOS.pdf|Презентация]].

=== Логическая оптимизация комбинационных логических схем ===

Различные способы представления функций алгебры логики (ФАЛ) (таблицы истинности, формулы, двоичные решающие диаграммы, схемы из функциональных элементов). Сравнение указанных представлений и их ограничения.

Комбинационные логические сети (КЛС). Задача оптимизации КЛС (различные постановки задач, функционалы качества при оптимизации КЛС). Основные типы преобразований КЛС: исключение, разложение, экстракция, упрощение и подстановка.
Алгебраическая модель. Разложение на основе деления. Булевская модель и разложение на основе булевского деления.

[[Media:Logic_synthesis_CLS.pdf|Презентация]].

Не всюду определенные функции. Использование областей неопределенности для локальной оптимизации схем.

[[Media:Logic_synthesis_CLS_bool.pdf|Презентация]].

Конъюнктивно-инверсные графы (And-Inverter Graphs (AIG)). Связь AIG со СФЭ в базисе Поста. Структурное хэширование AIG. Основные типы преобразования AIG. Алгоритмы минимизации AIG.

[[Media:Logic_synthesis_AIG.pdf|Презентация]].

=== Временная оптимизация схем на логическом уровне ===

==== Элементы с памятью, особенности временных характеристик схем ====

Представление об RC-схемах и их задержке, временной анализ схем. Логическая и транзисторная схемы асинхронной ячейки памяти(защелки), ее функционирование. Схема D-триггера и его связь с единичной задержкой. Статический временной анализ. Трепетание сигнала (glitches). Понятие о ложном критическом пути.

[[Media:Logic_synthesis_CMOS_memory.pdf|Презентация]].

==== Задачи временной оптимизации (retiming) ====
Общее описание автоматных моделей. Основные задачи. Синхронные логические схемы (СЛС). Связь СЛС со схемами из функциональных элементов и элементов задержки. Алгоритмы временной оптимизации СЛС (Retiming).

[[Media:Logic_synthesis_retiming.pdf|Презентация]].

=== Привязка логической схемы к библиотеке ===

Общая постановка задачи. Общая схема решения (этапы решения). Приведение схемы(decomposition), разбиение схемы(partitioning), поиск соответствий(matching), поиск оптимального покрытия(covering).

Поиск структурных соответствий (structural matching). Постановка задачи. Рекурсивный алгоритм поиска структурных соответствий. Задача поиска подстроки в строки. Алгоритм Ахо-Корасик. Кодирование деревьев при помощи строк. Поиск структурных соответствий при помощи алгоритма Ахо-Корасик.

[[Media:Logic_synthesis_structural_matching.pdf|Презентация]].

Решение задачи привязки логической схемы к библиотеке при помощи методов динамического программирования.

[[Media:Logic_synthesis_mapping.pdf|Презентация]].

=== Тестирование и верификация логических схем ===
Задачи верификации и тестирования логических схем и основные подходы к ее решению. Методы автоматической генерации тестов для схем. Задача выполнимости булевых формул. Основные принципы и подходы к построению эффективных программ для решения указанной задачи. Задача верификации логических комбинационных схем (combinational equivalence checking). Основные методы решения указанной задачи.

[[Media:Logic_synthesis_verification_intro.pdf|Презентация]]

== Литература ==
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]

Математические модели и методы синтеза СБИС

2023-05-31T15:59:03Z

ShupletsovMS: /* Материалы к экзамену */

Обязательный семестровый курс для студентов 318 группы.

Лекции по данному курсу читает доцент [[Шуплецов Михаил Сергеевич|Шуплецов М.С.]]. До 2017 года данный курс читался совместно с профессором Марченко А. М.

Лекции проходят один раз в неделю в 12:50 в аудитории 505. Материалы по семинарским занятиям курса можно найти [[Математические модели и методы синтеза СБИС(семинар)|здесь]].

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

== Материалы к экзамену ==
# Список вопросов к экзамену (вариант 2023 года) [[Media:MMMSBIS_2023.pdf|[1]]].
# Список вопросов к экзамену (вариант 2019 года) [[Media:MMMSBIS_2019.pdf|[2]]].
# Список вопросов к экзамену (вариант 2018 года) [[Media:MMMSBIS_2018.pdf|[3]]].
# Список вопросов к экзамену (вариант 2017 года) [[Media:MMMSBIS_2017.pdf|[4]]].
# Список вопросов к экзамену (вариант 2016 года) [[Media:MMMSBIS_2016.pdf|[5]]].
# Список вопросов к экзамену (вариант 2015 года) [[Media:MMMSBIS_2015.pdf|[6]]].
# Список вопросов к экзамену (вариант 2014 года) [[Media:MMMSBIS_2014.pdf|[7]]].

== Программа курса ==

=== Задача синтеза интегральных схем и основные сведения о КМОП технологии ===

# Общие сведения о проектировании цифровых интегральных схем
# КМОП транзисторы.
# Маршруты проектирования интегральных схем.
# Проектирование программируемых логических матриц (ПЛМ), полузаказных и заказных схем.
# Метод стандартных ячеек.

[[Media:VLSI_318_intro_2018.pdf|Презентация]]

[[Media:VLSI_418_technology_2017.pdf|Презентация о технологии производства микроэлектронных устройств от Марченко А.М.]]

=== Двухуровневый логический синтез ===

# Реализация функций алгебры логики в виде дизъюнктивных нормальных форм (ДНФ) и ее связь с ПЛМ.
# Простые импликанты и неизбыточные покрытия.
# Обобщенно-монотонное разложение булевых функций.
# Эвристические подходы к минимизации ДНФ.

[[Media:VLSI_318_two_level_2018.pdf|Презентация]]

[https://people.eecs.berkeley.edu/~brayton/courses/219b/ppslides/2-espresso.ppt Презентация - ESPRESSO]

=== Многоуровневый логический синтез ===

# Модель логических сетей и основные структурные операции над ними: упрощение вершин, декомпозиция и подстановка вершин.
# Операция деления и модель алгебраического деления.
# Совокупное ядро делителей и алгоритмы его нахождения.
# Основные способы нахождения общих делителей.
# Использование областей неопределенности (don’t care) для упрощения логических сетей.

=== Привязка к библиотечному базису ===

# Задача привязки логической схемы к технологической библиотеке (technology mapping).
# Основные алгоритмы привязки к технологической библиотеке.

[[Media:VLSI_418_tech_mapping.pdf|Презентация]]

=== Разбиение интегральной схемы ===

# Основные цели разбиения интегральной схемы, оценка качества разбиения и связь с теорией графов.
# Алгоритмы разбиения графов и гиперграфов: алгоритм Кернигана-Лина и его расширения, алгоритм Федуччи-Маттеуса (Fiduccia-Mattheyses).
# Задачи кластеризации и основные подходы к многоуровневому разбиению интегральной схемы.

[[Media:VLSI_418_graph_partitioning.pdf|Презентация]]

[[Media:VLSI_418_graph_partitioning_2016.pdf|Презентация(2016)]]

[[Media:VLSI_318_graph_partitioning_2017.pdf|Презентация(2017)]]

[http://vlsicad.eecs.umich.edu/KLMH/downloads/book/chapter2/chap2r-130523.pdf Презентация(2019)]

=== Размещение модулей интегральной схемы ===

# Задача глобального размещения элементов интегральной схемы и основные метрики оценки качества размещения.
# Основные подходы к размещению:
## геометрические методы и подходы, основанные на декомпозиции (min-cut placement),
## аналитические подходы (размещение как задача квадратичного программирования),
## стохастические подходы (моделирование отжига).
# Современные алгоритмы размещения.

[[Media:VLSI_418_placement.pdf|Презентация]]

[[Media:VLSI_418_placement_2016.pdf|Презентация(2016)]]

[[Media:VLSI_318_placement_2017.pdf|Презентация(2017)]]

[http://vlsicad.eecs.umich.edu/KLMH/downloads/book/chapter4/chap4-141124.pdf Презентация(2019)]

=== Трассировка соединений в интегральной схеме ===

# Основные задачи трассировки соединений: детальная и глобальная трассировка.
# Задача трассировки соединений. Классификация алгоритмов трассировки. Представление областей трассировки.
# Задача глобальной трассировки. MST и SMT деревья. Последовательный алгоритм построения дерева Штейнера.
# Одновременная трассировка всех сетей. Сведение задачи глобальной трассировки к задаче целочисленного линейного программирования.

[[Media:VLSI_418_routing.pdf|Презентация]]

[[Media:VLSI_418_routing_2016.pdf|Презентация(2016)]]

[[Media:VLSI_318_routing_2017.pdf|Презентация(2017)]]

[http://vlsicad.eecs.umich.edu/KLMH/downloads/book/chapter5/chap5-130517.pdf Презентация(2019)]

== Литература ==
# Г.Г.Казеннов, В.М.Щемелинин. Топологическое проектирование нерегулярных БИС. М., Высшая школа, 1990, 109с.
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС [[Media:Lozhkin-Marchenko-VSLI-models.pdf|[1]]].
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.
# T. Lengauer. Combinatorial algorithms for integrated circuit layout. Wiley, 1990, 694 p.
# Naveed Sherwani. Algorithms for VLSI physical design automation. Kluwer academic publishers, 1995, 538p.
# Introduction to Algorithms, T. Cormen, C. Lesierson, R. Rivest, The MIT Press, Second Printing, 1996.
# Handbook of Algorithms for Physical design Automation, Edited by Charles J. Alpert Dinesh P. Mehta Sachin S. Sapatnekar, 2009.
# Andrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu. VLSI Physical Design: From Graph Partitioning to Timing Closure, 2011

[[Категория:Лекционные_курсы_кафедры_МК]]

Файл:MMMSBIS 2023.pdf

2023-05-31T15:58:42Z

ShupletsovMS:

Математические модели и методы синтеза СБИС

2023-05-31T15:57:55Z

ShupletsovMS:

Обязательный семестровый курс для студентов 318 группы.

Лекции по данному курсу читает доцент [[Шуплецов Михаил Сергеевич|Шуплецов М.С.]]. До 2017 года данный курс читался совместно с профессором Марченко А. М.

Лекции проходят один раз в неделю в 12:50 в аудитории 505. Материалы по семинарским занятиям курса можно найти [[Математические модели и методы синтеза СБИС(семинар)|здесь]].

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

== Материалы к экзамену ==
# Список вопросов к экзамену (вариант 2023 года) [[Media:MMMSBIS_2023.pdf|[1]]].
# Список вопросов к экзамену (вариант 2019 года) [[Media:MMMSBIS_2019.pdf|[1]]].
# Список вопросов к экзамену (вариант 2018 года) [[Media:MMMSBIS_2018.pdf|[2]]].
# Список вопросов к экзамену (вариант 2017 года) [[Media:MMMSBIS_2017.pdf|[3]]].
# Список вопросов к экзамену (вариант 2016 года) [[Media:MMMSBIS_2016.pdf|[4]]].
# Список вопросов к экзамену (вариант 2015 года) [[Media:MMMSBIS_2015.pdf|[5]]].
# Список вопросов к экзамену (вариант 2014 года) [[Media:MMMSBIS_2014.pdf|[6]]].

== Программа курса ==

=== Задача синтеза интегральных схем и основные сведения о КМОП технологии ===

# Общие сведения о проектировании цифровых интегральных схем
# КМОП транзисторы.
# Маршруты проектирования интегральных схем.
# Проектирование программируемых логических матриц (ПЛМ), полузаказных и заказных схем.
# Метод стандартных ячеек.

[[Media:VLSI_318_intro_2018.pdf|Презентация]]

[[Media:VLSI_418_technology_2017.pdf|Презентация о технологии производства микроэлектронных устройств от Марченко А.М.]]

=== Двухуровневый логический синтез ===

# Реализация функций алгебры логики в виде дизъюнктивных нормальных форм (ДНФ) и ее связь с ПЛМ.
# Простые импликанты и неизбыточные покрытия.
# Обобщенно-монотонное разложение булевых функций.
# Эвристические подходы к минимизации ДНФ.

[[Media:VLSI_318_two_level_2018.pdf|Презентация]]

[https://people.eecs.berkeley.edu/~brayton/courses/219b/ppslides/2-espresso.ppt Презентация - ESPRESSO]

=== Многоуровневый логический синтез ===

# Модель логических сетей и основные структурные операции над ними: упрощение вершин, декомпозиция и подстановка вершин.
# Операция деления и модель алгебраического деления.
# Совокупное ядро делителей и алгоритмы его нахождения.
# Основные способы нахождения общих делителей.
# Использование областей неопределенности (don’t care) для упрощения логических сетей.

=== Привязка к библиотечному базису ===

# Задача привязки логической схемы к технологической библиотеке (technology mapping).
# Основные алгоритмы привязки к технологической библиотеке.

[[Media:VLSI_418_tech_mapping.pdf|Презентация]]

=== Разбиение интегральной схемы ===

# Основные цели разбиения интегральной схемы, оценка качества разбиения и связь с теорией графов.
# Алгоритмы разбиения графов и гиперграфов: алгоритм Кернигана-Лина и его расширения, алгоритм Федуччи-Маттеуса (Fiduccia-Mattheyses).
# Задачи кластеризации и основные подходы к многоуровневому разбиению интегральной схемы.

[[Media:VLSI_418_graph_partitioning.pdf|Презентация]]

[[Media:VLSI_418_graph_partitioning_2016.pdf|Презентация(2016)]]

[[Media:VLSI_318_graph_partitioning_2017.pdf|Презентация(2017)]]

[http://vlsicad.eecs.umich.edu/KLMH/downloads/book/chapter2/chap2r-130523.pdf Презентация(2019)]

=== Размещение модулей интегральной схемы ===

# Задача глобального размещения элементов интегральной схемы и основные метрики оценки качества размещения.
# Основные подходы к размещению:
## геометрические методы и подходы, основанные на декомпозиции (min-cut placement),
## аналитические подходы (размещение как задача квадратичного программирования),
## стохастические подходы (моделирование отжига).
# Современные алгоритмы размещения.

[[Media:VLSI_418_placement.pdf|Презентация]]

[[Media:VLSI_418_placement_2016.pdf|Презентация(2016)]]

[[Media:VLSI_318_placement_2017.pdf|Презентация(2017)]]

[http://vlsicad.eecs.umich.edu/KLMH/downloads/book/chapter4/chap4-141124.pdf Презентация(2019)]

=== Трассировка соединений в интегральной схеме ===

# Основные задачи трассировки соединений: детальная и глобальная трассировка.
# Задача трассировки соединений. Классификация алгоритмов трассировки. Представление областей трассировки.
# Задача глобальной трассировки. MST и SMT деревья. Последовательный алгоритм построения дерева Штейнера.
# Одновременная трассировка всех сетей. Сведение задачи глобальной трассировки к задаче целочисленного линейного программирования.

[[Media:VLSI_418_routing.pdf|Презентация]]

[[Media:VLSI_418_routing_2016.pdf|Презентация(2016)]]

[[Media:VLSI_318_routing_2017.pdf|Презентация(2017)]]

[http://vlsicad.eecs.umich.edu/KLMH/downloads/book/chapter5/chap5-130517.pdf Презентация(2019)]

== Литература ==
# Г.Г.Казеннов, В.М.Щемелинин. Топологическое проектирование нерегулярных БИС. М., Высшая школа, 1990, 109с.
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС [[Media:Lozhkin-Marchenko-VSLI-models.pdf|[1]]].
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.
# T. Lengauer. Combinatorial algorithms for integrated circuit layout. Wiley, 1990, 694 p.
# Naveed Sherwani. Algorithms for VLSI physical design automation. Kluwer academic publishers, 1995, 538p.
# Introduction to Algorithms, T. Cormen, C. Lesierson, R. Rivest, The MIT Press, Second Printing, 1996.
# Handbook of Algorithms for Physical design Automation, Edited by Charles J. Alpert Dinesh P. Mehta Sachin S. Sapatnekar, 2009.
# Andrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu. VLSI Physical Design: From Graph Partitioning to Timing Closure, 2011

[[Категория:Лекционные_курсы_кафедры_МК]]

Файл:Specem28032023.pdf

2023-03-28T08:53:23Z

ShupletsovMS:

Теория управляющих систем и математические модели СБИС

2023-03-28T08:53:15Z

ShupletsovMS: /* Расписание докладов */

''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''

Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]

== Расписание докладов ==

{| align="center" width="90%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 10 октября
| Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»[[Media:Specem_221008.pdf|Аннотация доклада]]
| align="center" | Козин Георгий
|-
| align="center" | 17 октября
| Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»[[Media:Specem_221017.pdf|Аннотация доклада]]
| align="center" | Исаков Ильяс
|-
| align="center" | 24 октября
| Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»[[Media:Specem_221024.pdf|Аннотация доклада]]
| align="center" | Местецкий Михаил
|-
| align="center" | 7 ноября
| Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»[[Media:Specem_221107.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|-
| align="center" | 14 ноября
| Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»
| align="center" | Фесенко Анастасия
|-
| align="center" | 21 ноября
| Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»[[Media:Specsem_221121.pdf|Аннотация доклада]]
| align="center" | Романов Дмитрий
|-
| align="center" | 28 ноября
| Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»[[Media:Specsem_221128.pdf|Аннотация доклада]]
| align="center" | Синенкова Анна
|-
| align="center" | 5 декабря
| Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»[[Media:Specsem221205.doc|Аннотация доклада]]
| align="center" | Романов Дмитрий
|-
| align="center" | 12 декабря
| Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»[[Media:Specsem221211.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 7 марта
| Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»[[Media:Specsem230307.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 14 марта
| Доклад по теме «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»[[Media:Specsem230314.pdf|Аннотация доклада]]
| align="center" | Кленин Максим
|-
| align="center" | 21 марта
| Доклад по теме «Алгоритмы построения заполняющих топологий»[[Media:Specem21032023.pdf|Аннотация доклада]]
| align="center" | Есипова Дарья
|-
| align="center" | 28 марта
| Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»[[Media:Specem28032023.pdf|Аннотация доклада]]
| align="center" | Соколов Михаил
|}

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

Просеминар для 2-го курса

2023-03-27T11:30:51Z

ShupletsovMS: /* Программа просеминара */

{{DISPLAYTITLE:Просеминар для 2-го курса "Избранные вопросы дискретной математики и математической кибернетики"}}

'''Информация о просеминаре 2022-2023 учебного года.'''

= Общая информация =

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

Просеминар начинает свою работу с 28.02.2023 и проводится в форме независимых лекций-семинаров, на которые приглашаются все заинтересованные студенты 1 и 2 курсов. Предварительных знаний не требуется.

Занятия проходят '''по вторникам с 16:20 до 17:55 в ауд. 503'''. На первых семинарах 28 февраля и 7 марта с общей информацией о научной тематике кафедры, а также с интересными примерами решаемых задач выступят зав. кафедрой профессор [[Ложкин Сергей Андреевич|С.А.Ложкин]] и профессор [[Алексеев Валерий Борисович|В.Б.Алексеев]].

[[Информация для 2 курса|Общая информация о кафедре для студентов 2 курса бакалавриата.]]

= Программа просеминара =

'''Сложность проверки свойств функций алгебры логики, заданных полиномами Жегалкина.'''

* Докладчик: [[Селезнева Светлана Николаевна |Селезнева С.Н.]]
* Дата: 4 апреля.
* Аннотация: При решении прикладных задач часто возникает необходимость в проверке свойств функций алгебры логики. При этом функции заданы определенным образом, в частности, нормальными формами. Одним из таких представлений являются полиномы Жегалкина. В докладе будут рассмотрены свойства монотонности, четности, периодичности, уравновешенности функции алгебры логики и показано, с какой сложностью можно проверить эти свойства функции по ее полиному Жегалкина.

'''Прикладные задачи автоматизации проектирования интегральных схем.'''

* Докладчик: [[Шуплецов Михаил Сергеевич |Шуплецов М.С.]]
* Дата: 28 марта.
* Аннотация: При решении задача проектирования интегральных схем возникает спектр прикладных математических задач из области дискретной математики и математической кибернетики. В докладе будут рассмотрены некоторые задачи, которые возникают на этапе логического проектирования интегральной схемы, а также некоторые задачи, связанные с верификацией схем.

'''Проблемы сложности, надежности и контроля на примере реализации линейной и некоторых других булевых функций в модели контактных схем и BDD.'''

* Докладчик: [[Ложкин Сергей Андреевич|Ложкин С.А.]]
* Дата: 21 марта.
* Аннотация: Решение основных проблем и задач теории дискретных управляющих систем, указанных в теме семинара, будет рассмотрено на примере счетчика четности, то есть суммы по модулю 2 заданного числа булевых переменных, при его реализации в классах контактных схем, являющихся моделью транзисторного уровня современных сверхбольших интегральных схем, и BDD. Для счетчика четности будут построены: минимальная контактная схема и близкий к минимальному тест, диагностирующий обрыв одного из ее контактов; минимальная схема, корректирующая обрыв одного контакта.

'''Сложность алгоритмов на графах.'''

* Докладчик: [[Алексеев Валерий Борисович|Алексеев В.Б.]]
* Дата: 14 марта.
* Аннотация: быстрый алгоритм транзитивного замыкания графа, быстрый приближенный алгоритм для поиска минимального вершинного покрытия, эйлеровы и гамильтоновы циклы, задача коммивояжера.

'''Оптимальная реализация некоторых монотонных симметрических функций формулами на основе двоичных кодов.'''

* Докладчик: [[Ложкин Сергей Андреевич|Ложкин С.А.]]
* Дата: 7 марта.
* [[Media: Proseminar 2023.03.07 annotation.pdf|Аннотация]].

'''Сложность алгебраических вычислений - примеры быстрых алгоритмов и нерешенные задачи.'''

* Докладчик: [[Алексеев Валерий Борисович|Алексеев В.Б.]]
* Дата: 28 февраля.
* Аннотация: Будет рассказано про нерешенную до конца («зависшую») проблему быстрого умножения матриц, про неожиданный алгоритм Штрассена для этой задачи и его обобщения, про следствия для быстрых алгоритмов на графах и в целом про сложность алгебраических вычислений.

= Материалы докладов прошлых лет =

[[Media:2016_Proseminar_FPGA.pdf|Программируемые логические интегральные схемы.]] (2016, [[Шуплецов Михаил Сергеевич|Шуплецов М.С.]])

[[Media:Proseminar_2016_Marchenko.pdf| Математические методы проектирования топологии СБИС.]] (2016, бывш. сотр. Марченко А.М.)

[[Media:Prosem_2016_Podymov_Zakharov.pdf| Дискретные модели и задачи управления компьютерными сетями.]] (2016, [[Захаров Владимир Анатольевич|Захаров В.А.]] и [[Подымов Владислав Васильевич|Подымов В.В.]])

Файл:Logic synthesis verification intro.pdf

2023-01-11T15:36:22Z

ShupletsovMS:

Математические модели и методы логического синтеза сверхбольших интегральных схем

2023-01-11T15:35:58Z

ShupletsovMS: /* Тестирование и верификация логических схем */

Курс по магистерской программе Дискретные управляющие системы и их приложения.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор — доцент [[Шуплецов Михаил Сергеевич]].

'''Объем:''' 32 ч.

'''Начало курса:'''

'''Время:'''

'''Аудитория:'''

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

== Материалы к экзамену ==
* [[Media:Logic_synthesis_2020_exam_rules.pdf|Правила проведения экзамена]].
* [[Media:Logic_synthesis_2020_exam_questions.pdf|Список вопросов к экзамену]].

=== Списки вопросов в экзамену прошлых лет ===
* [[Media:Logic_synthesis_2019_exam_questions.pdf|Список вопросов к экзамену(2019-2020 учебный год)]].
* [[Media:Logic_synthesis_2018_exam_questions.pdf|Список вопросов к экзамену(2018-2019 учебный год)]].
* [[Media:Logic_synthesis_2017_exam_questions.pdf|Список вопросов к экзамену(2017-2018 учебный год)]].
* [[Media:Logic_synthesis_2015_exam_questions.pdf|Список вопросов к экзамену]].

== Программа Курса ==

=== Задача проектирования цифровых СБИС и связанные с ней модели дискретных управляющих систем ===

Общие сведения о проектировании цифровых СБИС, средства автоматизации проектирования. Основные стратегии проектирования цифровых СБИС.

Методология проектирования на основе стандартных элементов (ячеек). Программируемые матрицы логических элементов (ПЛИС). Системы на кристалле.

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

Упрощенный маршрут проектирования современных цифровых СБИС.

Меры качества разработки цифровых СБИС. Параметры, оптимизируемые при проектировании СБИС. Источники шума в СБИС, влияние шума на цифровые СБИС.

[[Media:Logic_synthesis_intro.pdf|Презентация]].

=== Модель логических схем на КМОП-транзисторах ===

==== Полевые транзисторы, принцип их работы и устройство ====

N- и P-канальные транзисторы, их проводимость. Логические схемы НЕ, 2-НЕ-ИЛИ и др. Передаточная характеристика по напряжению, запас устойчивости по шуму и поглощение шума на примере КМОП инвертора.

==== Модель комбинационных логических схем на КМОП-транзисторах ====

Структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП- схемы.

Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС), итеративно-контактных схем (ИКС) и схем из функциональных элементов (СФЭ). Примеры и сравнительный анализ разных типов структурного моделирования (СФЭ, КС и ИКС).

Связь между логическим и транзисторным уровнем, понятие о технологической библиотеке.

Задача поиска оптимальных и близких к ним схем, реализующих функции от малого числа переменных.

[[Media:Logic_synthesis_CMOS.pdf|Презентация]].

=== Логическая оптимизация комбинационных логических схем ===

Различные способы представления функций алгебры логики (ФАЛ) (таблицы истинности, формулы, двоичные решающие диаграммы, схемы из функциональных элементов). Сравнение указанных представлений и их ограничения.

Комбинационные логические сети (КЛС). Задача оптимизации КЛС (различные постановки задач, функционалы качества при оптимизации КЛС). Основные типы преобразований КЛС: исключение, разложение, экстракция, упрощение и подстановка.
Алгебраическая модель. Разложение на основе деления. Булевская модель и разложение на основе булевского деления.

[[Media:Logic_synthesis_CLS.pdf|Презентация]].

Не всюду определенные функции. Использование областей неопределенности для локальной оптимизации схем.

[[Media:Logic_synthesis_CLS_bool.pdf|Презентация]].

Конъюнктивно-инверсные графы (And-Inverter Graphs (AIG)). Связь AIG со СФЭ в базисе Поста. Структурное хэширование AIG. Основные типы преобразования AIG. Алгоритмы минимизации AIG.

[[Media:Logic_synthesis_AIG.pdf|Презентация]].

=== Временная оптимизация схем на логическом уровне ===

==== Элементы с памятью, особенности временных характеристик схем ====

Представление об RC-схемах и их задержке, временной анализ схем. Логическая и транзисторная схемы асинхронной ячейки памяти(защелки), ее функционирование. Схема D-триггера и его связь с единичной задержкой. Статический временной анализ. Трепетание сигнала (glitches). Понятие о ложном критическом пути.

[[Media:Logic_synthesis_CMOS_memory.pdf|Презентация]].

==== Задачи временной оптимизации (retiming) ====
Общее описание автоматных моделей. Основные задачи. Синхронные логические схемы (СЛС). Связь СЛС со схемами из функциональных элементов и элементов задержки. Алгоритмы временной оптимизации СЛС (Retiming).

[[Media:Logic_synthesis_retiming.pdf|Презентация]].

=== Привязка логической схемы к библиотеке ===

Общая постановка задачи. Общая схема решения (этапы решения). Приведение схемы(decomposition), разбиение схемы(partitioning), поиск соответствий(matching), поиск оптимального покрытия(covering).

Поиск структурных соответствий (structural matching). Постановка задачи. Рекурсивный алгоритм поиска структурных соответствий. Задача поиска подстроки в строки. Алгоритм Ахо-Корасик. Кодирование деревьев при помощи строк. Поиск структурных соответствий при помощи алгоритма Ахо-Корасик.

[[Media:Logic_synthesis_structural_matching.pdf|Презентация]].

Решение задачи привязки логической схемы к библиотеке при помощи методов динамического программирования.

[[Media:Logic_synthesis_mapping.pdf|Презентация]].

=== Тестирование и верификация логических схем ===
Задачи верификации и тестирования логических схем и основные подходы к ее решению. Методы автоматической генерации тестов для схем. Задача выполнимости булевых формул. Основные принципы и подходы к построению эффективных программ для решения указанной задачи. Задача верификации логических комбинационных схем (combinational equivalence checking). Основные методы решения указанной задачи.

[[Media:Logic_synthesis_verification_intro.pdf|Презентация]]

== Литература ==
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]

Математические модели и методы логического синтеза сверхбольших интегральных схем

2023-01-11T15:34:44Z

ShupletsovMS:

Курс по магистерской программе Дискретные управляющие системы и их приложения.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор — доцент [[Шуплецов Михаил Сергеевич]].

'''Объем:''' 32 ч.

'''Начало курса:'''

'''Время:'''

'''Аудитория:'''

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

== Материалы к экзамену ==
* [[Media:Logic_synthesis_2020_exam_rules.pdf|Правила проведения экзамена]].
* [[Media:Logic_synthesis_2020_exam_questions.pdf|Список вопросов к экзамену]].

=== Списки вопросов в экзамену прошлых лет ===
* [[Media:Logic_synthesis_2019_exam_questions.pdf|Список вопросов к экзамену(2019-2020 учебный год)]].
* [[Media:Logic_synthesis_2018_exam_questions.pdf|Список вопросов к экзамену(2018-2019 учебный год)]].
* [[Media:Logic_synthesis_2017_exam_questions.pdf|Список вопросов к экзамену(2017-2018 учебный год)]].
* [[Media:Logic_synthesis_2015_exam_questions.pdf|Список вопросов к экзамену]].

== Программа Курса ==

=== Задача проектирования цифровых СБИС и связанные с ней модели дискретных управляющих систем ===

Общие сведения о проектировании цифровых СБИС, средства автоматизации проектирования. Основные стратегии проектирования цифровых СБИС.

Методология проектирования на основе стандартных элементов (ячеек). Программируемые матрицы логических элементов (ПЛИС). Системы на кристалле.

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

Упрощенный маршрут проектирования современных цифровых СБИС.

Меры качества разработки цифровых СБИС. Параметры, оптимизируемые при проектировании СБИС. Источники шума в СБИС, влияние шума на цифровые СБИС.

[[Media:Logic_synthesis_intro.pdf|Презентация]].

=== Модель логических схем на КМОП-транзисторах ===

==== Полевые транзисторы, принцип их работы и устройство ====

N- и P-канальные транзисторы, их проводимость. Логические схемы НЕ, 2-НЕ-ИЛИ и др. Передаточная характеристика по напряжению, запас устойчивости по шуму и поглощение шума на примере КМОП инвертора.

==== Модель комбинационных логических схем на КМОП-транзисторах ====

Структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП- схемы.

Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС), итеративно-контактных схем (ИКС) и схем из функциональных элементов (СФЭ). Примеры и сравнительный анализ разных типов структурного моделирования (СФЭ, КС и ИКС).

Связь между логическим и транзисторным уровнем, понятие о технологической библиотеке.

Задача поиска оптимальных и близких к ним схем, реализующих функции от малого числа переменных.

[[Media:Logic_synthesis_CMOS.pdf|Презентация]].

=== Логическая оптимизация комбинационных логических схем ===

Различные способы представления функций алгебры логики (ФАЛ) (таблицы истинности, формулы, двоичные решающие диаграммы, схемы из функциональных элементов). Сравнение указанных представлений и их ограничения.

Комбинационные логические сети (КЛС). Задача оптимизации КЛС (различные постановки задач, функционалы качества при оптимизации КЛС). Основные типы преобразований КЛС: исключение, разложение, экстракция, упрощение и подстановка.
Алгебраическая модель. Разложение на основе деления. Булевская модель и разложение на основе булевского деления.

[[Media:Logic_synthesis_CLS.pdf|Презентация]].

Не всюду определенные функции. Использование областей неопределенности для локальной оптимизации схем.

[[Media:Logic_synthesis_CLS_bool.pdf|Презентация]].

Конъюнктивно-инверсные графы (And-Inverter Graphs (AIG)). Связь AIG со СФЭ в базисе Поста. Структурное хэширование AIG. Основные типы преобразования AIG. Алгоритмы минимизации AIG.

[[Media:Logic_synthesis_AIG.pdf|Презентация]].

=== Временная оптимизация схем на логическом уровне ===

==== Элементы с памятью, особенности временных характеристик схем ====

Представление об RC-схемах и их задержке, временной анализ схем. Логическая и транзисторная схемы асинхронной ячейки памяти(защелки), ее функционирование. Схема D-триггера и его связь с единичной задержкой. Статический временной анализ. Трепетание сигнала (glitches). Понятие о ложном критическом пути.

[[Media:Logic_synthesis_CMOS_memory.pdf|Презентация]].

==== Задачи временной оптимизации (retiming) ====
Общее описание автоматных моделей. Основные задачи. Синхронные логические схемы (СЛС). Связь СЛС со схемами из функциональных элементов и элементов задержки. Алгоритмы временной оптимизации СЛС (Retiming).

[[Media:Logic_synthesis_retiming.pdf|Презентация]].

=== Привязка логической схемы к библиотеке ===

Общая постановка задачи. Общая схема решения (этапы решения). Приведение схемы(decomposition), разбиение схемы(partitioning), поиск соответствий(matching), поиск оптимального покрытия(covering).

Поиск структурных соответствий (structural matching). Постановка задачи. Рекурсивный алгоритм поиска структурных соответствий. Задача поиска подстроки в строки. Алгоритм Ахо-Корасик. Кодирование деревьев при помощи строк. Поиск структурных соответствий при помощи алгоритма Ахо-Корасик.

[[Media:Logic_synthesis_structural_matching.pdf|Презентация]].

Решение задачи привязки логической схемы к библиотеке при помощи методов динамического программирования.

[[Media:Logic_synthesis_mapping.pdf|Презентация]].

=== Тестирование и верификация логических схем ===
Задачи верификации и тестирования логических схем и основные подходы к ее решению. Методы автоматической генерации тестов для схем. Задача выполнимости булевых формул. Основные принципы и подходы к построению эффективных программ для решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-intro.ppt Презентация (ECE 667, University of Massachusetts) ]

Задача верификации логических комбинационных схем (combinational equivalence checking). Основные методы решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-EquivCheck.ppt Презентация (ECE 667, University of Massachusetts)]

== Литература ==
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]

Файл:Logic synthesis mapping.pdf

2023-01-11T15:33:58Z

ShupletsovMS:

Файл:Logic synthesis structural matching.pdf

2023-01-11T15:33:27Z

ShupletsovMS: ShupletsovMS загружена новая версия «Файл:Logic synthesis structural matching.pdf»

Файл:Logic synthesis CMOS memory.pdf

2023-01-11T15:32:34Z

ShupletsovMS: ShupletsovMS загружена новая версия «Файл:Logic synthesis CMOS memory.pdf»

Файл:Logic synthesis AIG.pdf

2023-01-11T15:31:44Z

ShupletsovMS:

Файл:Logic synthesis CLS bool.pdf

2023-01-11T15:31:30Z

ShupletsovMS:

Файл:Logic synthesis CLS.pdf

2023-01-11T15:30:51Z

ShupletsovMS: ShupletsovMS загружена новая версия «Файл:Logic synthesis CLS.pdf»

Математические модели и методы логического синтеза сверхбольших интегральных схем

2023-01-11T15:29:16Z

ShupletsovMS: /* Программа Курса */

Курс по магистерской программе Дискретные управляющие системы и их приложения.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор — доцент [[Шуплецов Михаил Сергеевич]].

'''Объем:''' 32 ч.

'''Начало курса:'''

'''Время:'''

'''Аудитория:'''

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

== Материалы к экзамену ==
* [[Media:Logic_synthesis_2020_exam_rules.pdf|Правила проведения экзамена]].
* [[Media:Logic_synthesis_2020_exam_questions.pdf|Список вопросов к экзамену]].

=== Списки вопросов в экзамену прошлых лет ===
* [[Media:Logic_synthesis_2019_exam_questions.pdf|Список вопросов к экзамену(2019-2020 учебный год)]].
* [[Media:Logic_synthesis_2018_exam_questions.pdf|Список вопросов к экзамену(2018-2019 учебный год)]].
* [[Media:Logic_synthesis_2017_exam_questions.pdf|Список вопросов к экзамену(2017-2018 учебный год)]].
* [[Media:Logic_synthesis_2015_exam_questions.pdf|Список вопросов к экзамену]].

== Программа Курса ==

=== Задача проектирования цифровых СБИС и связанные с ней модели дискретных управляющих систем ===

Общие сведения о проектировании цифровых СБИС, средства автоматизации проектирования. Основные стратегии проектирования цифровых СБИС.

Методология проектирования на основе стандартных элементов (ячеек). Программируемые матрицы логических элементов (ПЛИС). Системы на кристалле.

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

Упрощенный маршрут проектирования современных цифровых СБИС.

Меры качества разработки цифровых СБИС. Параметры, оптимизируемые при проектировании СБИС. Источники шума в СБИС, влияние шума на цифровые СБИС.

[[Media:Logic_synthesis_intro.pdf|Презентация]].

=== Модель логических схем на КМОП-транзисторах ===

==== Полевые транзисторы, принцип их работы и устройство ====

N- и P-канальные транзисторы, их проводимость. Логические схемы НЕ, 2-НЕ-ИЛИ и др. Передаточная характеристика по напряжению, запас устойчивости по шуму и поглощение шума на примере КМОП инвертора.

==== Модель комбинационных логических схем на КМОП-транзисторах ====

Структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП- схемы.

Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС), итеративно-контактных схем (ИКС) и схем из функциональных элементов (СФЭ). Примеры и сравнительный анализ разных типов структурного моделирования (СФЭ, КС и ИКС).

Связь между логическим и транзисторным уровнем, понятие о технологической библиотеке.

Задача поиска оптимальных и близких к ним схем, реализующих функции от малого числа переменных.

[[Media:Logic_synthesis_CMOS.pdf|Презентация]].

=== Логическая оптимизация комбинационных логических схем ===

Различные способы представления функций алгебры логики (ФАЛ) (таблицы истинности, формулы, двоичные решающие диаграммы, схемы из функциональных элементов). Сравнение указанных представлений и их ограничения.

Комбинационные логические сети (КЛС). Задача оптимизации КЛС (различные постановки задач, функционалы качества при оптимизации КЛС). Основные типы преобразований КЛС: исключение, разложение, экстракция, упрощение и подстановка.
Алгебраическая модель. Разложение на основе деления. Булевская модель и разложение на основе булевского деления.

[[Media:Logic_synthesis_CLS.pdf|Презентация]].

Не всюду определенные функции. Использование областей неопределенности для локальной оптимизации схем.

[[Media:Logic_synthesis_CLS_bool.pdf|Презентация]].

Конъюнктивно-инверсные графы (And-Inverter Graphs (AIG)). Связь AIG со СФЭ в базисе Поста. Структурное хэширование AIG. Основные типы преобразования AIG. Алгоритмы минимизации AIG.

[[Media:Logic_synthesis_AIG.pdf|Презентация]].

=== Временная оптимизация схем на логическом уровне ===

==== Элементы с памятью, особенности временных характеристик схем ====

Представление об RC-схемах и их задержке, временной анализ схем. Логическая и транзисторная схемы асинхронной ячейки памяти(защелки), ее функционирование. Схема D-триггера и его связь с единичной задержкой. Статический временной анализ. Трепетание сигнала (glitches). Понятие о ложном критическом пути.

[[Media:Logic_synthesis_CMOS_memory.pdf|Презентация]].

==== Задачи временной оптимизации (retiming) ====
Общее описание автоматных моделей. Основные задачи. Синхронные логические схемы (СЛС). Связь СЛС со схемами из функциональных элементов и элементов задержки. Алгоритмы временной оптимизации СЛС (Retiming).

[[Media:Logic_synthesis_retiming.pdf|Презентация]].

=== Привязка логической схемы к библиотеке ===

Общая постановка задачи. Общая схема решения (этапы решения). Приведение схемы(decomposition), разбиение схемы(partitioning), поиск соответствий(matching), поиск оптимального покрытия(covering).

Поиск структурных соответствий (structural matching). Постановка задачи. Рекурсивный алгоритм поиска структурных соответствий. Задача поиска подстроки в строки. Алгоритм Ахо-Корасик. Кодирование деревьев при помощи строк. Поиск структурных соответствий при помощи алгоритма Ахо-Корасик.

[[Media:Logic_synthesis_structural_matching.pdf|Презентация]].

Решение задачи привязки логической схемы к библиотеке при помощи методов динамического программирования.

[[Media:Logic_synthesis_mapping.pdf|Презентация]].

== Тестирование и верификация логических схем ==
Задачи верификации и тестирования логических схем и основные подходы к ее решению. Методы автоматической генерации тестов для схем. Задача выполнимости булевых формул. Основные принципы и подходы к построению эффективных программ для решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-intro.ppt Презентация (ECE 667, University of Massachusetts) ]

Задача верификации логических комбинационных схем (combinational equivalence checking). Основные методы решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-EquivCheck.ppt Презентация (ECE 667, University of Massachusetts)]

== Литература ==
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]

Файл:Logic synthesis retiming.pdf

2023-01-11T15:27:43Z

ShupletsovMS:

Математические модели и методы логического синтеза сверхбольших интегральных схем

2023-01-11T15:24:41Z

ShupletsovMS: /* Программа Курса */

Курс по магистерской программе Дискретные управляющие системы и их приложения.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор — доцент [[Шуплецов Михаил Сергеевич]].

'''Объем:''' 32 ч.

'''Начало курса:'''

'''Время:'''

'''Аудитория:'''

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

== Материалы к экзамену ==
* [[Media:Logic_synthesis_2020_exam_rules.pdf|Правила проведения экзамена]].
* [[Media:Logic_synthesis_2020_exam_questions.pdf|Список вопросов к экзамену]].

=== Списки вопросов в экзамену прошлых лет ===
* [[Media:Logic_synthesis_2019_exam_questions.pdf|Список вопросов к экзамену(2019-2020 учебный год)]].
* [[Media:Logic_synthesis_2018_exam_questions.pdf|Список вопросов к экзамену(2018-2019 учебный год)]].
* [[Media:Logic_synthesis_2017_exam_questions.pdf|Список вопросов к экзамену(2017-2018 учебный год)]].
* [[Media:Logic_synthesis_2015_exam_questions.pdf|Список вопросов к экзамену]].

== Программа Курса ==

=== Задача проектирования цифровых СБИС и связанные с ней модели дискретных управляющих систем ===

Общие сведения о проектировании цифровых СБИС, средства автоматизации проектирования. Основные стратегии проектирования цифровых СБИС.

Методология проектирования на основе стандартных элементов (ячеек). Программируемые матрицы логических элементов (ПЛИС). Системы на кристалле.

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

Упрощенный маршрут проектирования современных цифровых СБИС.

Меры качества разработки цифровых СБИС. Параметры, оптимизируемые при проектировании СБИС. Источники шума в СБИС, влияние шума на цифровые СБИС.

[[Media:Logic_synthesis_intro.pdf|Презентация]].

=== Модель логических схем на КМОП-транзисторах ===

==== Полевые транзисторы, принцип их работы и устройство ====

N- и P-канальные транзисторы, их проводимость. Логические схемы НЕ, 2-НЕ-ИЛИ и др. Передаточная характеристика по напряжению, запас устойчивости по шуму и поглощение шума на примере КМОП инвертора.

==== Модель комбинационных логических схем на КМОП-транзисторах ====

Структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП- схемы.

Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС), итеративно-контактных схем (ИКС) и схем из функциональных элементов (СФЭ). Примеры и сравнительный анализ разных типов структурного моделирования (СФЭ, КС и ИКС).

Связь между логическим и транзисторным уровнем, понятие о технологической библиотеке.

Задача поиска оптимальных и близких к ним схем, реализующих функции от малого числа переменных.

[[Media:Logic_synthesis_CMOS.pdf|Презентация]].

=== Логическая оптимизация комбинационных логических схем ===

Различные способы представления функций алгебры логики (ФАЛ) (таблицы истинности, формулы, двоичные решающие диаграммы, схемы из функциональных элементов). Сравнение указанных представлений и их ограничения.

Комбинационные логические сети (КЛС). Задача оптимизации КЛС (различные постановки задач, функционалы качества при оптимизации КЛС). Основные типы преобразований КЛС: исключение, разложение, экстракция, упрощение и подстановка.
Алгебраическая модель. Разложение на основе деления. Булевская модель и разложение на основе булевского деления.

Не всюду определенные функции. Использование областей неопределенности для локальной оптимизации схем.

[[Media:Logic_synthesis_CLS.pdf|Презентация]].

Конъюнктивно-инверсные графы (And-Inverter Graphs (AIG)). Связь AIG со СФЭ в базисе Поста. Структурное хэширование AIG. Основные типы преобразования AIG. Алгоритмы минимизации AIG.

[[Media:Logic_synthesis_CLS.pdf|Презентация]].

=== Временная оптимизация схем на логическом уровне ===

==== Элементы с памятью, особенности временных характеристик схем ====

Представление об RC-схемах и их задержке, временной анализ схем. Логическая и транзисторная схемы асинхронной ячейки памяти(защелки), ее функционирование. Схема D-триггера и его связь с единичной задержкой. Статический временной анализ. Трепетание сигнала (glitches). Понятие о ложном критическом пути.

[[Media:Logic_synthesis_CMOS_memory.pdf|Презентация]].

==== Задачи временной оптимизации (retiming) ====
Общее описание автоматных моделей. Основные задачи. Синхронные логические схемы (СЛС). Связь СЛС со схемами из функциональных элементов и элементов задержки. Алгоритмы временной оптимизации СЛС (Retiming).

[[Media:Logic_synthesis_retiming.pdf|Презентация]].

=== Привязка логической схемы к библиотеке ===

Общая постановка задачи. Общая схема решения (этапы решения). Приведение схемы(decomposition), разбиение схемы(partitioning), поиск соответствий(matching), поиск оптимального покрытия(covering).

Поиск структурных соответствий (structural matching). Постановка задачи. Рекурсивный алгоритм поиска структурных соответствий. Задача поиска подстроки в строки. Алгоритм Ахо-Корасик. Кодирование деревьев при помощи строк. Поиск структурных соответствий при помощи алгоритма Ахо-Корасик.

[[Media:Logic_synthesis_structural_matching.pdf|Презентация]].

Решение задачи привязки логической схемы к библиотеке при помощи методов динамического программирования.

[[Media:Logic_synthesis_mapping.pdf|Презентация]].

== Тестирование и верификация логических схем ==
Задачи верификации и тестирования логических схем и основные подходы к ее решению. Методы автоматической генерации тестов для схем. Задача выполнимости булевых формул. Основные принципы и подходы к построению эффективных программ для решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-intro.ppt Презентация (ECE 667, University of Massachusetts) ]

Задача верификации логических комбинационных схем (combinational equivalence checking). Основные методы решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-EquivCheck.ppt Презентация (ECE 667, University of Massachusetts)]

== Литература ==
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]

Файл:Logic synthesis CMOS.pdf

2023-01-11T15:10:33Z

ShupletsovMS: ShupletsovMS загружена новая версия «Файл:Logic synthesis CMOS.pdf»

Математические модели и методы логического синтеза сверхбольших интегральных схем

2023-01-11T15:10:01Z

ShupletsovMS: /* Программа Курса */

Курс по магистерской программе Дискретные управляющие системы и их приложения.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор — доцент [[Шуплецов Михаил Сергеевич]].

'''Объем:''' 32 ч.

'''Начало курса:'''

'''Время:'''

'''Аудитория:'''

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

== Материалы к экзамену ==
* [[Media:Logic_synthesis_2020_exam_rules.pdf|Правила проведения экзамена]].
* [[Media:Logic_synthesis_2020_exam_questions.pdf|Список вопросов к экзамену]].

=== Списки вопросов в экзамену прошлых лет ===
* [[Media:Logic_synthesis_2019_exam_questions.pdf|Список вопросов к экзамену(2019-2020 учебный год)]].
* [[Media:Logic_synthesis_2018_exam_questions.pdf|Список вопросов к экзамену(2018-2019 учебный год)]].
* [[Media:Logic_synthesis_2017_exam_questions.pdf|Список вопросов к экзамену(2017-2018 учебный год)]].
* [[Media:Logic_synthesis_2015_exam_questions.pdf|Список вопросов к экзамену]].

== Программа Курса ==

=== Задача проектирования цифровых СБИС и связанные с ней модели дискретных управляющих систем ===

Общие сведения о проектировании цифровых СБИС, средства автоматизации проектирования. Основные стратегии проектирования цифровых СБИС.

Методология проектирования на основе стандартных элементов (ячеек). Программируемые матрицы логических элементов (ПЛИС). Системы на кристалле.

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

Упрощенный маршрут проектирования современных цифровых СБИС.

Меры качества разработки цифровых СБИС. Параметры, оптимизируемые при проектировании СБИС. Источники шума в СБИС, влияние шума на цифровые СБИС.

[[Media:Logic_synthesis_intro.pdf|Презентация]].

=== Модель логических схем на КМОП-транзисторах ===

==== Полевые транзисторы, принцип их работы и устройство ====

N- и P-канальные транзисторы, их проводимость. Логические схемы НЕ, 2-НЕ-ИЛИ и др. Передаточная характеристика по напряжению, запас устойчивости по шуму и поглощение шума на примере КМОП инвертора.

==== Модель комбинационных логических схем на КМОП-транзисторах ====

Структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП- схемы.

Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС), итеративно-контактных схем (ИКС) и схем из функциональных элементов (СФЭ). Примеры и сравнительный анализ разных типов структурного моделирования (СФЭ, КС и ИКС).

Связь между логическим и транзисторным уровнем, понятие о технологической библиотеке.

Задача поиска оптимальных и близких к ним схем, реализующих функции от малого числа переменных.

[[Media:Logic_synthesis_CMOS.pdf|Презентация]].

==== КМОП-схемы с памятью, реализация автоматных функций КМОП-схемами ====

Представление об RC-схемах и их задержке, временной анализ транзисторных схем. Логическая и транзисторная схемы асинхронной ячейки памяти(защелки), ее функционирование. Схема D-триггера и его связь с единичной задержкой.

[[Media:Logic_synthesis_CMOS_memory.pdf|Презентация]].

=== Логическая оптимизация комбинационных логических схем ===

Различные способы представления функций алгебры логики (ФАЛ) (таблицы истинности, формулы, двоичные решающие диаграммы, схемы из функциональных элементов). Сравнение указанных представлений и их ограничения.

Комбинационные логические сети (КЛС). Задача оптимизации КЛС (различные постановки задач, функционалы качества при оптимизации КЛС). Основные типы преобразований КЛС: исключение, разложение, экстракция, упрощение и подстановка.

[[Media:Logic_synthesis_CLS.pdf|Презентация]].

Моделирование задержки на логическом уровне и задача оценки задержки КЛС. Ложные критические пути и алгоритмы их обнаружения. Алгоритмы оптимизации задержки.

[[Media:Logic_synthesis_depth.pdf|Презентация]].

Конъюнктивно-инверсные графы (And-Inverter Graphs (AIG)). Связь AIG со СФЭ в базисе Поста. Структурное хэширование AIG. Основные типы преобразования AIG. Алгоритмы минимизации AIG.

=== Логическая оптимизация последовательных схем ===

Общее описание автоматных моделей. Основные задачи. Структурная и поведенческая модель.

[[Media:Logic_synthesis_sequential.pdf|Презентация]].

Оптимизация последовательных схем на основе автоматных моделей. Задачи минимизации и кодирования состояний автомата.

Минимизация числа состояний детерминированного конечного автомата(ДКА). Теорема Мура и рекурсивное определение множества эквивалентных состояний. Алгоритм Хопкрофта. Не всюду определенные ДКА. Задача минимизации числа состояний не всюду определенного ДКА.

Синхронные логические схемы (СЛС). Связь СЛС со схемами из функциональных элементов и элементов задержки. Алгоритмы временной оптимизации СЛС (Retiming).

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-LSyn-retiming.ppt Презентация (ECE 667, University of Massachusetts) ]

=== Привязка логической схемы к библиотеке ===

Общая постановка задачи. Общая схема решения (этапы решения). Приведение схемы(decomposition), разбиение схемы(partitioning), поиск соответствий(matching), поиск оптимального покрытия(covering).

Поиск структурных соответствий (structural matching). Постановка задачи. Рекурсивный алгоритм поиска структурных соответствий. Задача поиска подстроки в строки. Алгоритм Ахо-Корасик. Кодирование деревьев при помощи строк. Поиск структурных соответствий при помощи алгоритма Ахо-Корасик.

[[Media:Logic_synthesis_structural_matching.pdf|Презентация]].

Поиск логических соответствий (Boolean matching). Постановка задачи. Алгоритмы поиска логических соответствий.

Задача привязки к библиотеке для ПЛИС. Особенности постановки задачи и этапы ее решения. Алгоритмы привязки к библиотеке для ПЛИС.

== Тестирование и верификация логических схем ==
Задачи верификации и тестирования логических схем и основные подходы к ее решению. Методы автоматической генерации тестов для схем. Задача выполнимости булевых формул. Основные принципы и подходы к построению эффективных программ для решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-intro.ppt Презентация (ECE 667, University of Massachusetts) ]

Задача верификации логических комбинационных схем (combinational equivalence checking). Основные методы решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-EquivCheck.ppt Презентация (ECE 667, University of Massachusetts)]

== Литература ==
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]

Файл:Logic synthesis intro.pdf

2023-01-11T15:06:09Z

ShupletsovMS: ShupletsovMS загружена новая версия «Файл:Logic synthesis intro.pdf»

Математические модели и методы логического синтеза сверхбольших интегральных схем

2023-01-11T15:03:51Z

ShupletsovMS: /* Материалы к экзамену */

Курс по магистерской программе Дискретные управляющие системы и их приложения.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор — доцент [[Шуплецов Михаил Сергеевич]].

'''Объем:''' 32 ч.

'''Начало курса:'''

'''Время:'''

'''Аудитория:'''

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

== Материалы к экзамену ==
* [[Media:Logic_synthesis_2020_exam_rules.pdf|Правила проведения экзамена]].
* [[Media:Logic_synthesis_2020_exam_questions.pdf|Список вопросов к экзамену]].

=== Списки вопросов в экзамену прошлых лет ===
* [[Media:Logic_synthesis_2019_exam_questions.pdf|Список вопросов к экзамену(2019-2020 учебный год)]].
* [[Media:Logic_synthesis_2018_exam_questions.pdf|Список вопросов к экзамену(2018-2019 учебный год)]].
* [[Media:Logic_synthesis_2017_exam_questions.pdf|Список вопросов к экзамену(2017-2018 учебный год)]].
* [[Media:Logic_synthesis_2015_exam_questions.pdf|Список вопросов к экзамену]].

== Программа Курса ==

=== Задача проектирования цифровых СБИС и связанные с ней модели дискретных управляющих систем ===

Общие сведения о проектировании цифровых СБИС, средства автоматизации проектирования. Основные стратегии проектирования цифровых СБИС.

Методология проектирования на основе стандартных элементов (ячеек). Программируемые матрицы логических элементов (ПЛИС). Системы на кристалле.

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

Упрощенный маршрут проектирования современных цифровых СБИС.

Меры качества разработки цифровых СБИС. Параметры, оптимизируемые при проектировании СБИС. Источники шума в СБИС, влияние шума на цифровые СБИС.

[[Media:Logic_synthesis_intro.pdf|Презентация]].

=== Модель логических схем на КМОП-транзисторах ===

==== Полевые транзисторы, принцип их работы и устройство ====

N- и P-канальные транзисторы, их проводимость. Логические схемы НЕ, 2-НЕ-ИЛИ и др. Передаточная характеристика по напряжению, запас устойчивости по шуму и поглощение шума на примере КМОП инвертора.

==== Модель комбинационных логических схем на КМОП-транзисторах ====

Структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП- схемы.

Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС), итеративно-контактных схем (ИКС) и схем из функциональных элементов (СФЭ). Примеры и сравнительный анализ разных типов структурного моделирования (СФЭ, КС и ИКС).

Связь между логическим и транзисторным уровнем, понятие о технологической библиотеке.

[[Media:Logic_synthesis_CMOS.pdf|Презентация]].

==== КМОП-схемы с памятью, реализация автоматных функций КМОП-схемами ====

Представление об RC-схемах и их задержке, временной анализ транзисторных схем. Логическая и транзисторная схемы асинхронной ячейки памяти(защелки), ее функционирование. Схема D-триггера и его связь с единичной задержкой.

[[Media:Logic_synthesis_CMOS_memory.pdf|Презентация]].

=== Логическая оптимизация комбинационных логических схем ===

Различные способы представления функций алгебры логики (ФАЛ) (таблицы истинности, формулы, двоичные решающие диаграммы, схемы из функциональных элементов). Сравнение указанных представлений и их ограничения.

Комбинационные логические сети (КЛС). Задача оптимизации КЛС (различные постановки задач, функционалы качества при оптимизации КЛС). Основные типы преобразований КЛС: исключение, разложение, экстракция, упрощение и подстановка.

[[Media:Logic_synthesis_CLS.pdf|Презентация]].

Моделирование задержки на логическом уровне и задача оценки задержки КЛС. Ложные критические пути и алгоритмы их обнаружения. Алгоритмы оптимизации задержки.

[[Media:Logic_synthesis_depth.pdf|Презентация]].

Конъюнктивно-инверсные графы (And-Inverter Graphs (AIG)). Связь AIG со СФЭ в базисе Поста. Структурное хэширование AIG. Основные типы преобразования AIG. Алгоритмы минимизации AIG.

=== Логическая оптимизация последовательных схем ===

Общее описание автоматных моделей. Основные задачи. Структурная и поведенческая модель.

[[Media:Logic_synthesis_sequential.pdf|Презентация]].

Оптимизация последовательных схем на основе автоматных моделей. Задачи минимизации и кодирования состояний автомата.

Минимизация числа состояний детерминированного конечного автомата(ДКА). Теорема Мура и рекурсивное определение множества эквивалентных состояний. Алгоритм Хопкрофта. Не всюду определенные ДКА. Задача минимизации числа состояний не всюду определенного ДКА.

Синхронные логические схемы (СЛС). Связь СЛС со схемами из функциональных элементов и элементов задержки. Алгоритмы временной оптимизации СЛС (Retiming).

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-LSyn-retiming.ppt Презентация (ECE 667, University of Massachusetts) ]

=== Привязка логической схемы к библиотеке ===

Общая постановка задачи. Общая схема решения (этапы решения). Приведение схемы(decomposition), разбиение схемы(partitioning), поиск соответствий(matching), поиск оптимального покрытия(covering).

Поиск структурных соответствий (structural matching). Постановка задачи. Рекурсивный алгоритм поиска структурных соответствий. Задача поиска подстроки в строки. Алгоритм Ахо-Корасик. Кодирование деревьев при помощи строк. Поиск структурных соответствий при помощи алгоритма Ахо-Корасик.

[[Media:Logic_synthesis_structural_matching.pdf|Презентация]].

Поиск логических соответствий (Boolean matching). Постановка задачи. Алгоритмы поиска логических соответствий.

Задача привязки к библиотеке для ПЛИС. Особенности постановки задачи и этапы ее решения. Алгоритмы привязки к библиотеке для ПЛИС.

== Тестирование и верификация логических схем ==
Задачи верификации и тестирования логических схем и основные подходы к ее решению. Методы автоматической генерации тестов для схем. Задача выполнимости булевых формул. Основные принципы и подходы к построению эффективных программ для решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-intro.ppt Презентация (ECE 667, University of Massachusetts) ]

Задача верификации логических комбинационных схем (combinational equivalence checking). Основные методы решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-EquivCheck.ppt Презентация (ECE 667, University of Massachusetts)]

== Литература ==
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]

Файл:MMMFSSBIS 2021.pdf

2021-06-09T09:06:51Z

ShupletsovMS:

Математические модели и методы физического синтеза сверхбольших интегральных схем

2021-06-09T09:06:36Z

ShupletsovMS: /* Материалы к экзамену */

Курс по магистерской программе "Дискретные управляющие системы и их приложения".
== Материалы к экзамену ==
# Список вопросов к экзамену (вариант 2021 года) [[Media:MMMFSSBIS_2021.pdf|[1]]]
# Ссылка на слайды для подготовки к экзамену: http://vlsicad.eecs.umich.edu/KLMH/presentations.html
# Ссылка на записи лекций: https://m.cs.msu.ru/s/x6nDJN9MecWLs7G

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]

Файл:DCSA2021.pdf

2021-04-16T10:30:26Z

ShupletsovMS:

Информация для 2 курса

2021-04-16T10:29:30Z

ShupletsovMS: /* Научно-образовательные направления */

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

По всем вопросам, связанным с распределением на кафедру математической кибернетики, обращаться по адресу электронной почты: mk@cs.msu.ru.

Информацию о преподавателях кафедры можно найти в [[:Категория:Сотрудники кафедры математической кибернетики| соответствующем разделе]] на сайте кафедры и на личных страницах преподавателей в [https://istina.msu.ru/organizations/department/276203/workers/ системе ИСТИНА].





= Научно-образовательные направления =
{|
|-
| style="padding: 10px;" | [[File:dsa_title.png|320px|link={{filepath:DSA2018.pdf}}]]
| style="padding: 10px;" | [[File:dusp_title.png|320px|link={{filepath:DCSA2021.pdf}}]]
|}

= Задачи для студентов 2 курса =
{|
|-
| style="padding: 10px;" | [[File:Exdsa2017.png|320px|link={{filepath:Exdsa2017.pdf}}]]
| style="padding: 10px;" | [[File:Exdusp2017.png|320px|link={{filepath:Exdusp2017.pdf}}]]
|}

Решения задач можно присылать на кафедральную почту mk@cs.msu.ru.

[[Просеминар для 2-го курса| Страница просеминара для 2-го курса, проводившегося в весеннем семестре 2015-2016 учебного года.]]

Файл:Logic synthesis 2020 exam questions.pdf

2020-12-11T10:36:47Z

ShupletsovMS:

Файл:Logic synthesis 2020 exam rules.pdf

2020-12-11T10:35:17Z

ShupletsovMS:

Математические модели и методы логического синтеза сверхбольших интегральных схем

2020-12-11T10:34:56Z

ShupletsovMS: /* Материалы к экзамену */

Курс по магистерской программе Дискретные управляющие системы и их приложения.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор — доцент [[Шуплецов Михаил Сергеевич]].

'''Объем:''' 32 ч.

'''Начало курса:'''

'''Время:'''

'''Аудитория:'''

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

== Материалы к экзамену ==
* [[Media:Logic_synthesis_2020_exam_rules.pdf|Правила проведения экзамена]].
* [[Media:Logic_synthesis_2020_exam_questions.pdf|Список вопросов к экзамену(2020-2021 учебный год)]].

=== Списки вопросов в экзамену прошлых лет ===
* [[Media:Logic_synthesis_2019_exam_questions.pdf|Список вопросов к экзамену(2019-2020 учебный год)]].
* [[Media:Logic_synthesis_2018_exam_questions.pdf|Список вопросов к экзамену(2018-2019 учебный год)]].
* [[Media:Logic_synthesis_2017_exam_questions.pdf|Список вопросов к экзамену(2017-2018 учебный год)]].
* [[Media:Logic_synthesis_2015_exam_questions.pdf|Список вопросов к экзамену]].

== Программа Курса ==

=== Задача проектирования цифровых СБИС и связанные с ней модели дискретных управляющих систем ===

Общие сведения о проектировании цифровых СБИС, средства автоматизации проектирования. Основные стратегии проектирования цифровых СБИС.

Методология проектирования на основе стандартных элементов (ячеек). Программируемые матрицы логических элементов (ПЛИС). Системы на кристалле.

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

Упрощенный маршрут проектирования современных цифровых СБИС.

Меры качества разработки цифровых СБИС. Параметры, оптимизируемые при проектировании СБИС. Источники шума в СБИС, влияние шума на цифровые СБИС.

[[Media:Logic_synthesis_intro.pdf|Презентация]].

=== Модель логических схем на КМОП-транзисторах ===

==== Полевые транзисторы, принцип их работы и устройство ====

N- и P-канальные транзисторы, их проводимость. Логические схемы НЕ, 2-НЕ-ИЛИ и др. Передаточная характеристика по напряжению, запас устойчивости по шуму и поглощение шума на примере КМОП инвертора.

==== Модель комбинационных логических схем на КМОП-транзисторах ====

Структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП- схемы.

Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС), итеративно-контактных схем (ИКС) и схем из функциональных элементов (СФЭ). Примеры и сравнительный анализ разных типов структурного моделирования (СФЭ, КС и ИКС).

Связь между логическим и транзисторным уровнем, понятие о технологической библиотеке.

[[Media:Logic_synthesis_CMOS.pdf|Презентация]].

==== КМОП-схемы с памятью, реализация автоматных функций КМОП-схемами ====

Представление об RC-схемах и их задержке, временной анализ транзисторных схем. Логическая и транзисторная схемы асинхронной ячейки памяти(защелки), ее функционирование. Схема D-триггера и его связь с единичной задержкой.

[[Media:Logic_synthesis_CMOS_memory.pdf|Презентация]].

=== Логическая оптимизация комбинационных логических схем ===

Различные способы представления функций алгебры логики (ФАЛ) (таблицы истинности, формулы, двоичные решающие диаграммы, схемы из функциональных элементов). Сравнение указанных представлений и их ограничения.

Комбинационные логические сети (КЛС). Задача оптимизации КЛС (различные постановки задач, функционалы качества при оптимизации КЛС). Основные типы преобразований КЛС: исключение, разложение, экстракция, упрощение и подстановка.

[[Media:Logic_synthesis_CLS.pdf|Презентация]].

Моделирование задержки на логическом уровне и задача оценки задержки КЛС. Ложные критические пути и алгоритмы их обнаружения. Алгоритмы оптимизации задержки.

[[Media:Logic_synthesis_depth.pdf|Презентация]].

Конъюнктивно-инверсные графы (And-Inverter Graphs (AIG)). Связь AIG со СФЭ в базисе Поста. Структурное хэширование AIG. Основные типы преобразования AIG. Алгоритмы минимизации AIG.

=== Логическая оптимизация последовательных схем ===

Общее описание автоматных моделей. Основные задачи. Структурная и поведенческая модель.

[[Media:Logic_synthesis_sequential.pdf|Презентация]].

Оптимизация последовательных схем на основе автоматных моделей. Задачи минимизации и кодирования состояний автомата.

Минимизация числа состояний детерминированного конечного автомата(ДКА). Теорема Мура и рекурсивное определение множества эквивалентных состояний. Алгоритм Хопкрофта. Не всюду определенные ДКА. Задача минимизации числа состояний не всюду определенного ДКА.

Синхронные логические схемы (СЛС). Связь СЛС со схемами из функциональных элементов и элементов задержки. Алгоритмы временной оптимизации СЛС (Retiming).

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-LSyn-retiming.ppt Презентация (ECE 667, University of Massachusetts) ]

=== Привязка логической схемы к библиотеке ===

Общая постановка задачи. Общая схема решения (этапы решения). Приведение схемы(decomposition), разбиение схемы(partitioning), поиск соответствий(matching), поиск оптимального покрытия(covering).

Поиск структурных соответствий (structural matching). Постановка задачи. Рекурсивный алгоритм поиска структурных соответствий. Задача поиска подстроки в строки. Алгоритм Ахо-Корасик. Кодирование деревьев при помощи строк. Поиск структурных соответствий при помощи алгоритма Ахо-Корасик.

[[Media:Logic_synthesis_structural_matching.pdf|Презентация]].

Поиск логических соответствий (Boolean matching). Постановка задачи. Алгоритмы поиска логических соответствий.

Задача привязки к библиотеке для ПЛИС. Особенности постановки задачи и этапы ее решения. Алгоритмы привязки к библиотеке для ПЛИС.

== Тестирование и верификация логических схем ==
Задачи верификации и тестирования логических схем и основные подходы к ее решению. Методы автоматической генерации тестов для схем. Задача выполнимости булевых формул. Основные принципы и подходы к построению эффективных программ для решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-intro.ppt Презентация (ECE 667, University of Massachusetts) ]

Задача верификации логических комбинационных схем (combinational equivalence checking). Основные методы решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-EquivCheck.ppt Презентация (ECE 667, University of Massachusetts)]

== Литература ==
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]

Шаблон:Important Announcements

2020-04-28T09:18:01Z

ShupletsovMS: /* Объявления */

== Объявления==
{|width = 90%
{{announce News|28 апреля 2020 г.| '''Вниманию студентов 418 группы и 618/1 и 618/2 групп!''' Предзащита выпускных работ пройдет 6-го и 7-го мая по специальному графику и с использованием системы Zoom. Время предзащиты определяется научным руководителем, поэтому каждый студент обязан связаться со своим научным руководителем для назначения времени защиты. Для допуска к предзащите студент или научный руководитель должен на адрес mk@cs.msu.ru прислать: электронную версию выпускной работы в формате pdf, скан-копию отзыва научного руководителя, компьютерная презентация доклада в формате ppt или pdf и информацию о рецензенте.}}
{{announce News|19 апреля 2020 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: vkr418_2020.pdf| требования к оформлению ВКР]]. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Информация о сроках и формате проведения предзащиты будет сообщена позднее.}}
{{announce News|19 апреля 2020 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: md618_2020.pdf| требования к оформлению магистерской диссертации]]. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Информация о сроках и формате проведения предзащиты будет сообщена позднее.}}
{{announce News|02 марта 2020 г.| Продолжает работу научный семинар кафедры математической кибернетики '''«Дискретная математика и математическая кибернетика»''' (руководители семинара – д.ф.-м.н., зав. каф. С.А.Ложкин, д.ф.-м.н., проф. В.Б.Алексеев). Заседание семинара состоится '''6 марта 2020 г., 16:30, ауд. 523'''. Докладчик: к.ф.-м.н. Сергеев Игорь Сергеевич (ФГУП «Научно-исследовательский институт «Квант», механико-математический факультет МГУ имени М.В. Ломоносова). Название доклада: «Некоторые вопросы синтеза параллельных схем».}}
{{announce News|28 февраля 2020 г.| Начинает работу '''просеминар кафедры''', на который приглашаются '''студенты 1 и 2 курсов'''. Занятия проходят по '''пятницам с 16:20 до 17:55 в ауд. 507''', первое занятие 28 февраля. Форма проведения: независимые лекции-семинары. [[Media:prosem20_schedule.pdf|План лекций-семинаров.]] }}
{{announce News|07 января 2020 г.| Вниманию студентов группы 618/1! Экзамен пр курсу [[Вероятностные и квантовые алгоритмы]] начнется 17 января (пятница) в 10 ч в ауд. 507. Консультация к экзамену по курсу [[Вероятностные и квантовые алгоритмы]] назначена 16 января (четверг) в 15.00 в ауд. 507.}}

<includeonly>|- class="announce"
| valign="top" nowrap="true" align="right" style="font-style:italic" |
| valign="top" style="padding-left:0.5cm;" align="right"|[[Template:Important Announcements|архив объявлений]]
</includeonly><noinclude>|}
__NOEDITSECTION__
=== Архив объявлений ===
----
{|width = 90%
{{announce News|29 декабря 2019 г.| Вниманию студентов 318-й группы! Консультация к экзамену по курсу [[Избранные вопросы дискретной математики]] состоится 8 января (в среду) в 11 ч в ауд. 504.}}
{{announce News|25 декабря 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Второй заход отчета по преддипломной практике (418 группа) и отчета по НИР (группы 618/1 и 618/2) пройдет ''' в понедельник 30 декабря 2019 в 11:00, в аудитории 503'''.}}
{{announce News|18 декабря 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Отчет по преддипломной практике (418 группа) и отчет по НИР (группы 618/1 и 618/2) пройдут ''' в среду 25 декабря 2019 в 11:00, в аудитории 524'''.}}
{{announce News|2 декабря 2019 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: otchet618-2019.pdf| требования к оформлению отчета по научно-исследовательской работе (НИР)]] и [[Media: otchet_pattern618-2019.zip| шаблоны отчета по НИР]].}}
{{announce News|2 декабря 2019 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: otchet418-2019.pdf| требования к оформлению отчета по преддипломной практике]] и [[Media: otchet_pattern418-2019.zip| шаблоны отчета по преддипломной практике]].}}
{{announce News|13 ноября 2019 г.| Традиционный '''[[Вечер кафедр 2019|вечер кафедр]]''' математической кибернетики и информационной безопасности состоится '''7 декабря''' (в субботу), ориентировочное время начала: '''17:30'''.}}
{{announce News|30 сентября 2019 г.| Начинает работу научный семинар кафедры математической кибернетики '''«Дискретная математика и математическая кибернетика»''' (руководители семинара – д.ф.-м.н., зав. каф. С.А.Ложкин, д.ф.-м.н., проф. В.Б.Алексеев). Первое заседание семинара состоится ''4 октября 2019 г., 16:30, ауд. 612''. Докладчик: д.ф.-м.н., профессор В.Б. Алексеев. Название доклада: «Что такое квантовые вычисления?». [[Media:dmseminar_191004.pdf|Аннотация доклада]].
}}
{{announce News|2 сентября 2019 г.| Вниманию студентов 518/2 группы! Первое занятие по курсу [[Проектирование_больших_систем_С%2B%2B|Проектирование больших систем на C++]] состоится '''11 сентября'''.}}
{{announce News|29 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Последняя итерация защит курсовых работ пройдет '''31 мая (пятница) 2019 г. в 11:00, ауд. 503'''.}}
{{announce News|27 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Вторая итерация защит курсовых работ пройдет '''29 мая (среда) 2019 г. в 11:00, ауд. 612'''.}}
{{announce News|22 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Защита курсовых работ пройдет '''27 мая (понедельник) 2019 г. в 11:00, ауд. 612'''.}}
{{announce News|22 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Появились [[Media:kursovaja_2019.zip |требования к оформлению курсовой работы]]. Информация о сроках проведения защит курсовых работ будет сообщена позднее.}}
{{announce News|24 апреля 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Финальный заход предзащиты ВКР и магистерских диссертаций пройдет '''8 мая (среда) 2019 г. в 16:00, ауд. 582'''.}}
{{announce News|24 апреля 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Второй заход предзащиты ВКР и магистерских диссертаций пройдет '''26 апреля (пятница) 2019 г. в 16:20, ауд. 504'''.}}
{{announce News|9 апреля 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Предзащита ВКР и магистерских диссертаций пройдет '''24 апреля (среда) 2019 г. в 15:15, ауд. 582'''.}}
{{announce News|1 апреля 2019 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: vkr418.pdf| требования к оформлению ВКР]]. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Информация о сроках проведения предзащиты будет сообщена позднее.}}
{{announce News|1 апреля 2019 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: md618.pdf| требования к оформлению магистерской диссертации]]. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Информация о сроках проведения предзащиты будет сообщена позднее.}}
{{announce News|1 января 2019 г.| Вниманию студентов 418 группы! Экзамен по курсу '''[[Сложность алгоритмов]]''' состоится 11 января в 10.00 (а не в 9.00) в ауд. 508.}}
{{announce News|1 января 2019 г.| Вниманию студентов 418 группы! Консультация по курсу '''[[Сложность алгоритмов]]''' состоится 10 января с 13 ч в ауд. 507.}}
{{announce News|1 января 2019 г.| Вниманию студентов группы 618/1! Экзамен по курсу '''[[Вероятностные и квантовые алгоритмы]]''' состоится 10 января в 10.00 (а не в 9.00) в ауд. 507.}}
{{announce News|1 января 2019 г.| Вниманию студентов группы 618/1! Консультация по курсу '''[[Вероятностные и квантовые алгоритмы]]''' состоится 9 января с 15 ч в ауд. 505.}}
{{announce News|30 декабря 2018 г.| Вниманию студентов 318 группы! Консультация по курсу '''[[Избранные вопросы дискретной математики]]''' состоится 9 января с 11 ч в ауд. 503.}}
{{announce News|20 декабря 2018 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Второй заход отчета по преддипломной практике (418 группа) и отчета по НИР (группы 618/1 и 618/2) пройдет '''26 декабря 2018 в 15:00, в аудитории 609'''.}}
{{announce News|20 декабря 2018 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Отчет по преддипломной практике (418 группа) и отчет по НИР (группы 618/1 и 618/2) пройдут '''24 декабря 2018 в 15:00, в аудитории 612'''.}}
{{announce News|10 декабря 2018 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: otchet618-2018.pdf| требования к оформлению отчета по научно-исследовательской работе (НИР)]] и [[Media: otchet_pattern618-2018.zip| шаблоны отчета по НИР]].}}
{{announce News|10 декабря 2018 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: otchet418-2018.pdf| требования к оформлению отчета по преддипломной практике]] и [[Media: otchet_pattern418-2018.zip| шаблоны отчета по преддипломной практике]].}}
{{announce News|7 ноября 2018 г.| Традиционный '''[[Вечер кафедр 2018|вечер кафедр]]''' математической кибернетики и информационной безопасности [[Media:Traditional meeting 2018 announcement.pdf|состоится]] '''8 декабря''' (в субботу), ориентировочное время начала: '''18:00'''.}}
{{announce News|17 октября 2018 г.| Спецкурс для аспирантов "'''Графы и их приложения'''" читается по пятницам с 8-45 до 9-20 в ауд. 503. Первая лекция - 19 октября.}}
{{announce News|11 октября 2018 г.| Начинает работу Межфакультетский научный семинар «[[Актуальные математические задачи, связанные с проектированием СБИС]]» Руководители семинара – профессор кафедры математической кибернетики (МК) факультета ВМК Ложкин С.А. и профессор кафедры математической теории интеллектуальных систем (МАТИС) механико-математического факультета Гасанов Э.Э. На заседаниях семинара предполагается рассматривать научные результаты последних лет, полученные при решении математических задач, связанных с теми или иными этапами проектирования различных типов современных СБИС. Планируется также проведение докладов, посвященных текущему состоянию производства и проектирования СБИС, анализу возникающих в этих областях математических проблем. Первое заседание семинара состоится '''12 октября 2018 г. в 16 30 в ауд. 508''' (совместно с семинаром «[[Теория управляющих систем и математические модели СБИС]]»). На нём будет представлен доклад аспиранта кафедры МАТИС '''Ефимова Алексея Андреевича''' на тему: '''«Нижняя оценка энергопотребления для одного класса объёмных схем»'''.}}
{{announce News|5 октября 2018 г.| Вниманию студентов 518/2 группы! Занятия по курсу [[Проектирование_больших_систем_С%2B%2B|Проектирование больших систем на C++]] с 5 октября будут проходить в ауд. '''612'''.}}
{{announce News|6 июня 2018 г. | Студенты, писавшие письменный тест по курсу [[Основы кибернетики (3-й поток)]], должны ознакомиться с результатами экзамена с 15:00 до 15:30 – в аудитории П-9 или с 16:00 до 16:30 – в аудитории 632.}}
{{announce News|28 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Вторая итерация защит курсовых работ состоится 30 мая (в среду). Для всех групп начало в '''11:00''', в ауд. 503.}}
{{announce News|22 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Защита курсовых работ состоится 28 мая (в понедельник). Начало в '''11:00''' для 318 группы, ауд. 503. Начало в '''12:00''' для студентов 518/1 и 518/2 групп, ауд. 503,504. [[Media:kursovaja_2018.zip |Требования к оформлению курсовой работы]] вывешены на доске объявлений кафедры.}}
{{announce News|8 мая 2018 г.| '''Вниманию студентов 418, 618/1 и 618/2 групп!''' Последняя итерация предзащиты выпускных курсов (4 и 6 курс) кафедры пройдет 11-го мая в аудитории 505, начало в 10:00.}}
{{announce News|7 мая 2018 г.| '''Вниманию аспирантов 1 г/о кафедр ИО, МК и ММП!''' Экзамен по курсу [[Дискретные модели управляющих систем]] состоится 16 мая (в среду) в ауд. 582. Выдача вопросов в 16 ч. Начало опроса в 17 ч.}}
{{announce News|13 апреля 2018 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: vkr418-2018.pdf| требования к оформлению ВКР]]. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Предзащита ВКР состоится 27 апреля (в пятницу) с 16:20 до 18:00 в ауд. 504 .}}
{{announce News|13 апреля 2018 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: md618-2018.pdf| требования к оформлению магистерской диссертации]]. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Предзащита магистерских диссертаций состоится 27 апреля (в пятницу) с 18:00 в ауд. 504 (группа 618/1) и ауд. 505 (группа 618/2).}}
{{announce News|9 февраля 2018 г.| '''Вниманию участников семинара "[[Сложность решения дискретных задач]]"!''' Первое (организационное) заседание семинара в весеннем семестре состоится '''16 февраля''' (в пятницу) в '''16-20''' в ауд. '''503'''. На нем будет рассказано о работе семинара в семестре и будут выданы статьи для докладов участникам.}}
{{announce News|1 января 2018 г.| '''Вниманию студентов группы 518/2!''' конcультация к экзамену по курсу [[Математические модели и методы логического синтеза сверхбольших интегральных схем]] пройдет 8-го января 2018 г. в ауд. 506, начало в 12:00.}}
{{announce News|26 декабря 2017 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' вторая попытка сдачи отчета по преддипломной практике и по научно-исследовательской работе пройдет 29 декабря (в пятницу) с 12 ч в ауд. 503.}}
{{announce News|26 декабря 2017 г.| '''Вниманию аспирантов кафедры МК!''' Аттестация аспирантов кафедры МК состоится в среду 17 января в 14 ч 00 мин, ауд. 612. На аттестацию необходимо прийти со всеми необходимыми для аттестации бумагами, полностью оформленными. О необходимых бумагах и их оформлении узнавайте в отделе аспирантуры.}}
{{announce News|22 декабря 2017 г.| '''Вниманию студентов группы 618/1!''' Консультация по курсу [[Вероятностные и квантовые алгоритмы]] состоится 9 января (во вторник) с 15 ч 00 мин в ауд. 504. Экзамен - 10 января (в среду) с 9 ч 00 мин в ауд. 507.}}
{{announce News|22 декабря 2017 г.| '''Вниманию студентов 418 группы!''' Консультация по курсу [[Сложность алгоритмов]] состоится 17 января (в среду) с 15 ч 00 мин в ауд. 504. Экзамен - 18 января (в четверг) с 9 ч 00 мин в ауд. 508.}}
{{announce News|22 декабря 2017 г.| '''Вниманию студентов 318 группы!''' Консультация по курсу [[Избранные вопросы дискретной математики]] состоится 13 января (в субботу) с 12 ч 30 мин в ауд. 507.}}
{{announce News|12 декабря 2017 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: otchet618-2017.pdf| требования к оформлению отчета по научно-исследовательской работе (НИР)]] и [[Media: otchet_pattern618-2017.zip| шаблоны отчета по НИР]]. Отчет по НИР состоится 25 декабря (в понедельник) с 11 ч в ауд. 503 (группа 618/1) и ауд. 504 (группа 618/2).}}
{{announce News|12 декабря 2017 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: otchet418-2017.pdf| требования к оформлению отчета по преддипломной практике]] и [[Media: otchet_pattern418-2017.zip| шаблоны отчета по преддипломной практике]]. Отчет по преддипломной практике состоится 25 декабря (в понедельник) с 12 ч в ауд. 503 и в ауд. 504.}}
{{announce News|10 ноября 2017 г.| Традиционный '''[[Вечер кафедр 2017|вечер кафедр]]''' математической кибернетики и информационной безопасности состоится '''25 ноября''' (в субботу), ориентировочное время начала: '''16:00'''.}}
{{announce News|6 октября 2017 г.| Вниманию студентов групп 518/1 и 618/1! На странице "Магистерские программы" появился список курсов, которые можно выбрать в качестве элективных в этом семестре. Для того, чтобы в конце семестра зачесть курс не из списка как элективный, необходимо '''срочно (!)''' обратиться к ответственному исполнителю магистерской программы "Дискретные структуры и алгоритмы".}}
{{announce News|5 октября 2017 г.| Вниманию студентов групп 518/2 и 618/2! На странице "Магистерские программы" появился список курсов, которые можно выбрать в качестве элективных в этом семестре. Чтобы была возможность в конце семестра зачесть курс не из списка как элективный, необходимо '''срочно (!)''' обратиться к руководству кафедры.}}
{{announce News|14 сентября 2017 г.| Вниманию студентов 518/2 группы! Занятия по курсу [[Проектирование_больших_систем_С%2B%2B|Проектирование больших систем на C++]] с 15 сентября будут проходить в ауд. '''609'''.}}
{{announce News|1 сентября 2017 г.| Вниманию студентов 318 группы! Нагрузка по курсу [[Избранные вопросы дискретной математики]] (ИВДМ): лекции - каждую неделю, семинары - раз в две недели. В понедельник, 4 сентября, состоится только лекция по ИВДМ на 3-й паре.}}
{{announce News|1 сентября 2017 г.| Поздравляем с началом нового учебного года! Успехов и новых свершений!}}
{{announce News|18 мая 2017 г.| Вниманию студентов 318, 518/1, 518/2 групп! Защита курсовых работ состоится 26 мая (в пятницу) начало в '''11:30''', ауд. 504,505. Требования к оформлению работы вывешены на доске объявлений кафедры. [[Media: title-kursovaja.zip |Образец титульного листа дипломной работы]].}}
{{announce News|5 мая 2017 г.| Вниманию студентов 618/1 и 618/2 групп! Пересдача предзащиты (отчете по преддипломной практике) состоится 10 мая (в пятницу) с 15 ч 00 мин до 16 ч 30 мин, ауд. 504.}}
{{announce News|3 мая 2017 г.| Вниманию студентов 418, 618/1 и 618/2 групп! Пересдача предзащиты (отчете по преддипломной практике) состоится 5 мая (в пятницу) с 16 ч 30 мин до 19 ч, ауд. 504. Первыми будут выступать студенты 418 группы.}}
{{announce News|21 апреля 2017 г.| Вниманию студентов 618/1 и 618/2 групп! Появились [[Media: mvkr618-2017.doc |сведения]] о предзащите (отчете по преддипломной практике). Предзащита состоится 3 мая (в среду) с 16 ч 30 мин до 18 ч: 618/1 группа - в ауд. 503; 618/2 группа - в ауд. 504.}}
{{announce News|21 апреля 2017 г.| Вниманию студентов 418 группы! Появились [[Media: vkr418-2017.doc |сведения]] о предзащите (отчете по преддипломной практике). Предзащита состоится 3 мая (в среду) с 15 ч до 16 ч 20 мин в ауд. 505.}}
{{announce News|12 апреля 2017 г.| В среду, 12 апреля в 17-00 (обратите внимание на время начала семинара!)
состоится доклад

Vijay Ganesh (University of Waterloo)
"On The Unreasonable Effectiveness of Boolean SAT Solvers".

Abstract:

Modern conflict-driven clause-learning (CDCL) Boolean SAT solvers routinely
solve very large industrial SAT instances in relatively short periods of
time. This phenomenon has stumped both theoreticians and practitioners
since Boolean satisfiability is an NP-complete problem widely believed to
be intractable. It is clear that these solvers somehow exploit the
structure of real-world instances. However, to-date there have been few
results that precisely characterize this structure or shed any light on why
these SAT solvers are so efficient.

In this talk, I will present results that provide a deeper empirical
understanding of why CDCL SAT solvers are so efficient, which may
eventually lead to a complexity-theoretic result. Our results can be
divided into two parts. First, I will talk about structural parameters that
can characterize industrial instances and shed light on why they are easier
to solve even though they may contain millions of variables compared to
small crafted instances with hundreds of variables. Second, I will talk
about internals of CDCL SAT solvers, and describe why they are particularly
suited to solve industrial instances.
}}
{{announce News|3 января 2017 г.| Вниманию студентов 418 группы! Консультация по курсу «Сложность алгоритмов» - во вторник 17 января в 12.00 в ауд. 504.}}
{{announce News|3 января 2017 г.| Вниманию студентов группы 618/1. Консультация по курсу «Вероятностные и квантовые алгоритмы» - в воскресенье 15 января в 12.00 в ауд. 506.}}
{{announce News|30 декабря 2016 г.| С НОВЫМ ГОДОМ! ЗДОРОВЬЯ, УСПЕХОВ, УДАЧИ В НОВОМ ГОДУ.}}
{{announce News|16 декабря 2016 г.| Вывешены [[Media: Вопросы_к_экзамену_по_курсу_ВКА.docx| вопросы к экзамену по курсу "Вероятностные и квантовые алгоритмы"]] для гр. 618/1, лектор - профессор [[Алексеев Валерий Борисович]].}}
{{announce News|16 декабря 2016 г.| На странице курса [[Сложность алгоритмов]] вывешены Вопросы к экзамену по курсу "Сложность алгоритмов" для гр. 418 2016 года, лектор - профессор [[Алексеев Валерий Борисович]].}}
{{announce News|14 декабря 2016 г.| Появилась [[Media: Программа курса ДА.doc| программа курса "Дискретный анализ"]], лектор - профессор [[Сапоженко Александр Антонович]].}}
{{announce News|2 декабря 2016 г.| Вниманию студентов 618/1 и 618/2 групп! Появились [[Media: otchet618-2016.doc| требования к оформлению отчета по научно-исследовательской работе (НИР)]]. Отчет по НИР состоится 23 декабря (в пятницу) с 10 ч в ауд. 503.}}
{{announce News|2 декабря 2016 г.| Вниманию студентов 418 группы! Появились [[Media: otchet418-2016.doc| требования к оформлению отчета по преддипломной практике]]. Отчет по преддипломной практике состоится 23 декабря (в пятницу) с 14 ч 30 мин в ауд. 503.}}
{{announce News|7 ноября 2016 г.| Традиционный '''[[Вечер кафедр 2016|вечер кафедр]]''' математической кибернетики и информационной безопасности состоится '''26 ноября''' (в субботу), ориентировочное время начала: '''16:00'''.}}
{{announce News|18 октября 2016 г.| 24 октября в МГУ будет проходить семинар по программе MIPSfpga. На семинаре вас познакомят с современными направлениями и архитектурными решениями при разработке систем на кристалле, а также предоставят возможность поработать с реализацией процессора MIPS в ПЛИС на примере образовательных плат компаний Altera и Xilinx. [[Семинар_MIPSfpga_(24.10.2016)|Подробности здесь.]]}}
{{announce News|13 сентября 2016 г.| На странице курса [[Основы кибернетики (3-й поток)]] вывешены результаты пересдачи по этому курсу, прошедшей 09.09.2016. Показ работ состоится 14.09 в 14:30 в ауд. 504.}}
{{announce News|20 мая 2016 г.| Вниманию студентов 318 группы! Защита курсовых работ состоится в пятницу, 27 мая, с 14 ч (аудитория будет объявлена дополнительно). Требования к оформлению работы вывешены на доске объявлений кафедры.}}
{{announce News|20 мая 2016 г.| Вниманию студентов 518/1 и 518/2 групп! Защита курсовых работ состоится в среду, 25 мая, с 11 ч 30 мин (аудитория будет объявлена дополнительно). Требования к оформлению работы вывешены на доске объявлений кафедры.}}
{{announce News|16 апреля 2016 г.| Вниманию студентов 2 курса! 25 апреля в ауд. 504 пройдет общая встреча студентов с преподавателями кафедры математической кибернетики, начало в 16:20.}}
{{announce News|8 апреля 2016 г.| Вниманию студентов 418 группы! Появилась информация о [[Media:2016-418.doc|предзащите в 418 группе]] и образец [[Media:titul-vkr.doc|титульного листа ВКР]]}}.
{{announce News|04 апреля 2016 г.| Вниманию студентов магистратуры! Начинается чтение спецкурса на английском языке [[Boolean SAT/SMT Solvers for Software Engineering]]. Лекции первой части курса пройдут 4-го, 5-го, 7-го и 8-го арпеля в аудитории 526б, начало лекций в 18:00.}}
{{announce News|04 марта 2016 г.| Вниманию студентов 1 и 2 курсов! Начинает свою работу просеминар кафедры математической кибернетики и лаборатории дискретных управляющих систем и их приложений для студентов 2 курса. Первое заседание просеминара пройдет 14 марта с 16:20 до 17:55 в ауд. 504. Информацию о докладах можно будет найти в ближайшее время на [[Просеминар для 2-го курса|странице просеминара]].}}
{{announce News|26 февраля 2016 г.| На семинаре кафедры математической кибернетики состоится представление [[Media:Thesis_Novikova.pdf|диссертации]] Татьяны Анатольевной Новиковой (Казахстанский филиал МГУ в г. Астана).}}
{{announce News|20 января 2016 г.| Вывешены [[Media:Ok_fall2015.pdf|вопросы к экзамену]] по курсу [[Основы кибернетики (2-й поток)|«Основы кибернетики» (2-й поток)]].}}
{{announce News|12 января 2016 г.| Вниманию студентов группы 518/2! Консультация к экзамену по курсу «Элементы теории синтеза, надёжности и контроля дискретных управляющих систем» состоится 16.01.2016 в 11:00 в ауд. 506. На ней будут объявлены результаты контрольной и выданы проверенные работы.}}
{{announce News|29 декабря 2015 г.| Вывешен [[Media:Вопросы_ЭТДУС_418.pdf|список]] вопросов и типовых задач к экзамену по курсу «Элементы теории дискретных управляющих систем», который состоится 12.01.2016 в 9:00 в ауд. 505. Консультация к этому экзамену пройдёт 11.01.2016 в 14:00 в ауд. 503.}}
{{announce News|14 декабря 2015 г.| Вывешены [[Media:Курс_ЭТСНКДУС_518-2.pdf|вопросы, типовые задачи и литература]] к экзамену по курсу «Элементы теории синтеза, надёжности и контроля дискретных управляющих систем». Контрольная по вопросам и задачам разделов I, II состоится 19 декабря в 13:00 в ауд. 507, а консультация к ней пройдёт 18 декабря в 16:30 в ауд. 505. }}
{{announce News|13 декабря 2015 г.| Вывешены [[Media:Курс_ОК_318,_418_Осень.pdf| вопросы, типовые задачи и литература]] к экзамену по курсу «Основы кибернетики». См. дополнительную информацию на [[Основы кибернетики (318, 418 группы)|странице курса]]. }}
{{announce News|24 ноября 2015 г.| Поздравляем команду факультета ВМК с победой в соревновании [http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ 2015 CAD Contest]! Подробности [[Команда факультета ВМК - победитель соревнования 2015 CAD Contest | здесь]]. }}
{{announce News|24 ноября 2015 г.| Вниманию участников вечера кафедр! Мероприятие состоится в аудитории '''П-7''' 2-го учебного корпуса. }}
{{announce News|19 ноября 2015 г.| 19 ноября 2015 года исполняется 80 лет со дня рождения доктора физико-математических наук профессора Гария Петровича Гаврилова (19.11.1935 – 05.12.1999), одного из первых двух штатных сотрудников кафедры математической кибернетики (в момент открытия она называлась кафедрой математической логики и теории автоматов). Гарий Петрович внес огромный вклад в организацию образования на факультете ВМК МГУ, в разработку новых курсов. Он получил много глубоких интересных результатов в математике, подготовил 6 кандидатов наук. Благодаря его переводам широкий круг людей в нашей стране познакомился с теорией графов. С краткой биографией и научными достижениями Гария Петровича Гаврилова можно ознакомиться [https://cs.msu.ru/persons/287 здесь]. }}
{{announce News|8 ноября 2015 г.| Традиционный '''вечер кафедр''' математической кибернетики и информационной безопасности (ранее - вечер кафедры математической кибернетики) состоится '''28 ноября''' (в субботу). Начало в '''16:00'''. Место проведения - 2-й учебный корпус, факультет ВМК. Аудитория будет объявлена позднее. По всем вопросам (в том числе выписыванию пропуска для прохода в корпус) можно обратиться сюда: [mailto:valdus@yandex.ru valdus@yandex.ru]. }}
{{announce News|5 ноября 2015 г.| Вниманию студентов! 10 ноября (16:00-20:00) представителем компании Imagination Technologies [http://panchul.com/about_ru/ Юрием Панчулом] совместно с кафедрой математической кибернетики будет проведен семинар, посвященный проекту [http://community.imgtec.com/university/ MIPSfpga]. На семинаре вас познакомят с основами работы с ПЛИС на примере образовательных плат компаний Altera и Xilinx. Подробности [[Media:Mipsfpga_announcement.pdf| здесь]]. }}
{{announce News|20 октября 2015 г.| Вниманию студентов 4-5 курсов! Спецсеминар [[Теория управляющих систем и математические модели СБИС]] 23 октября пройдет совместно со спецсеминаром [[Дискретная математика и математическая кибернетика]] в 16:20, ауд. 612. }}
{{announce News|17 октября 2015 г.| Вниманию студентов 318 группы! Выложено первое домашнее задание по [[Практикум (3 курс, осенний семестр 2015 года)| практикуму]]. }}
{{announce News|9 октября 2015 г.| Вниманию студентов спецсеминаров [[Некоторые вопросы теории управляющих систем]] и [[Теория управляющих систем и математические модели СБИС]] 9 октября пройдет совместное заседание спесеминаров в ауд. 704. }}
{{announce News|29 сентября 2015 г.| Вниманию студентов 418 группы! 30 сентября и 7 октября вместо лекций по курсу [[Элементы теории дискретных управляющих систем|"Элементы теории дискретных управляющих систем"]] пройдут занятия по "Практикуму на ЭВМ". }}
{{announce News|1 сентября 2015 г.| Первая и вторая лекции по курсу [[Математические модели и методы логического синтеза сверхбольших интегральных схем|Математические модели и методы логического синтеза СБИС]] для студентов группы 518(2) переносятся с 2 сентября и 9 сентября на 3-ю и 4-ую пару (с 12:50 до 16:10) 10 сентября в аудиторию 506.}}
{{announce News|31 августа 2015 г.| Вниманию студентов 518(2) группы! 2 сентября в 10-00 в ауд. 696 состоится собрание студентов магистерской программы [[:Категория:Магистерская программа Дискретные управляющие системы и их приложения|Дискретные управляющие системы и их приложения]]. Магистрантам указанной программы (особенно тем, кто не заканчивал кафедру математической кибернетики) рекомендуется прослушать первую часть курса [[Элементы теории дискретных управляющих систем]], который читается для студентов 418 группы (см. расписание и следующее объявление).}}
{{announce News|31 августа 2015 г.| Вниманию студентов 418 группы! Вместо занятий по практикуму 2 сентября и 9 сентября в 10-30 в ауд. 696 для студентов 418 группы состоятся лекции С.А.Ложкина по курсу [[Элементы теории дискретных управляющих систем]].}}
{{announce News|28 августа 2015 г.| Собрание коллектива факультета ВМК состоится в понедельник, 31 августа, в 12-30 в ауд. П_13.}}
{{announce News|26 мая 2015 г.| Защита курсовых работ студентов 318 группы состоится в среду, 27 мая, в ауд. 504. Начало в 11 ч. Информация об оформлении курсовых работ [[Media:kurs-318-2015.doc |здесь]]. Образец оформления титульного листа курсовой работы [[Media:titul-kurs-318-2015.doc | здесь]].}}
{{announce News|26 апреля 2015 г.| Выложены [[Media:OK_add_3.2_2015.pdf | дополнительные теоретические задачи]] к разделу "синтез и сложность управляющих систем" по курсам [[Основы кибернетики (3-й поток)]] , [[Основы кибернетики (318, 418 группы)]].}}
{{announce News|14 апреля 2015 г.| '''Обновление''' [[Media:diplom-518-2015.doc | информации для 518 группы]] об оформлении дипломной работы, сроках сдачи текста работы на кафедру и предзащитах, [[Media:titul-diplom-518-2015.doc | образец оформления титульного листа дипломной работы]].}}
{{announce News|14 апреля 2015 г.| '''Обновление''' [[Media:diplom-418-2015.doc | информации для 418 группы]] об оформлении выпускной квалификационной работы, сроках сдачи текста работы на кафедру и предзащитах, [[Media:titul-diplom-418-2015.doc | образец оформления титульного листа выпускной квалификационной работы]].}}
{{announce News|22 марта 2015 г.| Выложена [[Media:OK_add_2_2015.pdf | дополнительная задача]] к разделу "Эквивалентные преобразования управляющих систем" по курсам [[Основы кибернетики (3-й поток)]] , [[Основы кибернетики (318, 418 группы)]]. Задачи 1 и 3 к разделу "Минимизация ДНФ" больше не принимаются.}}
{{announce News|5 марта 2015 г.| Выложены [[Media:OK_add_1_2015.pdf | дополнительные задачи]] к разделу "Минимизация ДНФ" по курсам [[Основы кибернетики (3-й поток)]] , [[Основы кибернетики (318, 418 группы)]]}}
{{announce News|6 февраля 2015 г.| Доступно ''предварительное'' '''[[Расписание |расписание занятий]]''' на весенний семестр.}}
{{announce News|18 января 2015 г.| Консультация к экзамену по курсу [[Дискретная математика 1 (группа 141)]] для состоится 23 января, в пятницу, в ауд. 505. Консультация лектора - в 16 ч, консультация по решению задач - в 14 ч.}}
{{announce News|15 января 2015 г.| Консультация к экзамену по курсу [[Избранные вопросы дискретной математики]] для 318 группы состоится 20 января, во вторник, в 12-00 в аудитории 504. Информация о результатах коллоквиумов [[Media: ivdm-318-2015.doc|здесь]].}}
{{announce News|10 января 2015 г.| Консультация к экзамену по курсу "Сложность алгоритмов" для 418 группы пройдет 16 января в 16:00 в аудитории 505. Материалы для подготовки к экзамену можно найти на [[Сложность алгоритмов|странице курса]].}}
{{announce News|6 января 2015 г.| Консультация к экзамену по курсу "Избранные вопросы математической теории вычислений" для 518 группы пройдет 9 января в 16:00 в аудитории 504. Материалы для подготовки к экзамену можно найти на [[Модели вычислений|странице курса]].}}
{{announce News|5 января 2015 г.| Консультация к экзамену по курсу "Математические модели и методы синтеза СБИС" пройдет 9 января в 12:00 в аудитории 504. Материалы для подготовки к экзамену можно найти на [[Математические модели и методы синтеза СБИС|странице курса]].}}
{{announce News|25 ноября 2014 г.| Традиционный [[вечер кафедры]] математической кибернетики состоится '''6 декабря''' (в субботу) в ауд. '''П-7'''. Начало в '''16:00'''.}}
{{announce News|8 октября 2014 г.| Спецсеминар [[Некоторые вопросы теории управляющих систем]] начинает работу 10 октября. Спецсеминар будет проходить по пятницам в аудитории '''704''' в '''16:20'''.}}
{{announce News|30 сентября 2014 г.| Спецсеминар [[Теория управляющих систем и математические модели СБИС]] начинает работу 3 октября. Спецсеминар будет проходить по пятницам в аудитории '''612''' в '''16:20'''.}}
{{announce News|30 сентября 2014 г.| Совместный спецсеминар [[Дискретный анализ]] (рук. А.А. Сапоженко) и [[Сложность решения дискретных задач]] (рук. С.Н. Селезнева) начинает работу 3 октября. Спецсеминар будет проходить по пятницам в аудитории '''504''' с '''16:20''' до '''17:55'''.}}
{{announce News|29 сентября 2014 г.| Совместный спецсеминар [[Теоретические проблемы программирования]] (рук. Р.И. Подловченко, В.А. Захаров) и [[Математическая криптография]] (рук. М.И. Анохин, Н.П. Варновский) начинает работу 3 октября. Спецсеминар будет проходить по пятницам в аудитории '''508''' в '''16:20'''.}}
{{announce News|29 сентября 2014 г.| Вниманию слушателей спецкурса [[C++ 11/14 и современные аспекты построения компиляторов]]. Спецкурс будет проходить по четвергам в аудитории '''685''' в '''16:20'''.}}
{{announce News|22 сентября 2014 г.| Начинается чтение спецкурса Вычисления на машинах Минского. Лектор — проф. [[Марченков Сергей Серафимович]]. Первое занятие — 29 сентября в 10:30 аудитории 526-Б.}}
{{announce News|19 сентября 2014 г.| Начинается чтение спецкурса [[C++ 11/14 и современные аспекты построения компиляторов]]. Первое занятие — 25 сентября в аудитории 705.}}
{{announce News|11 июня 2014 г.| На страницах курсов [[Основы кибернетики (3-й поток)]] и [[Элементы теории дискретных управляющих систем]] (318 гр.) появилась информация о проведении экзаменов по этим курсам.}}
{{announce News|10 июня 2014 г.| [[Media:exam-vmb.doc|Вопросы к экзамену по курсу "Введение в математическую биологию"]] для студентов 418 группы.}}
{{announce News|06 июня 2014 г.| Для студентов 318 группы на странице курса [[Основы кибернетики (318, 418 группы)]], а также для студентов 320-328 групп на странице курса [[Основы кибернетики (3-й поток)]] появилась информация по поводу проведения консультаций.}}
{{announce News|03 июня 2014 г.| Для студентов 320-328 групп на странице курса [[Основы кибернетики (3-й поток)]] появилась информация по поводу проведения переписывания контрольных работ.}}
{{announce News|14 апреля 2014 г.| Для студентов 518 группы: [[Media: inf-518-2014.doc|информация о требованиях к дипломной работе]] и [[Media:title-diplom.doc|образец титульного листа дипломной работы]].}}
{{announce News|24 марта 2014 г.| Объявляется набор студентов и аспирантов в команду для решения [http://cad_contest.ee.ncu.edu.tw/CAD-Contest-at-ICCAD2014/problem_a/default.html одной из задач] соревнования [http://cad_contest.ee.ncu.edu.tw/CAD-Contest-at-ICCAD2014/ 2014 CAD Contest at ICCAD]. Записаться в команду и задать вопросы можно по адресу mikle.shupletsov@gmail.com. Краткое введение в проблематику задачи пройдет в рамках спецсеминара "Некоторые вопросы теории управляющих систем" 26 марта в 14-35 в ауд. 507. Кроме того, более подробную информацию по соревнованию можно будет получить 28 марта в 16-10 в ауд. П-13 (после лекции по курсу "Основы кибернетики").}}
{{announce News|24 марта 2014 г.| Выложена [[Media:OK_problems3.pdf | дополнительная задача]] к разделу "Синтез и сложность управляющих систем" по курсу [[Основы кибернетики (3-й поток)]].}}
{{announce News|18 февраля 2014 г.| Начинает работу спецсеминар [[Сложность решения дискретных задач]]. Первое заседание семинара состоится 21 февраля 2014 г. в 16-20 в ауд. 503.}}
{{announce News|17 февраля 2014 г.| Начинает работу спецсеминар [[Теория управляющих систем и математические модели СБИС]]. Первое заседание состоится 21 февраля в 16.20 в ауд. '''609'''.}}
{{announce News|17 февраля 2014 г.| Начинает работу спецсеминар [[Некоторые вопросы теории управляющих систем]]. Первое заседание состоится 19 февраля в 14.35 в ауд. '''507'''.}}
{{announce News|12 февраля 2014 г.| Начинается чтение спецкурса [[Архитектурные особенности современных вычислительных систем]]. Информация обновлена на странице курса.}}
{{announce News|10 февраля 2014 г.| Появилось объявление о докладе на спецсеминаре [[Дискретная математика и математическая кибернетика]] 14 февраля 2014 г.}}
{{announce News|15 января 2014 г.| Появилось объявление о докладе на спецсеминаре [[Дискретная математика и математическая кибернетика]] 7 февраля 2014 г.}}
{{announce News|1 января 2014 г.| С НОВЫМ 2014 ГОДОМ!}}
{{announce News|30 декабря 2013 г.| Для студентов 4-го курса появилось [[Media:kons-4-2013.docx| расписание консультаций]] по курсам "[[Основы кибернетики (2-й поток)]]" и "[[Математическая логика и логическое программирование]]" (для 3-го потока + 418-419 группы)}}
{{announce News|30 декабря 2013 г.| Для студентов 318, 418, 419, 518 групп появилось [[Media:kons-mk-2013.docx| расписание консультаций]] кафедральных курсов}}
{{announce News|24 декабря 2013 г.| Для студентов 418-419 групп появились [[Media:sa2013.doc|вопросы к экзамену]] и [[Media:konssa2013.docx|объявление о консультации]] по курсу "[[Сложность алгоритмов]]"}}
{{announce News|19 декабря 2013 г.| Для студентов 318 группы появилась информация к зачету на странице курса "[[Дополнительные главы дискретной математики (2-й поток III курса)|Дополнительные главы дискретной математики]]"}}
{{announce News|15 декабря 2013 г.| Для студентов 3-го курса 2-го потока появились [[Media:dgdm2013.pdf|вопросы к зачету]] по курсу "[[Дополнительные главы дискретной математики (2-й поток III курса)|Дополнительные главы дискретной математики]]" }}
{{announce News|13 декабря 2013 г.| Для студентов 518 группы появилась информация об [[Media:pract2013.pdf| отчете по производственной практике]] и об [[Media:dipl2013.pdf| отчете по дипломной работе]]}}
{{announce News|11 декабря 2013 г.| Традиционный ВЕЧЕР КАФЕДРЫ МАТЕМАТИЧЕСКОЙ КИБЕРНЕТИКИ факультета ВМК состоится в субботу 14 декабря в аудитории П7. Гостей ждем к 16 часам, официальное начало мероприятия -- в 16:30. Отметим, что в этом году фактически проводится совместный вечер двух кафедр -- математической кибернетики и информационной безопасности. Приходите -- будет интересно и весело!}}
{{announce News|3 октября 2013 г.| Начинает работу спецсеминар [[Некоторые вопросы теории управляющих систем]]. Первое заседание состоится 7 октября в 14.35 в ауд. '''506'''.}}
{{announce News|19 сентября 2013 г.| Начинает работу спецсеминар [[Теория управляющих систем и математические модели СБИС]]. Первое заседание состоится 20 сентября в 16.20 в ауд. '''612'''.}}
</noinclude>|}

Файл:Md618 2020.pdf

2020-04-19T14:33:47Z

ShupletsovMS:

Файл:Vkr418 2020.pdf

2020-04-19T14:33:32Z

ShupletsovMS:

Шаблон:Important Announcements

2020-04-19T14:33:05Z

ShupletsovMS: /* Объявления */

== Объявления==
{|width = 90%
{{announce News|19 апреля 2020 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: vkr418_2020.pdf| требования к оформлению ВКР]]. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Информация о сроках и формате проведения предзащиты будет сообщена позднее.}}
{{announce News|19 апреля 2020 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: md618_2020.pdf| требования к оформлению магистерской диссертации]]. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Информация о сроках и формате проведения предзащиты будет сообщена позднее.}}
{{announce News|02 марта 2020 г.| Продолжает работу научный семинар кафедры математической кибернетики '''«Дискретная математика и математическая кибернетика»''' (руководители семинара – д.ф.-м.н., зав. каф. С.А.Ложкин, д.ф.-м.н., проф. В.Б.Алексеев). Заседание семинара состоится '''6 марта 2020 г., 16:30, ауд. 523'''. Докладчик: к.ф.-м.н. Сергеев Игорь Сергеевич (ФГУП «Научно-исследовательский институт «Квант», механико-математический факультет МГУ имени М.В. Ломоносова). Название доклада: «Некоторые вопросы синтеза параллельных схем».}}
{{announce News|28 февраля 2020 г.| Начинает работу '''просеминар кафедры''', на который приглашаются '''студенты 1 и 2 курсов'''. Занятия проходят по '''пятницам с 16:20 до 17:55 в ауд. 507''', первое занятие 28 февраля. Форма проведения: независимые лекции-семинары. [[Media:prosem20_schedule.pdf|План лекций-семинаров.]] }}
{{announce News|07 января 2020 г.| Вниманию студентов группы 618/1! Экзамен пр курсу [[Вероятностные и квантовые алгоритмы]] начнется 17 января (пятница) в 10 ч в ауд. 507. Консультация к экзамену по курсу [[Вероятностные и квантовые алгоритмы]] назначена 16 января (четверг) в 15.00 в ауд. 507.}}

<includeonly>|- class="announce"
| valign="top" nowrap="true" align="right" style="font-style:italic" |
| valign="top" style="padding-left:0.5cm;" align="right"|[[Template:Important Announcements|архив объявлений]]
</includeonly><noinclude>|}
__NOEDITSECTION__
=== Архив объявлений ===
----
{|width = 90%
{{announce News|29 декабря 2019 г.| Вниманию студентов 318-й группы! Консультация к экзамену по курсу [[Избранные вопросы дискретной математики]] состоится 8 января (в среду) в 11 ч в ауд. 504.}}
{{announce News|25 декабря 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Второй заход отчета по преддипломной практике (418 группа) и отчета по НИР (группы 618/1 и 618/2) пройдет ''' в понедельник 30 декабря 2019 в 11:00, в аудитории 503'''.}}
{{announce News|18 декабря 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Отчет по преддипломной практике (418 группа) и отчет по НИР (группы 618/1 и 618/2) пройдут ''' в среду 25 декабря 2019 в 11:00, в аудитории 524'''.}}
{{announce News|2 декабря 2019 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: otchet618-2019.pdf| требования к оформлению отчета по научно-исследовательской работе (НИР)]] и [[Media: otchet_pattern618-2019.zip| шаблоны отчета по НИР]].}}
{{announce News|2 декабря 2019 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: otchet418-2019.pdf| требования к оформлению отчета по преддипломной практике]] и [[Media: otchet_pattern418-2019.zip| шаблоны отчета по преддипломной практике]].}}
{{announce News|13 ноября 2019 г.| Традиционный '''[[Вечер кафедр 2019|вечер кафедр]]''' математической кибернетики и информационной безопасности состоится '''7 декабря''' (в субботу), ориентировочное время начала: '''17:30'''.}}
{{announce News|30 сентября 2019 г.| Начинает работу научный семинар кафедры математической кибернетики '''«Дискретная математика и математическая кибернетика»''' (руководители семинара – д.ф.-м.н., зав. каф. С.А.Ложкин, д.ф.-м.н., проф. В.Б.Алексеев). Первое заседание семинара состоится ''4 октября 2019 г., 16:30, ауд. 612''. Докладчик: д.ф.-м.н., профессор В.Б. Алексеев. Название доклада: «Что такое квантовые вычисления?». [[Media:dmseminar_191004.pdf|Аннотация доклада]].
}}
{{announce News|2 сентября 2019 г.| Вниманию студентов 518/2 группы! Первое занятие по курсу [[Проектирование_больших_систем_С%2B%2B|Проектирование больших систем на C++]] состоится '''11 сентября'''.}}
{{announce News|29 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Последняя итерация защит курсовых работ пройдет '''31 мая (пятница) 2019 г. в 11:00, ауд. 503'''.}}
{{announce News|27 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Вторая итерация защит курсовых работ пройдет '''29 мая (среда) 2019 г. в 11:00, ауд. 612'''.}}
{{announce News|22 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Защита курсовых работ пройдет '''27 мая (понедельник) 2019 г. в 11:00, ауд. 612'''.}}
{{announce News|22 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Появились [[Media:kursovaja_2019.zip |требования к оформлению курсовой работы]]. Информация о сроках проведения защит курсовых работ будет сообщена позднее.}}
{{announce News|24 апреля 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Финальный заход предзащиты ВКР и магистерских диссертаций пройдет '''8 мая (среда) 2019 г. в 16:00, ауд. 582'''.}}
{{announce News|24 апреля 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Второй заход предзащиты ВКР и магистерских диссертаций пройдет '''26 апреля (пятница) 2019 г. в 16:20, ауд. 504'''.}}
{{announce News|9 апреля 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Предзащита ВКР и магистерских диссертаций пройдет '''24 апреля (среда) 2019 г. в 15:15, ауд. 582'''.}}
{{announce News|1 апреля 2019 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: vkr418.pdf| требования к оформлению ВКР]]. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Информация о сроках проведения предзащиты будет сообщена позднее.}}
{{announce News|1 апреля 2019 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: md618.pdf| требования к оформлению магистерской диссертации]]. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Информация о сроках проведения предзащиты будет сообщена позднее.}}
{{announce News|1 января 2019 г.| Вниманию студентов 418 группы! Экзамен по курсу '''[[Сложность алгоритмов]]''' состоится 11 января в 10.00 (а не в 9.00) в ауд. 508.}}
{{announce News|1 января 2019 г.| Вниманию студентов 418 группы! Консультация по курсу '''[[Сложность алгоритмов]]''' состоится 10 января с 13 ч в ауд. 507.}}
{{announce News|1 января 2019 г.| Вниманию студентов группы 618/1! Экзамен по курсу '''[[Вероятностные и квантовые алгоритмы]]''' состоится 10 января в 10.00 (а не в 9.00) в ауд. 507.}}
{{announce News|1 января 2019 г.| Вниманию студентов группы 618/1! Консультация по курсу '''[[Вероятностные и квантовые алгоритмы]]''' состоится 9 января с 15 ч в ауд. 505.}}
{{announce News|30 декабря 2018 г.| Вниманию студентов 318 группы! Консультация по курсу '''[[Избранные вопросы дискретной математики]]''' состоится 9 января с 11 ч в ауд. 503.}}
{{announce News|20 декабря 2018 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Второй заход отчета по преддипломной практике (418 группа) и отчета по НИР (группы 618/1 и 618/2) пройдет '''26 декабря 2018 в 15:00, в аудитории 609'''.}}
{{announce News|20 декабря 2018 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Отчет по преддипломной практике (418 группа) и отчет по НИР (группы 618/1 и 618/2) пройдут '''24 декабря 2018 в 15:00, в аудитории 612'''.}}
{{announce News|10 декабря 2018 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: otchet618-2018.pdf| требования к оформлению отчета по научно-исследовательской работе (НИР)]] и [[Media: otchet_pattern618-2018.zip| шаблоны отчета по НИР]].}}
{{announce News|10 декабря 2018 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: otchet418-2018.pdf| требования к оформлению отчета по преддипломной практике]] и [[Media: otchet_pattern418-2018.zip| шаблоны отчета по преддипломной практике]].}}
{{announce News|7 ноября 2018 г.| Традиционный '''[[Вечер кафедр 2018|вечер кафедр]]''' математической кибернетики и информационной безопасности [[Media:Traditional meeting 2018 announcement.pdf|состоится]] '''8 декабря''' (в субботу), ориентировочное время начала: '''18:00'''.}}
{{announce News|17 октября 2018 г.| Спецкурс для аспирантов "'''Графы и их приложения'''" читается по пятницам с 8-45 до 9-20 в ауд. 503. Первая лекция - 19 октября.}}
{{announce News|11 октября 2018 г.| Начинает работу Межфакультетский научный семинар «[[Актуальные математические задачи, связанные с проектированием СБИС]]» Руководители семинара – профессор кафедры математической кибернетики (МК) факультета ВМК Ложкин С.А. и профессор кафедры математической теории интеллектуальных систем (МАТИС) механико-математического факультета Гасанов Э.Э. На заседаниях семинара предполагается рассматривать научные результаты последних лет, полученные при решении математических задач, связанных с теми или иными этапами проектирования различных типов современных СБИС. Планируется также проведение докладов, посвященных текущему состоянию производства и проектирования СБИС, анализу возникающих в этих областях математических проблем. Первое заседание семинара состоится '''12 октября 2018 г. в 16 30 в ауд. 508''' (совместно с семинаром «[[Теория управляющих систем и математические модели СБИС]]»). На нём будет представлен доклад аспиранта кафедры МАТИС '''Ефимова Алексея Андреевича''' на тему: '''«Нижняя оценка энергопотребления для одного класса объёмных схем»'''.}}
{{announce News|5 октября 2018 г.| Вниманию студентов 518/2 группы! Занятия по курсу [[Проектирование_больших_систем_С%2B%2B|Проектирование больших систем на C++]] с 5 октября будут проходить в ауд. '''612'''.}}
{{announce News|6 июня 2018 г. | Студенты, писавшие письменный тест по курсу [[Основы кибернетики (3-й поток)]], должны ознакомиться с результатами экзамена с 15:00 до 15:30 – в аудитории П-9 или с 16:00 до 16:30 – в аудитории 632.}}
{{announce News|28 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Вторая итерация защит курсовых работ состоится 30 мая (в среду). Для всех групп начало в '''11:00''', в ауд. 503.}}
{{announce News|22 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Защита курсовых работ состоится 28 мая (в понедельник). Начало в '''11:00''' для 318 группы, ауд. 503. Начало в '''12:00''' для студентов 518/1 и 518/2 групп, ауд. 503,504. [[Media:kursovaja_2018.zip |Требования к оформлению курсовой работы]] вывешены на доске объявлений кафедры.}}
{{announce News|8 мая 2018 г.| '''Вниманию студентов 418, 618/1 и 618/2 групп!''' Последняя итерация предзащиты выпускных курсов (4 и 6 курс) кафедры пройдет 11-го мая в аудитории 505, начало в 10:00.}}
{{announce News|7 мая 2018 г.| '''Вниманию аспирантов 1 г/о кафедр ИО, МК и ММП!''' Экзамен по курсу [[Дискретные модели управляющих систем]] состоится 16 мая (в среду) в ауд. 582. Выдача вопросов в 16 ч. Начало опроса в 17 ч.}}
{{announce News|13 апреля 2018 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: vkr418-2018.pdf| требования к оформлению ВКР]]. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Предзащита ВКР состоится 27 апреля (в пятницу) с 16:20 до 18:00 в ауд. 504 .}}
{{announce News|13 апреля 2018 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: md618-2018.pdf| требования к оформлению магистерской диссертации]]. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Предзащита магистерских диссертаций состоится 27 апреля (в пятницу) с 18:00 в ауд. 504 (группа 618/1) и ауд. 505 (группа 618/2).}}
{{announce News|9 февраля 2018 г.| '''Вниманию участников семинара "[[Сложность решения дискретных задач]]"!''' Первое (организационное) заседание семинара в весеннем семестре состоится '''16 февраля''' (в пятницу) в '''16-20''' в ауд. '''503'''. На нем будет рассказано о работе семинара в семестре и будут выданы статьи для докладов участникам.}}
{{announce News|1 января 2018 г.| '''Вниманию студентов группы 518/2!''' конcультация к экзамену по курсу [[Математические модели и методы логического синтеза сверхбольших интегральных схем]] пройдет 8-го января 2018 г. в ауд. 506, начало в 12:00.}}
{{announce News|26 декабря 2017 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' вторая попытка сдачи отчета по преддипломной практике и по научно-исследовательской работе пройдет 29 декабря (в пятницу) с 12 ч в ауд. 503.}}
{{announce News|26 декабря 2017 г.| '''Вниманию аспирантов кафедры МК!''' Аттестация аспирантов кафедры МК состоится в среду 17 января в 14 ч 00 мин, ауд. 612. На аттестацию необходимо прийти со всеми необходимыми для аттестации бумагами, полностью оформленными. О необходимых бумагах и их оформлении узнавайте в отделе аспирантуры.}}
{{announce News|22 декабря 2017 г.| '''Вниманию студентов группы 618/1!''' Консультация по курсу [[Вероятностные и квантовые алгоритмы]] состоится 9 января (во вторник) с 15 ч 00 мин в ауд. 504. Экзамен - 10 января (в среду) с 9 ч 00 мин в ауд. 507.}}
{{announce News|22 декабря 2017 г.| '''Вниманию студентов 418 группы!''' Консультация по курсу [[Сложность алгоритмов]] состоится 17 января (в среду) с 15 ч 00 мин в ауд. 504. Экзамен - 18 января (в четверг) с 9 ч 00 мин в ауд. 508.}}
{{announce News|22 декабря 2017 г.| '''Вниманию студентов 318 группы!''' Консультация по курсу [[Избранные вопросы дискретной математики]] состоится 13 января (в субботу) с 12 ч 30 мин в ауд. 507.}}
{{announce News|12 декабря 2017 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: otchet618-2017.pdf| требования к оформлению отчета по научно-исследовательской работе (НИР)]] и [[Media: otchet_pattern618-2017.zip| шаблоны отчета по НИР]]. Отчет по НИР состоится 25 декабря (в понедельник) с 11 ч в ауд. 503 (группа 618/1) и ауд. 504 (группа 618/2).}}
{{announce News|12 декабря 2017 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: otchet418-2017.pdf| требования к оформлению отчета по преддипломной практике]] и [[Media: otchet_pattern418-2017.zip| шаблоны отчета по преддипломной практике]]. Отчет по преддипломной практике состоится 25 декабря (в понедельник) с 12 ч в ауд. 503 и в ауд. 504.}}
{{announce News|10 ноября 2017 г.| Традиционный '''[[Вечер кафедр 2017|вечер кафедр]]''' математической кибернетики и информационной безопасности состоится '''25 ноября''' (в субботу), ориентировочное время начала: '''16:00'''.}}
{{announce News|6 октября 2017 г.| Вниманию студентов групп 518/1 и 618/1! На странице "Магистерские программы" появился список курсов, которые можно выбрать в качестве элективных в этом семестре. Для того, чтобы в конце семестра зачесть курс не из списка как элективный, необходимо '''срочно (!)''' обратиться к ответственному исполнителю магистерской программы "Дискретные структуры и алгоритмы".}}
{{announce News|5 октября 2017 г.| Вниманию студентов групп 518/2 и 618/2! На странице "Магистерские программы" появился список курсов, которые можно выбрать в качестве элективных в этом семестре. Чтобы была возможность в конце семестра зачесть курс не из списка как элективный, необходимо '''срочно (!)''' обратиться к руководству кафедры.}}
{{announce News|14 сентября 2017 г.| Вниманию студентов 518/2 группы! Занятия по курсу [[Проектирование_больших_систем_С%2B%2B|Проектирование больших систем на C++]] с 15 сентября будут проходить в ауд. '''609'''.}}
{{announce News|1 сентября 2017 г.| Вниманию студентов 318 группы! Нагрузка по курсу [[Избранные вопросы дискретной математики]] (ИВДМ): лекции - каждую неделю, семинары - раз в две недели. В понедельник, 4 сентября, состоится только лекция по ИВДМ на 3-й паре.}}
{{announce News|1 сентября 2017 г.| Поздравляем с началом нового учебного года! Успехов и новых свершений!}}
{{announce News|18 мая 2017 г.| Вниманию студентов 318, 518/1, 518/2 групп! Защита курсовых работ состоится 26 мая (в пятницу) начало в '''11:30''', ауд. 504,505. Требования к оформлению работы вывешены на доске объявлений кафедры. [[Media: title-kursovaja.zip |Образец титульного листа дипломной работы]].}}
{{announce News|5 мая 2017 г.| Вниманию студентов 618/1 и 618/2 групп! Пересдача предзащиты (отчете по преддипломной практике) состоится 10 мая (в пятницу) с 15 ч 00 мин до 16 ч 30 мин, ауд. 504.}}
{{announce News|3 мая 2017 г.| Вниманию студентов 418, 618/1 и 618/2 групп! Пересдача предзащиты (отчете по преддипломной практике) состоится 5 мая (в пятницу) с 16 ч 30 мин до 19 ч, ауд. 504. Первыми будут выступать студенты 418 группы.}}
{{announce News|21 апреля 2017 г.| Вниманию студентов 618/1 и 618/2 групп! Появились [[Media: mvkr618-2017.doc |сведения]] о предзащите (отчете по преддипломной практике). Предзащита состоится 3 мая (в среду) с 16 ч 30 мин до 18 ч: 618/1 группа - в ауд. 503; 618/2 группа - в ауд. 504.}}
{{announce News|21 апреля 2017 г.| Вниманию студентов 418 группы! Появились [[Media: vkr418-2017.doc |сведения]] о предзащите (отчете по преддипломной практике). Предзащита состоится 3 мая (в среду) с 15 ч до 16 ч 20 мин в ауд. 505.}}
{{announce News|12 апреля 2017 г.| В среду, 12 апреля в 17-00 (обратите внимание на время начала семинара!)
состоится доклад

Vijay Ganesh (University of Waterloo)
"On The Unreasonable Effectiveness of Boolean SAT Solvers".

Abstract:

Modern conflict-driven clause-learning (CDCL) Boolean SAT solvers routinely
solve very large industrial SAT instances in relatively short periods of
time. This phenomenon has stumped both theoreticians and practitioners
since Boolean satisfiability is an NP-complete problem widely believed to
be intractable. It is clear that these solvers somehow exploit the
structure of real-world instances. However, to-date there have been few
results that precisely characterize this structure or shed any light on why
these SAT solvers are so efficient.

In this talk, I will present results that provide a deeper empirical
understanding of why CDCL SAT solvers are so efficient, which may
eventually lead to a complexity-theoretic result. Our results can be
divided into two parts. First, I will talk about structural parameters that
can characterize industrial instances and shed light on why they are easier
to solve even though they may contain millions of variables compared to
small crafted instances with hundreds of variables. Second, I will talk
about internals of CDCL SAT solvers, and describe why they are particularly
suited to solve industrial instances.
}}
{{announce News|3 января 2017 г.| Вниманию студентов 418 группы! Консультация по курсу «Сложность алгоритмов» - во вторник 17 января в 12.00 в ауд. 504.}}
{{announce News|3 января 2017 г.| Вниманию студентов группы 618/1. Консультация по курсу «Вероятностные и квантовые алгоритмы» - в воскресенье 15 января в 12.00 в ауд. 506.}}
{{announce News|30 декабря 2016 г.| С НОВЫМ ГОДОМ! ЗДОРОВЬЯ, УСПЕХОВ, УДАЧИ В НОВОМ ГОДУ.}}
{{announce News|16 декабря 2016 г.| Вывешены [[Media: Вопросы_к_экзамену_по_курсу_ВКА.docx| вопросы к экзамену по курсу "Вероятностные и квантовые алгоритмы"]] для гр. 618/1, лектор - профессор [[Алексеев Валерий Борисович]].}}
{{announce News|16 декабря 2016 г.| На странице курса [[Сложность алгоритмов]] вывешены Вопросы к экзамену по курсу "Сложность алгоритмов" для гр. 418 2016 года, лектор - профессор [[Алексеев Валерий Борисович]].}}
{{announce News|14 декабря 2016 г.| Появилась [[Media: Программа курса ДА.doc| программа курса "Дискретный анализ"]], лектор - профессор [[Сапоженко Александр Антонович]].}}
{{announce News|2 декабря 2016 г.| Вниманию студентов 618/1 и 618/2 групп! Появились [[Media: otchet618-2016.doc| требования к оформлению отчета по научно-исследовательской работе (НИР)]]. Отчет по НИР состоится 23 декабря (в пятницу) с 10 ч в ауд. 503.}}
{{announce News|2 декабря 2016 г.| Вниманию студентов 418 группы! Появились [[Media: otchet418-2016.doc| требования к оформлению отчета по преддипломной практике]]. Отчет по преддипломной практике состоится 23 декабря (в пятницу) с 14 ч 30 мин в ауд. 503.}}
{{announce News|7 ноября 2016 г.| Традиционный '''[[Вечер кафедр 2016|вечер кафедр]]''' математической кибернетики и информационной безопасности состоится '''26 ноября''' (в субботу), ориентировочное время начала: '''16:00'''.}}
{{announce News|18 октября 2016 г.| 24 октября в МГУ будет проходить семинар по программе MIPSfpga. На семинаре вас познакомят с современными направлениями и архитектурными решениями при разработке систем на кристалле, а также предоставят возможность поработать с реализацией процессора MIPS в ПЛИС на примере образовательных плат компаний Altera и Xilinx. [[Семинар_MIPSfpga_(24.10.2016)|Подробности здесь.]]}}
{{announce News|13 сентября 2016 г.| На странице курса [[Основы кибернетики (3-й поток)]] вывешены результаты пересдачи по этому курсу, прошедшей 09.09.2016. Показ работ состоится 14.09 в 14:30 в ауд. 504.}}
{{announce News|20 мая 2016 г.| Вниманию студентов 318 группы! Защита курсовых работ состоится в пятницу, 27 мая, с 14 ч (аудитория будет объявлена дополнительно). Требования к оформлению работы вывешены на доске объявлений кафедры.}}
{{announce News|20 мая 2016 г.| Вниманию студентов 518/1 и 518/2 групп! Защита курсовых работ состоится в среду, 25 мая, с 11 ч 30 мин (аудитория будет объявлена дополнительно). Требования к оформлению работы вывешены на доске объявлений кафедры.}}
{{announce News|16 апреля 2016 г.| Вниманию студентов 2 курса! 25 апреля в ауд. 504 пройдет общая встреча студентов с преподавателями кафедры математической кибернетики, начало в 16:20.}}
{{announce News|8 апреля 2016 г.| Вниманию студентов 418 группы! Появилась информация о [[Media:2016-418.doc|предзащите в 418 группе]] и образец [[Media:titul-vkr.doc|титульного листа ВКР]]}}.
{{announce News|04 апреля 2016 г.| Вниманию студентов магистратуры! Начинается чтение спецкурса на английском языке [[Boolean SAT/SMT Solvers for Software Engineering]]. Лекции первой части курса пройдут 4-го, 5-го, 7-го и 8-го арпеля в аудитории 526б, начало лекций в 18:00.}}
{{announce News|04 марта 2016 г.| Вниманию студентов 1 и 2 курсов! Начинает свою работу просеминар кафедры математической кибернетики и лаборатории дискретных управляющих систем и их приложений для студентов 2 курса. Первое заседание просеминара пройдет 14 марта с 16:20 до 17:55 в ауд. 504. Информацию о докладах можно будет найти в ближайшее время на [[Просеминар для 2-го курса|странице просеминара]].}}
{{announce News|26 февраля 2016 г.| На семинаре кафедры математической кибернетики состоится представление [[Media:Thesis_Novikova.pdf|диссертации]] Татьяны Анатольевной Новиковой (Казахстанский филиал МГУ в г. Астана).}}
{{announce News|20 января 2016 г.| Вывешены [[Media:Ok_fall2015.pdf|вопросы к экзамену]] по курсу [[Основы кибернетики (2-й поток)|«Основы кибернетики» (2-й поток)]].}}
{{announce News|12 января 2016 г.| Вниманию студентов группы 518/2! Консультация к экзамену по курсу «Элементы теории синтеза, надёжности и контроля дискретных управляющих систем» состоится 16.01.2016 в 11:00 в ауд. 506. На ней будут объявлены результаты контрольной и выданы проверенные работы.}}
{{announce News|29 декабря 2015 г.| Вывешен [[Media:Вопросы_ЭТДУС_418.pdf|список]] вопросов и типовых задач к экзамену по курсу «Элементы теории дискретных управляющих систем», который состоится 12.01.2016 в 9:00 в ауд. 505. Консультация к этому экзамену пройдёт 11.01.2016 в 14:00 в ауд. 503.}}
{{announce News|14 декабря 2015 г.| Вывешены [[Media:Курс_ЭТСНКДУС_518-2.pdf|вопросы, типовые задачи и литература]] к экзамену по курсу «Элементы теории синтеза, надёжности и контроля дискретных управляющих систем». Контрольная по вопросам и задачам разделов I, II состоится 19 декабря в 13:00 в ауд. 507, а консультация к ней пройдёт 18 декабря в 16:30 в ауд. 505. }}
{{announce News|13 декабря 2015 г.| Вывешены [[Media:Курс_ОК_318,_418_Осень.pdf| вопросы, типовые задачи и литература]] к экзамену по курсу «Основы кибернетики». См. дополнительную информацию на [[Основы кибернетики (318, 418 группы)|странице курса]]. }}
{{announce News|24 ноября 2015 г.| Поздравляем команду факультета ВМК с победой в соревновании [http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ 2015 CAD Contest]! Подробности [[Команда факультета ВМК - победитель соревнования 2015 CAD Contest | здесь]]. }}
{{announce News|24 ноября 2015 г.| Вниманию участников вечера кафедр! Мероприятие состоится в аудитории '''П-7''' 2-го учебного корпуса. }}
{{announce News|19 ноября 2015 г.| 19 ноября 2015 года исполняется 80 лет со дня рождения доктора физико-математических наук профессора Гария Петровича Гаврилова (19.11.1935 – 05.12.1999), одного из первых двух штатных сотрудников кафедры математической кибернетики (в момент открытия она называлась кафедрой математической логики и теории автоматов). Гарий Петрович внес огромный вклад в организацию образования на факультете ВМК МГУ, в разработку новых курсов. Он получил много глубоких интересных результатов в математике, подготовил 6 кандидатов наук. Благодаря его переводам широкий круг людей в нашей стране познакомился с теорией графов. С краткой биографией и научными достижениями Гария Петровича Гаврилова можно ознакомиться [https://cs.msu.ru/persons/287 здесь]. }}
{{announce News|8 ноября 2015 г.| Традиционный '''вечер кафедр''' математической кибернетики и информационной безопасности (ранее - вечер кафедры математической кибернетики) состоится '''28 ноября''' (в субботу). Начало в '''16:00'''. Место проведения - 2-й учебный корпус, факультет ВМК. Аудитория будет объявлена позднее. По всем вопросам (в том числе выписыванию пропуска для прохода в корпус) можно обратиться сюда: [mailto:valdus@yandex.ru valdus@yandex.ru]. }}
{{announce News|5 ноября 2015 г.| Вниманию студентов! 10 ноября (16:00-20:00) представителем компании Imagination Technologies [http://panchul.com/about_ru/ Юрием Панчулом] совместно с кафедрой математической кибернетики будет проведен семинар, посвященный проекту [http://community.imgtec.com/university/ MIPSfpga]. На семинаре вас познакомят с основами работы с ПЛИС на примере образовательных плат компаний Altera и Xilinx. Подробности [[Media:Mipsfpga_announcement.pdf| здесь]]. }}
{{announce News|20 октября 2015 г.| Вниманию студентов 4-5 курсов! Спецсеминар [[Теория управляющих систем и математические модели СБИС]] 23 октября пройдет совместно со спецсеминаром [[Дискретная математика и математическая кибернетика]] в 16:20, ауд. 612. }}
{{announce News|17 октября 2015 г.| Вниманию студентов 318 группы! Выложено первое домашнее задание по [[Практикум (3 курс, осенний семестр 2015 года)| практикуму]]. }}
{{announce News|9 октября 2015 г.| Вниманию студентов спецсеминаров [[Некоторые вопросы теории управляющих систем]] и [[Теория управляющих систем и математические модели СБИС]] 9 октября пройдет совместное заседание спесеминаров в ауд. 704. }}
{{announce News|29 сентября 2015 г.| Вниманию студентов 418 группы! 30 сентября и 7 октября вместо лекций по курсу [[Элементы теории дискретных управляющих систем|"Элементы теории дискретных управляющих систем"]] пройдут занятия по "Практикуму на ЭВМ". }}
{{announce News|1 сентября 2015 г.| Первая и вторая лекции по курсу [[Математические модели и методы логического синтеза сверхбольших интегральных схем|Математические модели и методы логического синтеза СБИС]] для студентов группы 518(2) переносятся с 2 сентября и 9 сентября на 3-ю и 4-ую пару (с 12:50 до 16:10) 10 сентября в аудиторию 506.}}
{{announce News|31 августа 2015 г.| Вниманию студентов 518(2) группы! 2 сентября в 10-00 в ауд. 696 состоится собрание студентов магистерской программы [[:Категория:Магистерская программа Дискретные управляющие системы и их приложения|Дискретные управляющие системы и их приложения]]. Магистрантам указанной программы (особенно тем, кто не заканчивал кафедру математической кибернетики) рекомендуется прослушать первую часть курса [[Элементы теории дискретных управляющих систем]], который читается для студентов 418 группы (см. расписание и следующее объявление).}}
{{announce News|31 августа 2015 г.| Вниманию студентов 418 группы! Вместо занятий по практикуму 2 сентября и 9 сентября в 10-30 в ауд. 696 для студентов 418 группы состоятся лекции С.А.Ложкина по курсу [[Элементы теории дискретных управляющих систем]].}}
{{announce News|28 августа 2015 г.| Собрание коллектива факультета ВМК состоится в понедельник, 31 августа, в 12-30 в ауд. П_13.}}
{{announce News|26 мая 2015 г.| Защита курсовых работ студентов 318 группы состоится в среду, 27 мая, в ауд. 504. Начало в 11 ч. Информация об оформлении курсовых работ [[Media:kurs-318-2015.doc |здесь]]. Образец оформления титульного листа курсовой работы [[Media:titul-kurs-318-2015.doc | здесь]].}}
{{announce News|26 апреля 2015 г.| Выложены [[Media:OK_add_3.2_2015.pdf | дополнительные теоретические задачи]] к разделу "синтез и сложность управляющих систем" по курсам [[Основы кибернетики (3-й поток)]] , [[Основы кибернетики (318, 418 группы)]].}}
{{announce News|14 апреля 2015 г.| '''Обновление''' [[Media:diplom-518-2015.doc | информации для 518 группы]] об оформлении дипломной работы, сроках сдачи текста работы на кафедру и предзащитах, [[Media:titul-diplom-518-2015.doc | образец оформления титульного листа дипломной работы]].}}
{{announce News|14 апреля 2015 г.| '''Обновление''' [[Media:diplom-418-2015.doc | информации для 418 группы]] об оформлении выпускной квалификационной работы, сроках сдачи текста работы на кафедру и предзащитах, [[Media:titul-diplom-418-2015.doc | образец оформления титульного листа выпускной квалификационной работы]].}}
{{announce News|22 марта 2015 г.| Выложена [[Media:OK_add_2_2015.pdf | дополнительная задача]] к разделу "Эквивалентные преобразования управляющих систем" по курсам [[Основы кибернетики (3-й поток)]] , [[Основы кибернетики (318, 418 группы)]]. Задачи 1 и 3 к разделу "Минимизация ДНФ" больше не принимаются.}}
{{announce News|5 марта 2015 г.| Выложены [[Media:OK_add_1_2015.pdf | дополнительные задачи]] к разделу "Минимизация ДНФ" по курсам [[Основы кибернетики (3-й поток)]] , [[Основы кибернетики (318, 418 группы)]]}}
{{announce News|6 февраля 2015 г.| Доступно ''предварительное'' '''[[Расписание |расписание занятий]]''' на весенний семестр.}}
{{announce News|18 января 2015 г.| Консультация к экзамену по курсу [[Дискретная математика 1 (группа 141)]] для состоится 23 января, в пятницу, в ауд. 505. Консультация лектора - в 16 ч, консультация по решению задач - в 14 ч.}}
{{announce News|15 января 2015 г.| Консультация к экзамену по курсу [[Избранные вопросы дискретной математики]] для 318 группы состоится 20 января, во вторник, в 12-00 в аудитории 504. Информация о результатах коллоквиумов [[Media: ivdm-318-2015.doc|здесь]].}}
{{announce News|10 января 2015 г.| Консультация к экзамену по курсу "Сложность алгоритмов" для 418 группы пройдет 16 января в 16:00 в аудитории 505. Материалы для подготовки к экзамену можно найти на [[Сложность алгоритмов|странице курса]].}}
{{announce News|6 января 2015 г.| Консультация к экзамену по курсу "Избранные вопросы математической теории вычислений" для 518 группы пройдет 9 января в 16:00 в аудитории 504. Материалы для подготовки к экзамену можно найти на [[Модели вычислений|странице курса]].}}
{{announce News|5 января 2015 г.| Консультация к экзамену по курсу "Математические модели и методы синтеза СБИС" пройдет 9 января в 12:00 в аудитории 504. Материалы для подготовки к экзамену можно найти на [[Математические модели и методы синтеза СБИС|странице курса]].}}
{{announce News|25 ноября 2014 г.| Традиционный [[вечер кафедры]] математической кибернетики состоится '''6 декабря''' (в субботу) в ауд. '''П-7'''. Начало в '''16:00'''.}}
{{announce News|8 октября 2014 г.| Спецсеминар [[Некоторые вопросы теории управляющих систем]] начинает работу 10 октября. Спецсеминар будет проходить по пятницам в аудитории '''704''' в '''16:20'''.}}
{{announce News|30 сентября 2014 г.| Спецсеминар [[Теория управляющих систем и математические модели СБИС]] начинает работу 3 октября. Спецсеминар будет проходить по пятницам в аудитории '''612''' в '''16:20'''.}}
{{announce News|30 сентября 2014 г.| Совместный спецсеминар [[Дискретный анализ]] (рук. А.А. Сапоженко) и [[Сложность решения дискретных задач]] (рук. С.Н. Селезнева) начинает работу 3 октября. Спецсеминар будет проходить по пятницам в аудитории '''504''' с '''16:20''' до '''17:55'''.}}
{{announce News|29 сентября 2014 г.| Совместный спецсеминар [[Теоретические проблемы программирования]] (рук. Р.И. Подловченко, В.А. Захаров) и [[Математическая криптография]] (рук. М.И. Анохин, Н.П. Варновский) начинает работу 3 октября. Спецсеминар будет проходить по пятницам в аудитории '''508''' в '''16:20'''.}}
{{announce News|29 сентября 2014 г.| Вниманию слушателей спецкурса [[C++ 11/14 и современные аспекты построения компиляторов]]. Спецкурс будет проходить по четвергам в аудитории '''685''' в '''16:20'''.}}
{{announce News|22 сентября 2014 г.| Начинается чтение спецкурса Вычисления на машинах Минского. Лектор — проф. [[Марченков Сергей Серафимович]]. Первое занятие — 29 сентября в 10:30 аудитории 526-Б.}}
{{announce News|19 сентября 2014 г.| Начинается чтение спецкурса [[C++ 11/14 и современные аспекты построения компиляторов]]. Первое занятие — 25 сентября в аудитории 705.}}
{{announce News|11 июня 2014 г.| На страницах курсов [[Основы кибернетики (3-й поток)]] и [[Элементы теории дискретных управляющих систем]] (318 гр.) появилась информация о проведении экзаменов по этим курсам.}}
{{announce News|10 июня 2014 г.| [[Media:exam-vmb.doc|Вопросы к экзамену по курсу "Введение в математическую биологию"]] для студентов 418 группы.}}
{{announce News|06 июня 2014 г.| Для студентов 318 группы на странице курса [[Основы кибернетики (318, 418 группы)]], а также для студентов 320-328 групп на странице курса [[Основы кибернетики (3-й поток)]] появилась информация по поводу проведения консультаций.}}
{{announce News|03 июня 2014 г.| Для студентов 320-328 групп на странице курса [[Основы кибернетики (3-й поток)]] появилась информация по поводу проведения переписывания контрольных работ.}}
{{announce News|14 апреля 2014 г.| Для студентов 518 группы: [[Media: inf-518-2014.doc|информация о требованиях к дипломной работе]] и [[Media:title-diplom.doc|образец титульного листа дипломной работы]].}}
{{announce News|24 марта 2014 г.| Объявляется набор студентов и аспирантов в команду для решения [http://cad_contest.ee.ncu.edu.tw/CAD-Contest-at-ICCAD2014/problem_a/default.html одной из задач] соревнования [http://cad_contest.ee.ncu.edu.tw/CAD-Contest-at-ICCAD2014/ 2014 CAD Contest at ICCAD]. Записаться в команду и задать вопросы можно по адресу mikle.shupletsov@gmail.com. Краткое введение в проблематику задачи пройдет в рамках спецсеминара "Некоторые вопросы теории управляющих систем" 26 марта в 14-35 в ауд. 507. Кроме того, более подробную информацию по соревнованию можно будет получить 28 марта в 16-10 в ауд. П-13 (после лекции по курсу "Основы кибернетики").}}
{{announce News|24 марта 2014 г.| Выложена [[Media:OK_problems3.pdf | дополнительная задача]] к разделу "Синтез и сложность управляющих систем" по курсу [[Основы кибернетики (3-й поток)]].}}
{{announce News|18 февраля 2014 г.| Начинает работу спецсеминар [[Сложность решения дискретных задач]]. Первое заседание семинара состоится 21 февраля 2014 г. в 16-20 в ауд. 503.}}
{{announce News|17 февраля 2014 г.| Начинает работу спецсеминар [[Теория управляющих систем и математические модели СБИС]]. Первое заседание состоится 21 февраля в 16.20 в ауд. '''609'''.}}
{{announce News|17 февраля 2014 г.| Начинает работу спецсеминар [[Некоторые вопросы теории управляющих систем]]. Первое заседание состоится 19 февраля в 14.35 в ауд. '''507'''.}}
{{announce News|12 февраля 2014 г.| Начинается чтение спецкурса [[Архитектурные особенности современных вычислительных систем]]. Информация обновлена на странице курса.}}
{{announce News|10 февраля 2014 г.| Появилось объявление о докладе на спецсеминаре [[Дискретная математика и математическая кибернетика]] 14 февраля 2014 г.}}
{{announce News|15 января 2014 г.| Появилось объявление о докладе на спецсеминаре [[Дискретная математика и математическая кибернетика]] 7 февраля 2014 г.}}
{{announce News|1 января 2014 г.| С НОВЫМ 2014 ГОДОМ!}}
{{announce News|30 декабря 2013 г.| Для студентов 4-го курса появилось [[Media:kons-4-2013.docx| расписание консультаций]] по курсам "[[Основы кибернетики (2-й поток)]]" и "[[Математическая логика и логическое программирование]]" (для 3-го потока + 418-419 группы)}}
{{announce News|30 декабря 2013 г.| Для студентов 318, 418, 419, 518 групп появилось [[Media:kons-mk-2013.docx| расписание консультаций]] кафедральных курсов}}
{{announce News|24 декабря 2013 г.| Для студентов 418-419 групп появились [[Media:sa2013.doc|вопросы к экзамену]] и [[Media:konssa2013.docx|объявление о консультации]] по курсу "[[Сложность алгоритмов]]"}}
{{announce News|19 декабря 2013 г.| Для студентов 318 группы появилась информация к зачету на странице курса "[[Дополнительные главы дискретной математики (2-й поток III курса)|Дополнительные главы дискретной математики]]"}}
{{announce News|15 декабря 2013 г.| Для студентов 3-го курса 2-го потока появились [[Media:dgdm2013.pdf|вопросы к зачету]] по курсу "[[Дополнительные главы дискретной математики (2-й поток III курса)|Дополнительные главы дискретной математики]]" }}
{{announce News|13 декабря 2013 г.| Для студентов 518 группы появилась информация об [[Media:pract2013.pdf| отчете по производственной практике]] и об [[Media:dipl2013.pdf| отчете по дипломной работе]]}}
{{announce News|11 декабря 2013 г.| Традиционный ВЕЧЕР КАФЕДРЫ МАТЕМАТИЧЕСКОЙ КИБЕРНЕТИКИ факультета ВМК состоится в субботу 14 декабря в аудитории П7. Гостей ждем к 16 часам, официальное начало мероприятия -- в 16:30. Отметим, что в этом году фактически проводится совместный вечер двух кафедр -- математической кибернетики и информационной безопасности. Приходите -- будет интересно и весело!}}
{{announce News|3 октября 2013 г.| Начинает работу спецсеминар [[Некоторые вопросы теории управляющих систем]]. Первое заседание состоится 7 октября в 14.35 в ауд. '''506'''.}}
{{announce News|19 сентября 2013 г.| Начинает работу спецсеминар [[Теория управляющих систем и математические модели СБИС]]. Первое заседание состоится 20 сентября в 16.20 в ауд. '''612'''.}}
</noinclude>|}

Информация для 2 курса

2020-04-09T12:53:20Z

ShupletsovMS:

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

По всем вопросам, связанным с распределением на кафедру математической кибернетики, обращаться по адресу электронной почты: mk@cs.msu.ru.

Информацию о преподавателях кафедры можно найти в [[:Категория:Сотрудники кафедры математической кибернетики| соответствующем разделе]] на сайте кафедры и на личных страницах преподавателей в [https://istina.msu.ru/organizations/department/276203/workers/ системе ИСТИНА].





= Научно-образовательные направления =
{|
|-
| style="padding: 10px;" | [[File:dsa_title.png|320px|link={{filepath:DSA2018.pdf}}]]
| style="padding: 10px;" | [[File:dusp_title.png|320px|link={{filepath:DCSA2018.pdf}}]]
|}

= Задачи для студентов 2 курса =
{|
|-
| style="padding: 10px;" | [[File:Exdsa2017.png|320px|link={{filepath:Exdsa2017.pdf}}]]
| style="padding: 10px;" | [[File:Exdusp2017.png|320px|link={{filepath:Exdusp2017.pdf}}]]
|}

Решения задач можно присылать на кафедральную почту mk@cs.msu.ru.

[[Просеминар для 2-го курса| Страница просеминара для 2-го курса, проводившегося в весеннем семестре 2015-2016 учебного года.]]

Математические модели и методы логического синтеза сверхбольших интегральных схем

2019-12-29T12:35:08Z

ShupletsovMS:

Курс по магистерской программе Дискретные управляющие системы и их приложения.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор — доцент [[Шуплецов Михаил Сергеевич]].

'''Объем:''' 32 ч.

'''Начало курса:'''

'''Время:'''

'''Аудитория:'''

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

== Материалы к экзамену ==
* [[Media:Logic_synthesis_2019_exam_rules.pdf|Правила проведения экзамена]].
* [[Media:Logic_synthesis_2019_exam_questions.pdf|Список вопросов к экзамену(2019-2020 учебный год)]].

=== Списки вопросов в экзамену прошлых лет ===
* [[Media:Logic_synthesis_2018_exam_questions.pdf|Список вопросов к экзамену(2018-2019 учебный год)]].
* [[Media:Logic_synthesis_2017_exam_questions.pdf|Список вопросов к экзамену(2017-2018 учебный год)]].
* [[Media:Logic_synthesis_2015_exam_questions.pdf|Список вопросов к экзамену]].

== Программа Курса ==

=== Задача проектирования цифровых СБИС и связанные с ней модели дискретных управляющих систем ===

Общие сведения о проектировании цифровых СБИС, средства автоматизации проектирования. Основные стратегии проектирования цифровых СБИС.

Методология проектирования на основе стандартных элементов (ячеек). Программируемые матрицы логических элементов (ПЛИС). Системы на кристалле.

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

Упрощенный маршрут проектирования современных цифровых СБИС.

Меры качества разработки цифровых СБИС. Параметры, оптимизируемые при проектировании СБИС. Источники шума в СБИС, влияние шума на цифровые СБИС.

[[Media:Logic_synthesis_intro.pdf|Презентация]].

=== Модель логических схем на КМОП-транзисторах ===

==== Полевые транзисторы, принцип их работы и устройство ====

N- и P-канальные транзисторы, их проводимость. Логические схемы НЕ, 2-НЕ-ИЛИ и др. Передаточная характеристика по напряжению, запас устойчивости по шуму и поглощение шума на примере КМОП инвертора.

==== Модель комбинационных логических схем на КМОП-транзисторах ====

Структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП- схемы.

Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС), итеративно-контактных схем (ИКС) и схем из функциональных элементов (СФЭ). Примеры и сравнительный анализ разных типов структурного моделирования (СФЭ, КС и ИКС).

Связь между логическим и транзисторным уровнем, понятие о технологической библиотеке.

[[Media:Logic_synthesis_CMOS.pdf|Презентация]].

==== КМОП-схемы с памятью, реализация автоматных функций КМОП-схемами ====

Представление об RC-схемах и их задержке, временной анализ транзисторных схем. Логическая и транзисторная схемы асинхронной ячейки памяти(защелки), ее функционирование. Схема D-триггера и его связь с единичной задержкой.

[[Media:Logic_synthesis_CMOS_memory.pdf|Презентация]].

=== Логическая оптимизация комбинационных логических схем ===

Различные способы представления функций алгебры логики (ФАЛ) (таблицы истинности, формулы, двоичные решающие диаграммы, схемы из функциональных элементов). Сравнение указанных представлений и их ограничения.

Комбинационные логические сети (КЛС). Задача оптимизации КЛС (различные постановки задач, функционалы качества при оптимизации КЛС). Основные типы преобразований КЛС: исключение, разложение, экстракция, упрощение и подстановка.

[[Media:Logic_synthesis_CLS.pdf|Презентация]].

Моделирование задержки на логическом уровне и задача оценки задержки КЛС. Ложные критические пути и алгоритмы их обнаружения. Алгоритмы оптимизации задержки.

[[Media:Logic_synthesis_depth.pdf|Презентация]].

Конъюнктивно-инверсные графы (And-Inverter Graphs (AIG)). Связь AIG со СФЭ в базисе Поста. Структурное хэширование AIG. Основные типы преобразования AIG. Алгоритмы минимизации AIG.

=== Логическая оптимизация последовательных схем ===

Общее описание автоматных моделей. Основные задачи. Структурная и поведенческая модель.

[[Media:Logic_synthesis_sequential.pdf|Презентация]].

Оптимизация последовательных схем на основе автоматных моделей. Задачи минимизации и кодирования состояний автомата.

Минимизация числа состояний детерминированного конечного автомата(ДКА). Теорема Мура и рекурсивное определение множества эквивалентных состояний. Алгоритм Хопкрофта. Не всюду определенные ДКА. Задача минимизации числа состояний не всюду определенного ДКА.

Синхронные логические схемы (СЛС). Связь СЛС со схемами из функциональных элементов и элементов задержки. Алгоритмы временной оптимизации СЛС (Retiming).

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-LSyn-retiming.ppt Презентация (ECE 667, University of Massachusetts) ]

=== Привязка логической схемы к библиотеке ===

Общая постановка задачи. Общая схема решения (этапы решения). Приведение схемы(decomposition), разбиение схемы(partitioning), поиск соответствий(matching), поиск оптимального покрытия(covering).

Поиск структурных соответствий (structural matching). Постановка задачи. Рекурсивный алгоритм поиска структурных соответствий. Задача поиска подстроки в строки. Алгоритм Ахо-Корасик. Кодирование деревьев при помощи строк. Поиск структурных соответствий при помощи алгоритма Ахо-Корасик.

[[Media:Logic_synthesis_structural_matching.pdf|Презентация]].

Поиск логических соответствий (Boolean matching). Постановка задачи. Алгоритмы поиска логических соответствий.

Задача привязки к библиотеке для ПЛИС. Особенности постановки задачи и этапы ее решения. Алгоритмы привязки к библиотеке для ПЛИС.

== Тестирование и верификация логических схем ==
Задачи верификации и тестирования логических схем и основные подходы к ее решению. Методы автоматической генерации тестов для схем. Задача выполнимости булевых формул. Основные принципы и подходы к построению эффективных программ для решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-intro.ppt Презентация (ECE 667, University of Massachusetts) ]

Задача верификации логических комбинационных схем (combinational equivalence checking). Основные методы решения указанной задачи.

[http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/lectures/ece667-Verif-EquivCheck.ppt Презентация (ECE 667, University of Massachusetts)]

== Литература ==
# Ложкин С.А. Лекции по основам кибернетики. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Ж.М. Рабаи, А. Чандракасан, Б. Николич Цифровые интегральные схемы. Методология проектирования. – Вильямс, 2007.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Hatchel G.D., Somenzi F. Logic Synthesis and Verification Algorithms. – Kluwer Academic Publishers, 2002.
# Giovanni De Micheli Synthesis and Optimization of Digital Circuits. – McGraw-Hill Science/Engeneering/Math, 1994.

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]

Файл:Logic synthesis 2019 exam questions.pdf

2019-12-29T12:34:47Z

ShupletsovMS:

Файл:Logic synthesis 2019 exam rules.pdf

2019-12-29T12:34:34Z

ShupletsovMS: