Альмадхоун, С.2016-07-112016-07-112010Альмадхоун, С. Поиск ошибок проектирования в HDL-моделях цифровых устройств / С Альмадхоун // Автоматика-2010 : матеріали 17-й Міжнар. конф. з автомат. упр. : Тези доповідей. 27-29 вересня. 2010 г. - Х : ХНУРЕ, 2010. - Т. 2. - С. 88-89.http://openarchive.nure.ua/handle/document/1437Рассмотрены методы поиска ошибок проектирования в неструктурированном HDL-коде. Предложена модель НDL-кода для целей диагностирования в виде информационного и управляющего графов. Предложена модель ошибки проектирования и правила ее идентификации. Разрвботаны структурные методы поиска ошибок.ruструктурные методы поиска ошибокНDL-кодConference proceedings