Математические вопросы проектирования СБИС (Архив)

Осень 2015 года

Дата	Тема доклада	Докладчик
9 октября	Синтез и сложность универсальных схем контактного типа с разделёнными полюсами	Зиновьев В. С.
16 октября	Синтез и сложность дешифраторных схем контактного типа	Добровецкий Д. И.
23 октября	Совместно с семинаром Некоторые вопросы теории управляющих систем
	New bounds on Klarner's constant	Gill Barequet, Dept. of Computer Science, Technion
30 октября	О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. Аннотация доклада	Довгалюк Е. Л.
6 ноября	Об одной модели рекурсивных схем из функциональных элементов. Аннотация доклада	Фивейский С.В.
13 ноября	Совместно с семинаром Некоторые вопросы теории управляющих систем
	Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".	Мария Автайкина
20 ноября	Совместно с семинаром Некоторые вопросы теории управляющих систем
	Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015". 1. http://www.iccad.com (конференция) 2. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование) 3. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)	Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
27 ноября	Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" Аннотация доклада	Кухтинов А.С.
4 декабря	Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций"	Шуплецов М.С.
11 декабря	Совместно с семинаром Некоторые вопросы теории управляющих систем
	Доклад "Маршрут физического проектирования систем на кристалле"	Евгений Зенин

Весна 2015 года

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

Осень 2014 года

Дата	Тема доклада	Докладчик
3 октября	Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"	Зиновьев В. С.
10 октября	Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"	Зиновьев В. С.
17 октября	Тесты для булевых функций относительно вытесняющих неисправностей	Морозов Е. В.
24 октября	Комбинаторика и сложность случайных булевых формул	Коноводов В. А.
31 октября	Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" аннотация докдада	Раннев Е. К.
7 ноября	Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)	Шуплецов М. С.
14 ноября	О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов аннотация докдада	Романов Д. С.
21 ноября	Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» Данные о статье	Довгалюк Е. Л.
28 ноября	Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора»	Белышов М. В.
5 декабря	Доклад по статье T. Hirayama, G. Koda, Y. Nishitani, K. Shimizu, "Easily testable realization based on OR-AND-EXOR expansion with single rail inputs" Данные о статье	Кумар В.
12 декабря	Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа	Кортунова Е. М.
19 декабря	Доклад по статье Карповой Н. А. «О линейных суперпозициях функций алгебры логики» .	Ложкин С. А., Шуплецов М. С.

Весна 2014 года

Дата	Тема доклада	Докладчик
21 февраля	Сверхполиномиальная нижняя оценка монотонной сложности функции клики Аннотация доклада, Презентация	Довгалюк Е. Л.
28 февраля	Метод Нечипорука и примеры его применения Аннотация доклада	Кулешов О. В.
14 марта	О минимальных π-схемах для монотонных симметрических функций с порогом 2 Аннотация доклада	Ложкин С. А.
21 марта
28 марта	О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам Аннотация доклада	Данилов Б. Р.
4 апреля	Некоторые обобщения теоремы Храпченко и примеры их применений Аннотация доклада	Раннев Е. К.
11 апреля	Доклад по статье Kewal K. Saluja, Sudhakar M. Reddy, "On minimally testable logic networks".	Кумар В.
18 апреля	Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем»	Доленко О. С.
25 апреля	Исследование влияния структурных параметров на результаты синтеза цифровых схем	Кортунова Е. Н.
16 мая	Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций"	Чеховская Е. Н.

Осень 2013 года

Дата	Тема доклада	Докладчик
20 сентября	О существовании асимптотики для функции Шеннона для клеточных и планарных схем в некоторых базисах Аннотация доклада	Белышов М. В.
27 сентября	О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции Аннотация доклада	Довгалюк Е. Л.
4 октября	Сверхлогарифмическая нижняя оценка глубины монотонных схем для булевой функции st-связности Аннотация доклада	Белышов М. В.
11 октября	О полноте и замкнутых классах функций алгебры логики с прямыми и итеративными переменными Аннотация доклада	Коноводов В. А.
18 октября	Символьная постановка и генерация ограничений для систематического сравнения аналоговых схем Аннотация доклада	Кортунова Е. М.
25 октября	Доклад по статье Грибка С. В. "Об одной модели рекурсивных схем из функциональных элементов" Аннотация доклада	Жукова А. А.
1 ноября	Доклад по статье Никитина А. А. "О минимальном объеме памяти, необходимом для реализации функций алгебры логики конвейерными схемами"	Кулешов О. В.
8 ноября	О тестах относительно множественных линейных слипаний переменных в булевых функцияхАннотация доклада	Морозов Е. В.
15 ноября	Доклад по статье Мадатяна Х. А. "Синтез контактных схем ограниченной ширины"	Тренкунов А. В.
22 ноября	Доклад по статье Коршунова А. Д. "Об асимптотических оценках сложности контактных схем заданной степени"Аннотация доклада	Чеховская Е. Н.
29 ноября	Доклад по статье Кузьмина В. А. "Реализация функций алгебры логики автоматами, нормальными алгорифмами и машинами Тьюринга"Аннотация доклада	Кумар В.
6 декабря	Автоматная сложность булевых функций из классов Поста	Кибкало М. А.
13 декабря	Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»	Доленко О. С.

