Альмадхоун, С.Сыревич, Е. Е.Шкиль, А. С.2016-09-082016-09-082011Альмадхоун, С. Методы поиска ошибок проектирования в HDL– моделях цифровых устройств в условиях неполной спецификации / С. Альмадхоун, Е. Е. Сыревич, А. С. Шкиль // Інформаційно-керуючі системи на залізничному транспорті : наук.-техн. журн. – Харків, 2011. – Вып. 4 (83). – С. 30–32http://openarchive.nure.ua/handle/document/2332Таким образом, поставлена цель разработать такие методы поиска ошибок проектирования в HDL–моделях цифровых устройств, которые, с одной стороны, позволят выполнить диагностирование HDL–модели с максимальной полнотой за приемлемое время, а с другой стороны, решат проблему неполноты спецификации.ruметоды поиска ошибок проектированияHDL–моделиArticle