|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Static analysis of HDL descriptions: Extracting models for verificationстатья
- Авторы: Kamkin Alexander, Smolov Sergey, Melnichenko Igor
- Сборник: Proceedings of IEEE East-West Design&Test Symposium (EWDTS’2013)
- Серия: Symposium EWDTS
- Год издания: 2013
- Издательство: Institute of Electrical and Electronics Engineers
- Местоположение издательства: Piscataway, NJ, United States
- Добавил в систему: Корныхин Евгений Валерьевич