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

Версия 19:20, 31 марта 2015

Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории 612.

Дата	Тема доклада	Докладчик
20 февраля	Доклад по статье Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".	Смирнов А. А.
27 февраля	Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"	Сальников В. А.
13 марта	О динамической активности мультиплексорной функции	Кулешов О. В.
27 марта	Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [1]	Тамм Я.-М. Ю.
3 апреля	Использования методов логического синтеза для ускорения решения задач верификации схем [2]	Павлов А. В.

Аспиранты:

Студенты 5 курса:

Студенты 4 курса:

@@ Строка 26: / Строка 26: @@
 | Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [http://research.microsoft.com/apps/pubs/default.aspx?id=207102]
 | Тамм Я.-М. Ю.
+|-
+| align="center" | 3 апреля
+| Использования методов логического синтеза для ускорения решения задач верификации схем [http://minisat.se/downloads/synth_in_sat.pdf]
+| Павлов А. В.
 |}