Метод верификации HDL-кода на основе транзакционного логического графа
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Метод верификации HDL-кода на основе транзакционного логического графа
|
|
| Creator |
Хаханов, В. И.
Побеженко, И. А. Василенко, В. А. Чумаченко, С. В. |
|
| Subject |
диагностика цифровых систем
математическое моделирование |
|
| Description |
Предлагается логический метод диагностирования ошибок программного HDL-кода,который использует транзакционный граф программы и ее компонентов, что позволяет определять критические точки для мониторинга выполнения программы в целях установки в них ассерционных операторов, ориентированных на существенное (40%) уменьшение времени верификации программной модели изделия. Приводятся примеры синтеза транзакционного графа и диагностирования ошибок программных модулей, подтверждающие эффективность практического использования метода.
|
|
| Date |
2016-09-07T11:52:03Z
2016-09-07T11:52:03Z 2009 |
|
| Type |
Article
|
|
| Identifier |
Метод верификации HDL-кода на основе транзакционного логического графа / В. И. Хаханов, И. А. Побеженко, В. А. Василенко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2009. – Вып. 148. – С. 87–101.
http://openarchive.nure.ua/handle/document/2262 |
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|