Поиск ошибок проектирования в поведенческих HDL-моделях методом обратного прослеживания
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Поиск ошибок проектирования в поведенческих HDL-моделях методом обратного прослеживания
|
|
Creator |
Шкиль, А. С.
|
|
Subject |
метод обратного прослеживания
ошибки проектирования |
|
Description |
Предлагается метод поиска ошибок проектирования в HDL-моделях цифровых устройств поведенческого стиля описания. В качестве ошибок проектирования рассмат- ривается замена операндов в арифметических или логи- ческих выражениях. Для повышения глубины поиска ошибок проектирования применяется метод обратного прослеживания в эквивалентных схемах функционально- блочного уровня с использованием кубического исчис- ления. Приводится пример реализации метода для фраг- мента VHDL-модели арифметико-логического устрой- ства. |
|
Date |
2017-06-19T11:07:41Z
2017-06-19T11:07:41Z 2015 |
|
Identifier |
Поиск ошибок проектирования в поведенческих HDL-моделях методом обратного прослеживания / А. С. Шкиль // Радиоэлектроника и информатика : науч.-техн. журн. – Харьков : Изд-во ХНУРЭ, 2014. – Вып. 2 (69). – С. 19–24.
http://openarchive.nure.ua/handle/document/3923 |
|
Language |
ru
|
|
Publisher |
ХНУРЭ
|
|