Шкиль, А. С.2017-06-192017-06-192015Поиск ошибок проектирования в поведенческих HDL-моделях методом обратного прослеживания / А. С. Шкиль // Радиоэлектроника и информатика : науч.-техн. журн. – Харьков : Изд-во ХНУРЭ, 2015. – Вып. 2 (69). – С. 19–24.http://openarchive.nure.ua/handle/document/3923Предлагается метод поиска ошибок проектирования в HDL-моделях цифровых устройств поведенческого стиля описания. В качестве ошибок проектирования рассмат- ривается замена операндов в арифметических или логи- ческих выражениях. Для повышения глубины поиска ошибок проектирования применяется метод обратного прослеживания в эквивалентных схемах функционально- блочного уровня с использованием кубического исчис- ления. Приводится пример реализации метода для фраг- мента VHDL-модели арифметико-логического устрой- ства.ruметод обратного прослеживанияошибки проектирования