|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Large-Scale Equivalence Checking and Function Correctionдоклад на конференции
- Авторы: Шуплецов М.С., Зенин Е., Жуков В.В., Антюфеев Г.В.
- Международная Конференция : 2015 International Conference On Computer Aided Design
- Даты проведения конференции: 2-6 ноября 2015
- Дата доклада: 2 ноября 2015
- Тип доклада: Стендовый
- Докладчик: Шуплецов М.С.
- Место проведения: Остин, штат Техас, United States
- Доклад на конференции выполнен в рамках проекта (проектов):
- Теория дискретных управляющих систем, ее приложения в проектировании СБИС и программировании
- Модели и методы теории синтеза и контроля комбинационных дискретных управляющих систем
- Добавил в систему: Шуплецов Михаил Сергеевич