Publication: Методы поиска ошибок проектирования в HDL-коде
Loading...
Date
2008
Journal Title
Journal ISSN
Volume Title
Publisher
ХНУРЭ
Abstract
Рассматриваются методы поиска ошибок проектирования в неструктурированном HDL-коде. Разрабатываются структурные методы поиска и метод обратного прослеживания. Проводятся эксперименты над HDL-моделью цифрового устройства с использованием разработанных методов.
Description
Keywords
поиск ошибок в HDL-коде, метод обратного прослеживания, верификация цифровых проектов
Citation
Методы поиска ошибок проектирования в HDL-коде / А. С. Шкиль, Е. Е. Сыревич, Д. Е. Кучеренко, Г. Ф. Фастовец // Радиоэлектроника и информатика : науч.-техн. журн. – Харьков : Изд-во ХНУРЭ, 2008. – Вып. 3 (42). – С. 47–54.