Публікація: Поиск ошибок проектирования в поведенческих HDL-моделях методом обратного прослеживания
Завантаження...
Дата
Автори
Назва журналу
ISSN журналу
Назва тому
Видавець
ХНУРЭ
Анотація
Опис
Предлагается метод поиска ошибок проектирования в
HDL-моделях цифровых устройств поведенческого стиля
описания. В качестве ошибок проектирования рассмат-
ривается замена операндов в арифметических или логи-
ческих выражениях. Для повышения глубины поиска
ошибок проектирования применяется метод обратного
прослеживания в эквивалентных схемах функционально-
блочного уровня с использованием кубического исчис-
ления. Приводится пример реализации метода для фраг-
мента VHDL-модели арифметико-логического устрой-
ства.
Ключові слова
метод обратного прослеживания, ошибки проектирования
Цитування
Поиск ошибок проектирования в поведенческих HDL-моделях методом обратного прослеживания / А. С. Шкиль // Радиоэлектроника и информатика : науч.-техн. журн. – Харьков : Изд-во ХНУРЭ, 2015. – Вып. 2 (69). – С. 19–24.