Целью данной магистерской аттестационной работы является разработка моделей и методов поиска ошибок проектирования в описаниях цифровых устройств, представленных на языках описания аппаратуры, для существенного уменьшения затрат при автоматизированном проектировании. В качестве объекта диагностирования рассмотрено модели цифровых устройств, представленные на языках описания аппаратуры в системах автоматизированного проектирования. В частности, рассмотрены HDL-модели конечных автоматов. Предложенные на основе разработанных методов алгоритмы поиска ошибок проектирования позволили уменьшить время и исключить человеческий фактор при проведении диагностического эксперимента, т.к. решение о переходе к следующему этапу (т.е. вопрос о выборе соответствующего алгоритма поиска) принимается по формальным признакам, что в конечном итоге привело к сокращению времени верификации при проектировании РЭА. HDL-МОДЕЛЬ, АЛГОРИТМ МОДЕЛИРОВАНИЯ, ОШИБКИ ПРОЕКТИРОВАНИЯ, СТРУКТУРНО-ФУНКЦИОНАЛЬНЫЕ МЕТОДЫ. Метою даної магістерської атестаційної роботи є розробка моделей і методів пошуку помилок проектування в описах цифрових пристроїв, представлених на мовах опису апаратури, для істотного зменшення витрат при автоматизованому проектуванні. В якості об'єкта діагностування розглянуто моделі цифрових пристроїв, представлені на мовах опису апаратури в системах автоматизованого проектування. Зокрема, розглянуті HDL-моделі кінцевих автоматів. Запропоновані на основі розроблених методів алгоритми пошуку помилок проектування дозволили зменшити час і виключити людський фактор при проведенні діагностичного експерименту, тому що рішення про перехід до наступного етапу (тобто питання про вибір відповідного алгоритму пошуку) приймається за формальними ознаками, що в кінцевому підсумку призвело до скорочення часу верифікації при проектуванні РЕА. HDL-МОДЕЛЬ, АЛГОРИТМ МОДЕЛЮВАННЯ, ПОМИЛКИ ПРОЕКТУВАННЯ, СТРУКТУРНО-ФУНКЦІОНАЛЬНІ МЕТОДИ. The aim of certification diploma is to develop models and methods for finding errors in the descriptions of the design of digital devices submitted for hardware description languages, to significantly reduce the costs for computer-aided design. As the object of diagnosis is considered a model of digital devices submitted for hardware description languages in CAD systems. In particular, we consider HDL-model of finite automata. Proposed based on methods developed algorithms for finding design errors have reduced the time and eliminate the human factor in a diagnostic experiment, because the decision to move to the next stage (ie, the question of choosing an appropriate search algorithm) is taken on its face, that eventually led to a reduction of the design verification CEA. HDL-MODEL, ALGORITHM FOR MODELING, DESIGN ERRORS, STRUCTURAL AND FUNCTIONAL METHODS.
