Верификация проектов в системах автоматизированного проектирования

Описание

В учебном пособии представлены современные методы верификации цифровых устройств, блоков и узлов в составе вычислительных систем. Рассмотрены основные подходы и тенденции развития направлений верификации и тестирования цифровых устройств. Показаны практические примеры выполнения задач верификации цифровых устройств различной сложности. Выделены новые решения с учетом последних технологий, которые относятся к вопросам верификации перспективных разработок. Учебное пособие предназначено для самостоятельной работы магистрантов при изучении дисциплин «Контроль и диагностика цифровых устройств в инфокоммуникационных системах», «Верификация проектов в системах автоматизации проектирования», «Проектирование и разработка цифровых устройств на базе программируемых логических интегральных схем» по направлению 09.04.01 «Информатика и вычислительная техника» в магистерской программе «Архитектура вычислительной техники и информационных систем», а также может быть использовано студентами других направлений подготовки. Учебное пособие подготовлено при выполнении научноисследовательской работы в рамках государственного задания в сфере научной деятельности (проект №FSFZ-0706-2020-0022).