Публікація:
Метод верификации HDL-кода на основе транзакционного логического графа

Завантаження...
Зображення мініатюри

Дата

2009

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Предлагается логический метод диагностирования ошибок программного HDL-кода,который использует транзакционный граф программы и ее компонентов, что позволяет определять критические точки для мониторинга выполнения программы в целях установки в них ассерционных операторов, ориентированных на существенное (40%) уменьшение времени верификации программной модели изделия. Приводятся примеры синтеза транзакционного графа и диагностирования ошибок программных модулей, подтверждающие эффективность практического использования метода.

Опис

Ключові слова

диагностика цифровых систем, математическое моделирование

Бібліографічний опис

Метод верификации HDL-кода на основе транзакционного логического графа / В. И. Хаханов, И. А. Побеженко, В. А. Василенко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2009. – Вып. 148. – С. 87–101.

DOI