сейчас выбран русский язык переключиться на английский
На главную страницу
Контакты
Всё о подготовке статьи для конференции МЭС
Форум конференции МЭС
Новое на сайте
Кодекс этики публикаций
Форум конференции МЭС
   Главная   Контакты   Авторам   Кодекс этики публикаций   Форум  
Личный кабинет



Выход
Преимущества, предоставляемые участникам спонсорской программы конференции МЭС-2018
   Организационный комитет   Программный комитет   Технический комитет   Сборник трудов  
       
Зарегистрировано участников: 324 из 8 стран из 31 города из 100 организаций
 
 
Секция I    Секция II    Секция III    Секция IV    Секция V    Секция VI    Секция VII    Секция VIII    Секция IX    Секция X    Секция XI    Секция XII   
Понедельник
1 Октября
Вторник
2 Октября
Среда
3 Октября
Четверг
4 Октября

Секция IV
Среда 3 Октября 2018
Конференц-зал (3 этаж)  12:30−13:30
Сессия 4.1: Верификация и тестирование - I
Руководитель: к.т.н. Путря Ф.М. (АО НПЦ "ЭЛВИС", г. Москва)

1. Камкин А.С., Проценко А.С., Смолов С.А., Татарников А.Д. (Институт системного программирования РАН) Генератор тестовых программ для архитектуры RISC-V на основе инструмента MicroTESK

2. Гаращенко А.В., Николаев А.В., Путря Ф.М., Сардарян С.С. (АО НПЦ "ЭЛВИС") Система комбинируемых специализированных генераторов тестов для нового поколения VLIW DSP процессоров с архитектурой Elcore50

3. Сохацкий А.А. (Сиско Системс Инк.) Практические аспекты формальной верификации проектов блоков сетевых СБИС
Конференц-зал (3 этаж)  14:30−15:30
Сессия 4.2: Верификация и тестирование - II
Руководитель: к.т.н. Путря Ф.М. (АО НПЦ "ЭЛВИС", г. Москва)

1. Евдокимов А.П., Рябцев В.Г., Меликов А.В. (Волгоградский государственный аграрный университет) Принципы проектирования устройств тестового диагностирования быстродействующих микросхем и модулей полупроводниковой памяти

2. Смирнов А.В., Чибисов П.А. (ФГУ "ФНЦ НИИСИ РАН") Генератор тестов для проверки когерентности кэш-памятей многоядерных микропроцессоров (ristretto)

3. Шалумов А.С., Травкин Д.Н., Тихомиров М.В. (Научно-исследовательский институт "АСОНИКА") Виртуальные испытания микро- и наноэлектронных систем на внешние воздействия
Конференц-зал (3 этаж)  15:40−16:40
Сессия 4.3: Верификация и тестирование - III
Руководитель: к.т.н. Путря Ф.М. (АО НПЦ "ЭЛВИС", г. Москва)

1. Иванников А.Д. (Институт проблем проектирования в микроэлектронике РАН) Разработка и исследование моделей блоков цифровых систем на основе их представления в виде семейства стационарных динамических систем

2. Гревцев Н.А., Чибисов П.А. (ФГУ "ФНЦ НИИСИ РАН") Подход к стохастическому тестированию RTL-моделей многоядерных микропроцессоров

3. Мосин С.Г. (Казанский федеральный университет) Метод снижения размерности обучающих наборов при построении нейроморфного справочника неисправностей для аналоговых интегральных схем
Конференц-зал (3 этаж)  17:00−18:00
Сессия 4.4: Верификация и тестирование - IV
Руководитель: к.т.н. Путря Ф.М. (АО НПЦ "ЭЛВИС", г. Москва)

1. Ладнушкин М.С. (ФГУ "ФНЦ НИИСИ РАН") Метод дублирования триггеров в средствах тестирования с компрессией

2. Кобыляцкий А.В. (АО НПЦ "ЭЛВИС", Национальный исследовательский ядерный университет "МИФИ"), Сергеев Д.К. (Национальный исследовательский ядерный университет "МИФИ") Методы верификации на кристалле задержек распространения стандартных цифровых элементов

3. Андрианов А.В. (ЗАО НТЦ "Модуль") Методы обеспечения переносимости тестовых сценариев между различными верификационными окружениями
Конференц-зал (3 этаж)  18:10−19:00
Сессия 4.5: Верификация и тестирование - V
Руководитель: к.т.н. Путря Ф.М. (АО НПЦ "ЭЛВИС", г. Москва)

1. Барских М.Е., Эсула О.И. (ФГУ "ФНЦ НИИСИ РАН") Верификация алгоритма арбитража потоков запросов к памяти

2. Щербаков А.С. (Университет Мельбурна) Быстрый алгоритм нахождения доступных вершин графа управления при ограничениях траекторий

3. Татарников Ю.А. (Сиско Системс Инк.) Использование формального метода для улучшения покрытия проекта оцениваемого с помощью метрики «code coverage»

Понедельник
1 Октября
Вторник
2 Октября
Среда
3 Октября
Четверг
4 Октября

Официальные партнеры конференции
Институт нанотехнологий микроэлектроники РАН НПК “Технологический центр” Фонд Сколково Фонд инфраструктурных и образовательных программ Intel Corporation

Спонсоры конференции
ОАО "ИНЭУМ им. И.С. Брука" ЗАО "ПКК Миландр" ОАО НПЦ "ЭЛВИС" Megratec-Inline Group

Copyright © 2009-2018 ИППМ РАН. All Rights Reserved.
Разработка сайта - ИППМ РАН
Форум       Обратная связь