Шкиль, А. С.Альмадхоун, С.Сиревич, Е. Е.2016-09-082016-09-082010Шкиль А. С. Методи пошуку помилок проектування в HDL– моделі цифрових пристроїв в умовах неповної специфікації / Шкиль А. С., Альдамхоун С., Сиревич Е. Е. // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2010http://openarchive.nure.ua/handle/document/2289Розглянуто методи пошуку помилок проектування в неструктурованому HDL–коді. Запропоновано загальну процедуру діагностування HDL–моделей при неповній специфікації напроектований пристрій. Розроблено структурні методи пошуку проектування та метод зворотного відслідкуванняruцифровые устройстваоператоры HDL-кодадиагностирование HDL-моделиграфконтрольные точкиошибка проектирования моделиэталонные реакцииArticle