| |
| Поле |
Співвідношення |
| |
| Title |
Verification system for SoC HDL-code
|
| |
| Creator |
Litvinova, Eugenia
Hahanova, Anna
Gorobets, Alexander
Priymak, Aleksey
|
| |
| Subject |
testing
verification
HDL-model
Infrastructure IP
|
| |
| Description |
Assertion-based models and methods for the
verification and diagnosis of HDL-code functional failures, which make possible to reduce considerably time-to-market of software and hardware, are developed.
|
| |
| Date |
2012-09-21T12:23:19Z
2012-09-21T12:23:19Z
2012
|
| |
| Type |
Article
|
| |
| Identifier |
Litvinova E. Verification system for SoC HDL-code / Eugenia Litvinova, Anna Hahanova, Alexander Gorobets, Aleksey Priymak // Сучасні проблеми радіоелектроніки, телекомунікацій, комп'ютерної інженерії TCSET'2012 : матеріали XI Міжнародної конференції, присвяченої 60-річчю заснування радіотехнічного факультету у Львівській політехніці, 21-24 лютого 2012, Львів, Славське, Україна / Міністерство освіти і науки, молоді та спорту України, Національний університет "Львівська політехніка". - Львів : Видавництво Львівської політехніки, 2012. – С. 348. - Bibliography: 3 titles.
http://ena.lp.edu.ua:8080/handle/ntb/14542
|
| |
| Language |
en
|
| |
| Publisher |
Національний університет "Львівська політехніка"
|
| |
