Верифікація HDL-коду на основі механізму ассерцій
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Верифікація HDL-коду на основі механізму ассерцій
|
|
Creator |
Хаханов, В. І.
Хаханова, І. В. Литвинова, Є. І. Гузь, О. А. |
|
Subject |
тестування
тестопридатність верифікація HDL-модель |
|
Description |
Запропоновано технологію тестування й верифікації цифрових систем для діагностування та виправлення похибок HDL-моделей, яка спирається на сумісне використання механізму асерцій та тестопридатного проектування, цифрових систем на кристалах та зменьшити час розробки.
|
|
Date |
2016-09-06T11:56:59Z
2016-09-06T11:56:59Z 2009 |
|
Type |
Article
|
|
Identifier |
Хаханов В. І. Верифікація HDL-коду на основі механізму ассерцій / В. І. Хаханов, І. В. Хаханова, Е. І. Литвинова, О. А. Гузь // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2009
http://openarchive.nure.ua/handle/document/2181 |
|
Language |
ru
|
|
Publisher |
Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті
|
|