Публікація:
Методы поиска ошибок проектирования в HDL-коде

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

Дата

2008

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

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

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

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

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

Анотація

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

Опис

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

поиск ошибок в HDL-коде, метод обратного прослеживания, верификация цифровых проектов

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

Методы поиска ошибок проектирования в HDL-коде / А. С. Шкиль, Е. Е. Сыревич, Д. Е. Кучеренко, Г. Ф. Фастовец // Радиоэлектроника и информатика : науч.-техн. журн. – Харьков : Изд-во ХНУРЭ, 2008. – Вып. 3 (42). – С. 47–54.

DOI