Верификация проектов в системах автоматизированного проектирования
| Autor principal: | |
|---|---|
| Resumo: | В учебном пособии представлены современные методы верификации цифровых устройств, блоков и узлов в составе вычислительных систем. Рассмотрены основные подходы и тенденции развития направлений верификации и тестирования цифровых устройств. Показаны практические примеры выполнения задач верификации цифровых устройств различной сложности. Выделены новые решения с учетом последних технологий, которые относятся к вопросам верификации перспективных разработок. Учебное пособие предназначено для самостоятельной работы магистрантов при изучении дисциплин «Контроль и диагностика цифровых устройств в инфокоммуникационных системах», «Верификация проектов в системах автоматизации проектирования», «Проектирование и разработка цифровых устройств на базе программируемых логических интегральных схем» по направлению 09.04.01 «Информатика и вычислительная техника» в магистерской программе «Архитектура вычислительной техники и информационных систем», а также может быть использовано студентами других направлений подготовки. Учебное пособие подготовлено при выполнении научноисследовательской работы в рамках государственного задания в сфере научной деятельности (проект №FSFZ-0706-2020-0022). Книга из коллекции РТУ МИРЭА - Инженерно-технические науки |
| Publicado em: |
Москва, РТУ МИРЭА, 2022
|
| Assuntos: | |
| Acesso em linha: | https://e.lanbook.com/book/311345 https://e.lanbook.com/img/cover/book/311345.jpg |
| Formato: | Recurso Electrónico Livro |