Весна 2013 года

Дата	Тема доклада	Докладчик
22 февраля	О сложности реализации булевых функций из некоторых классов, связанных с конечными грамматиками, формулами глубины альтернирования 3 Аннотация доклада	Коноводов В.А.
1 марта	О схемах, допускающих полные проверяющие тесты длины 4 при константных неисправностях на выходах элементов в одном базисе	Романов Д.С.
15 марта	Доклад по статье Храпченко В.М. «О соотношении между глубиной и сложностью формул в базисе, содержащем медиану»	Доленко О.С.
22 марта	Доклад по статье Хахулина В.Г. «О проверяющих тестах для счетчика четности»	Жукова А.А.
29 марта	Доклад по статье Захаровой Е.В. и Яблонского С.В. «Некоторые свойства невырожденных суперпозиций в Pk»Аннотация доклада	Чеховская Е.Н.
5 апреля	Доклад по статье Черемисина О.В. «Об активности схем из клеточных элементов, реализующих конъюнкцию»	Тренкунов А.В.
12 апреля	Доклад по статье Улига Д. «О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных злементов»	Морозов Е.В.
19 апреля	О тестах относительно примитивных сдвигов переменных в булевых функцияхАннотация доклада	Антюфеев Г. В.
26 апреля	Доклад по статье Бородиной Ю. В., Бородина П. А. «Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов»	Плоткина Ю. С.
17 мая	Доклады студентов 5 курса по дипломным работам.

Осень 2012 года

Дата	Тема доклада	Докладчик
28 сентября	Доклад по статье Бородиной Ю. В. "О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов." Выходные данные	Плоткина Ю.С.
5 октября	О сложности мультиплексорной функции в классе схем из функциональных элементов Аннотация доклада	Власов Н.В.
12 октября	Алгоритмы для нахождения автоморфизмов больших разреженных графов Аннотация доклада	Марков И. Л. (Мичиганский университет, США)
19 октября	Доклад по статье N. Blum «A boolean function requiring 3n network size» Статья	Богомолова Е. М.
26 октября	Активность схем из функциональных элементов Аннотация доклада	Доленко О. С.
2 ноября	Активность схем из функциональных элементов(окончание доклада)	Доленко О. С.
9 ноября	Доклад по статье L. G. Valiant «Short Monotone Formulae for the Majority Function»Аннотация доклада	Морозов Е. В.
16 ноября	Минимизация пересечений линий (веток метро) на картах метроАннотация доклада	Кунаков М. А.
23 ноября	Об одном методе получения более чем квадратичных эффективных нижних оценок сложности $\pi$-схем Аннотация доклада	Коноводов В. А.
30 ноября	Подходы к декомпозиции топологии для литографии с двойным экспонированием рисунка Аннотация доклада	Кривошеин Д. Ю.
7 декабря	Метод логико-топологического синтеза нанометровых КМОП-схем на основе транзисторных шаблонов Ссылка на автореферат диссертации	Талалай М. С.
14 декабря	Инверсная сложность булевых функцийАннотация доклада	Морозов Е. В.

Весна 2012 года

