Публікація: Методы поиска ошибок проектирования в HDL– моделях цифровых устройств в условиях неполной спецификации
Завантаження...
Дата
Назва журналу
ISSN журналу
Назва тому
Видавець
Української державної академії залізничного транспорту
Анотація
Таким образом, поставлена цель разработать такие методы поиска ошибок проектирования в HDL–моделях цифровых устройств, которые, с одной стороны, позволят выполнить диагностирование HDL–модели с максимальной полнотой за приемлемое время, а с другой стороны, решат проблему неполноты спецификации.
Опис
Ключові слова
Цитування
Альмадхоун, С. Методы поиска ошибок проектирования в HDL– моделях цифровых устройств в условиях неполной спецификации / С. Альмадхоун, Е. Е. Сыревич, А. С. Шкиль // Інформаційно-керуючі системи на залізничному транспорті : наук.-техн. журн. – Харків, 2011. – Вып. 4 (83). – С. 30–32