https://oldena.lpnu.ua/handle/ntb/14542| Title: | Verification system for SoC HDL-code |
| Authors: | Litvinova, Eugenia Hahanova, Anna Gorobets, Alexander Priymak, Aleksey |
| Bibliographic description (Ukraine): | Verification system for SoC HDL-code / Eugenia Litvinova, Anna Hahanova, Alexander Gorobets, Aleksey Priymak // Сучасні проблеми радіоелектроніки, телекомунікацій, комп'ютерної інженерії : матеріали ХІ Міжнародної конференції TCSET2012, присвяченої 60-річчю заснування радіотехнічного факультету у Львівській політехніці, 21-24 лютого 2012 року, Львів, Славське, Україна / Національний університет «Львівська політехніка». – Львів : Видавництво Львівської політехніки, 2012. – С. 348. – Bibliography: 3 titles. |
| Issue Date: | 2012 |
| Publisher: | Видавництво Львівської політехніки |
| Keywords: | testing verification HDL-model Infrastructure IP |
| Abstract: | 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. |
| URI: | https://ena.lpnu.ua/handle/ntb/14542 |
| Content type: | Article |
| Appears in Collections: | Сучасні проблеми радіоелектроніки, телекомунікацій, комп'ютерної інженерії (TCSET’2012). – 2012 р. |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.