Тестовая верификация поведенческих языковых моделей цифровых устройств
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Тестовая верификация поведенческих языковых моделей цифровых устройств
|
|
| Creator |
Шкиль, А. С.
Сыревич, Е. Е. Карасев, А. Л. Чегликов, Д. И. |
|
| Subject |
верификация моделей
язык описания аппаратуры |
|
| Description |
Предлагается процедура верификации моделей цифровых устройств, описанных с помощью языков описания аппаратуры.
|
|
| Date |
2016-09-13T13:02:52Z
2016-09-13T13:02:52Z 2006 |
|
| Type |
Article
|
|
| Identifier |
Тестовая верификация поведенческих языковых моделей цифровых устройств / А. С. Шкиль, Е. Е. Сыревич, А. Л. Карасев, Д. И. Чегликов // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2006. – Вып. 134. – С. 4–13.
http://openarchive.nure.ua/handle/document/2487 |
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|