Методы поиска ошибок проектирования в HDL-коде
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Методы поиска ошибок проектирования в HDL-коде
|
|
Creator |
Шкиль, А. С.
Сыревич, Е. Е. Кучеренко, Д. Е. |
|
Subject |
поиск ошибок в HDL-коде
метод обратного прослеживания верификация цифровых проектов |
|
Description |
Рассматриваются методы поиска ошибок проектирования в неструктурированном HDL-коде. Разрабатываются структурные методы поиска и метод обратного прослеживания. Проводятся эксперименты над HDL-моделью цифрового устройства с использованием разработанных методов.
|
|
Date |
2016-09-08T10:41:39Z
2016-09-08T10:41:39Z 2008 |
|
Type |
Article
|
|
Identifier |
Методы поиска ошибок проектирования в HDL-коде / А. С. Шкиль, Е. Е. Сыревич, Д. Е. Кучеренко, Г. Ф. Фастовец // Радиоэлектроника и информатика : науч.-техн. журн. – Харьков : Изд-во ХНУРЭ, 2008. – Вып. 3 (42). – С. 47–54.
http://openarchive.nure.ua/handle/document/2330 |
|
Language |
ru
|
|
Publisher |
ХНУРЭ
|
|