|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификациистатья
- Авторы: Камкин А.С., Смолов С.А.
- Журнал: Проблемы разработки перспективных микро- и наноэлектронных систем МЭС
- Год издания: 2014
- Издательство: Институт проблем проектирования в микроэлектронике РАН
- Местоположение издательства: Москва
- Первая страница: 113
- Последняя страница: 118
- Добавил в систему: Корныхин Евгений Валерьевич