Рассмотрены методы поиска ошибок проектирования в неструктурированном HDL-коде. Предложена модель НDL-кода для целей диагностирования в виде информационного и управляющего графов. Предложена модель ошибки проектирования и правила ее идентификации. Разрвботаны структурные методы поиска ошибок.