Дата Тема доклада Докладчик 24 февраля Доклад по статье Улига Д. «Об одной функции алгебры логики, имеющей много подфункций и небольшую сложность реализации» Аннотация доклада Богомолова Е. М. 2 марта Доклад по статье A. Genitrini, B. Gittenberger «No Shannon effect on probability distributions on Boolean functions induced by random expressions» Аннотация доклада Яблонская А.Ю. 11 марта Доклад по статье Шуткина Ю.С. «Синтез информационных графов для предполных классов булевых функций» Аннотация доклада Валиев Т.Р. 16 марта О синтезе и сложности формул с ограниченной глубиной альтернирования Аннотация доклада Коноводов В.А. 23 марта Доклад по статье Улига Д. «Самокорректирующиеся контактные схемы, исправляющие большое число ошибок» Коразбаев К.Ж. 30 марта О синтезе схем ограниченной ширины и вычислениях с ограниченной памятью Коноводов В.А. 6 апреля Доклад по статье Й. Денева «Об одной функции, сложно реализуемой методом каскадов» Егоров А.В. 13 апреля Алгоритм обнаружения положительных циклов в графе в задаче сжатия топологии СБИС Аннотация доклада Кривошеин Д.Ю. 20 апреля О поведении функции Шеннона для бинарных программ (по статьям Грибка С.В.)Аннотация доклада Блинов С.В. 27 апреля Доклад по статье Ю.В.Бородиной "Синтез легкотестируемых схем в базисе $\{\And,\vee,\neg\}$ для систем булевых функций" Морозов Е.В. 4 мая Доклады студентов 5 курса по дипломным работам Коноводов В.А. Богомолова Е.М. 11 мая Доклады студентов 5 курса по дипломным работам Морозов Е.В. Цимбалов С.Е. Осень 2011 года Дата Тема доклада Докладчик 30 сентября Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» Аннотация доклада Борис Данилов 7 октября Модификация метода Лупанова с более равномерным распределением исходящих дуг. Ссылка на статью Ложкин С. А. 14 октября О глубине мультиплексорной функции Аннотация доклада Никита Власов 21 октября Доклад по статье Д.А.Жукова «Об одном классе клеточных схем» Ссылка на статью Александра Яблонская 28 октября Доклад по статье T.Yamada, H.Kinoshita «Finding all the negative cycles in a directed graph» Ссылка на статью Дмитрий Кривошеин 11 ноября Доклад по статье I. Griva «Numerical experiments with an interior-exterior point method for nonlinear programming» Ссылка на статью Сергей Цимбалов 18 ноября Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора» Данные о статье Евгений Морозов 25 ноября Доклад по статье Задорожнюка О. А. «О контактных схемах из клеточных элементов» Олег Садовников 2 декабря Проблемы полноты и выразимости в пространствах дискретных функций Парватов Н. Г. (Томск) 9 декабря О надежности неветвящихся программ с оператором условной остановки. Грабовская С. М. (Пенза) 16 декабря Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» Данные о статье Богомолова Е. М. Весна 2011 года Дата Тема доклада Докладчик 25 февраля Логический синтез топологически регулярных схем на транзисторных шаблонах Аннотация доклада Михаил Талалай 4 марта Доклад по статье Bernat Corominas-Murtra, Joaquin Goñi, Carlos Rodriguez-Caso, Ricard Solé «Hierarchy and information in feedforward networks» Аннотация к статье Владимир Лысиков 11 марта Верификация структурных моделей цифровых схем Аннотация доклада Александр Готманов 25 марта 1 апреля Доклад по статье Н.П. Редькина «Асимптотически минимальные самокорректирующиеся схемы для одной последовательности булевых функций» Олег Снегирев 8 апреля Доклад по статье N. Blum, M. Seysen «Characterization of all optimal networks for a simultaneous computation of AND and NOR» Владимир Коноводов 15 апреля Доклад по статье О.А. Задорожнюка, А.И. Рыбко «Об одной модели плоских контактных схем»Аннотация доклада Юрий Копачевский 22 апреля Доклад по статье О.Б.Лупанова «К вопросу о реализации симметрических функций алгебры логики контактными схемами» Аннотация доклада Никита Власов 29 апреля Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» Аннотация доклада Борис Данилов 6 мая Доклады по магистерским диссертациям Дмитрий Кривошеин Григорий Антюфеев Осень 2010 года Дата Тема доклада Докладчик 1 октября О глубине мультиплексорной функции Аннотация доклада Власов Н.В. 8 октября Поведение функции Шеннона для задержки схемы из функциональных элементов в некоторых моделях Аннотация доклада Данилов Б.Р. 15 октября Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа. Шуплецов М.С. 22 октября Проект "Клеточные схемы" и синтез схем в технологии Sea Of Transistors. Садовников О.А. 29 октября Об одном методе сжатия информации и сложности реализации монотонных симметрических функций.Аннотация доклада Улесова А.Ю. 12 ноября О сложности реализации частичных булевых функций схемами из функциональных элементов.Аннотация доклада Блинов С.В. 19 ноября Полиномиальные нижние оценки сложности формул в неполном базисе. Сложность монотонных схем для булева умножения матриц.Аннотация доклада Власов Н.В. 26 ноября Алгоритм сжатия для невыпуклых многоугольников и его приложения Кривошеин Д.Ю. Московское отделение лаборатории САПР Интел. Основные направления исследовательской деятельности. Жмурин А.В. 3 декабря Некоторые свойства невырожденных суперпозиций в PkАннотация доклада Садовников О.А. 10 декабря Решение задачи о клике сведением к задаче с DC ограничением Цимбалов С.Е. 17 декабря Доклад по статье Joost Rommes, Wil H. A. Schilders, "Efficient Methods for Large Resistor Networks"Аннотация доклада Антюфеев Г.В. Весна 2010 года Дата Тема доклада Докладчик 26 февраля Доклад по статье Гринчука М.И. "О монотонной сложности пороговых функций" Власов Н.В. 5 марта Об одной модели схем из функциональных элементов с задержками Аннотация доклада Данилов Б.Р. 12 марта 19 марта О полноте и замкнутых классах ФАЛ с прямыми и итеративными переменными Аннотация доклада Улесова А.Ю. 2 апреля Фотолитография: современное состояние и САПР Мелик-Адамян А. 9 апреля Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты Шиганов А.Е. 16 апреля 23 апреля Об автоматной модели преследования Волков Н.Ю. 30 апреля Оценка перегруженности трассировки с использованием вероятностного анализа Антюфеев Г.В. Инкрементальный алгоритм вычисления кратчайших путей в разреженном графе Кривошеин Д.Ю. 7 мая Доклады студентов 5 курса по дипломным работам Улесова А.Ю., Садовников О.А., Мордасова М.С., Перегуда А.Д. Осень 2009 года Дата Тема доклада Докладчик 25 сентября Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты Аннотация доклада Шиганов Александр 2 октября О синтезе ориентированных контактных схем с некоторыми ограничениями на смежные контакты Аннотация доклада Шиганов Александр 9 октября О сложности мультиплексорной функции в классе π-схем Аннотация доклада Ложкин С.А., Власов Никита 16 октября Разработка методов и моделей для характеризации сложно-функциональных блоков КМОП СБИС с учетом вариаций параметров транзисторов Каграманян Э.Р. 23 октября Реализация некоторых систем функций схемами с подведением переменных, вложенными в единичный куб Аннотация доклада Садовников О.А. 30 октября Об одной модели рекурсивных схем из функциональных элементов Аннотация доклада Данилов Б.Р. 6 ноября Доклад по статье Н.П.Редькина «Единичные проверяющие тесты для схем при инверсных неисправностях элементов» Морозов Е.В. 13 ноября Поиск кратчайших путей в графах (обзор статей) Аннотация доклада Кривошеин Д.Ю. 20 ноября Доклад по статье Ложкина С.А. и Евдокимовой Т.Н. «Об асимптотике сложности универсального клеточного контактного многополюсника» Улесова А.Ю. 27 ноября Исследование и разработка алгоритмов многокритериальной оптимизации библиотечных элементов при проектировании нанометровых СБИС Аннотация доклада Мелик-Адамян А.Ф. 4 декабря Вечер памяти, посвящённый 85-летию со дня рождения Сергея Всеволодовича Яблонского Осень 2008 года Дата Тема доклада Докладчик 3 Октября Многокритериальная оптимизация элементов стандартных библиотек СБИС для субмикронных технологий Арег Мелик-Адамян (ИТМиВТ РАН) 31 Октября Выбор оптимальных параметров в задачах с многими критериями Арег Мелик-Адамян (ИТМиВТ РАН) 14 Ноября Доклад по статье Yajun Ran, Malgorzata Marek-Sadowska "Designing Via-Configurable Logic Blocks for Regular Fabric" Мордасова М.С. 12 Декабря Методы разрешения положительных циклов в графе ограничений Сергей Локинский Весна 2008 года Дата Тема доклада Докладчик 26 февраля Вычисление индуктивности в задачах проектирования сверхпроводниковых микроэлектронных структур Хапаев М.М. 11 марта Использование разложения Гильберта при построении схем из функциональных элементов слайды Долотова Н.С. 25 марта Аналитический подход к легализации размещения стандартных ячеек Аюпов А.Б. 8 апреля Метод построения ограничений для расширяемого набора технологических правил проектирования СБИС Локинский С.Н. 29 апреля Структуры данных для хранения и поиска объектов в пространстве Западинский Анатолий Осень 2007 года Дата Тема доклада Докладчик 5 октября Применение целочисленного линейного программирования в трассировке схем реферат Западинский Анатолий 9 ноября Совместно с семинаром Дискретная математика и математическая кибернетика Прикладные математические задачи САПР СБИСслайды Марченко А. М. 30 ноября Регулярность в проектировании СБИС на примере регулярных логических блоковслайды и FPGAслайды Западинский Анатолий Шуплецов Михаил 14 декабря Методы оценки энергопотребления микропроцессовров. Методы отсечения непроводящих цепей при статическом тайминг-анализе. Попов Евгений Руководители Ложкин Сергей Андреевич Марченко Александр Михайлович