Локалізація помилок проектування в ефективно- декомпозированной HDL-моделі
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
ШкІль, А. С.
Сиревич, Е. Е. Альмадхоун, С. |
|
| Date |
2016-07-07T00:25:23Z
2016-07-07T00:25:23Z 2012-05-28 |
|
| Identifier |
Шкіль А. С. Локалізація помилок проектування в ефективно- декомпозированной HDL-моделі / Шкіль А. С., Сиревич Е. Е., Альмадхоун С. // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2012
1681-4886 http://hdl.handle.net/123456789/3235 |
|
| Description |
У статті розглянуто проблему діагностування помилок проектування під час верифікації описів складних цифрових систем на HDL. Запропоновано підхід до діагностування ефективно–декомпозованих моделей ЦП на HDL. Запропоновано адаптацію та практичне застосування теореми Больцано-Коші для описів, які реалізують непереривні функції
|
|
| Language |
ru
|
|
| Publisher |
Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті
|
|
| Relation |
УДК;681. 326
|
|
| Subject |
зыки описания аппаратуры
программное обеспечение ошибки проектирования верификация диагностирование декомпозиція |
|
| Title |
Локалізація помилок проектування в ефективно- декомпозированной HDL-моделі
|
|
| Type |
Article
|
|