Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории 612.
Расписание докладов
| Дата
|
Тема доклада
|
Докладчик
|
| 20 февраля
|
Доклад по статье Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".
|
Смирнов А. А.
|
| 27 февраля
|
Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"
|
Сальников В. А.
|
| 13 марта
|
О динамической активности мультиплексорной функции
|
Кулешов О. В.
|
| 27 марта
|
Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [1]
|
Тамм Я.-М. Ю.
|
| 3 апреля
|
Использования методов логического синтеза для ускорения решения задач верификации схем [2]
|
Павлов А. В.
|
| 10 апреля
|
О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [3]
|
Пузачев Д. С.
|
|
Руководители
Участники
|
Аспиранты:
|
Студенты 5 курса:
- Костюков Станислав
- Тренкунов Антон
- Жукова Анна
- Чеховская Екатерина
- Доленко Ольга
- Белышов Михаил
|
Студенты 4 курса:
- Довгалюк Екатерина
- Кортунова Екатерина
- Кулешов Олег
- Кумар Виренд
- Раннев Егор
|
Ссылки
