Поиск :
Личный кабинет :
Электронный каталог: Деменкова, Татьяна Александровна - Верификация проектов в системах автоматизированного проектирования
Деменкова, Татьяна Александровна - Верификация проектов в системах автоматизированного проектирования
Нет экз.
Электронный ресурс
Автор: Деменкова, Татьяна Александровна
Верификация проектов в системах автоматизированного проектирования
Издательство: РТУ МИРЭА, 2022 г.
ISBN отсутствует
Автор: Деменкова, Татьяна Александровна
Верификация проектов в системах автоматизированного проектирования
Издательство: РТУ МИРЭА, 2022 г.
ISBN отсутствует
На полку
Электронный ресурс
Деменкова, Татьяна Александровна.
Верификация проектов в системах автоматизированного проектирования [Электронный ресурс]. – Москва : РТУ МИРЭА, 2022. – 82 с. – Режим доступа : https://e.lanbook.com/book/311345, https://e.lanbook.com/img/cover/book/311345.jpg. – Книга из коллекции РТУ МИРЭА - Информатика. – На рус. яз.
В учебном пособии представлены современные методы верификации цифровых устройств, блоков и узлов в составе вычислительных систем. Рассмотрены основные подходы и тенденции развития направлений верификации и тестирования цифровых устройств. Показаны практические примеры выполнения задач верификации цифровых устройств различной сложности. Выделены новые решения с учетом последних технологий, которые относятся к вопросам верификации перспективных разработок. Учебное пособие предназначено для самостоятельной работы магистрантов при изучении дисциплин «Контроль и диагностика цифровых устройств в инфокоммуникационных системах», «Верификация проектов в системах автоматизации проектирования», «Проектирование и разработка цифровых устройств на базе программируемых логических интегральных схем» по направлению 09.04.01 «Информатика и вычислительная техника» в магистерской программе «Архитектура вычислительной техники и информационных систем», а также может быть использовано студентами других направлений подготовки. Учебное пособие подготовлено при выполнении научноисследовательской работы в рамках государственного задания в сфере научной деятельности (проект №FSFZ-0706-2020-0022).
621.382
основной = ЭБС Лань
Деменкова, Татьяна Александровна.
Верификация проектов в системах автоматизированного проектирования [Электронный ресурс]. – Москва : РТУ МИРЭА, 2022. – 82 с. – Режим доступа : https://e.lanbook.com/book/311345, https://e.lanbook.com/img/cover/book/311345.jpg. – Книга из коллекции РТУ МИРЭА - Информатика. – На рус. яз.
В учебном пособии представлены современные методы верификации цифровых устройств, блоков и узлов в составе вычислительных систем. Рассмотрены основные подходы и тенденции развития направлений верификации и тестирования цифровых устройств. Показаны практические примеры выполнения задач верификации цифровых устройств различной сложности. Выделены новые решения с учетом последних технологий, которые относятся к вопросам верификации перспективных разработок. Учебное пособие предназначено для самостоятельной работы магистрантов при изучении дисциплин «Контроль и диагностика цифровых устройств в инфокоммуникационных системах», «Верификация проектов в системах автоматизации проектирования», «Проектирование и разработка цифровых устройств на базе программируемых логических интегральных схем» по направлению 09.04.01 «Информатика и вычислительная техника» в магистерской программе «Архитектура вычислительной техники и информационных систем», а также может быть использовано студентами других направлений подготовки. Учебное пособие подготовлено при выполнении научноисследовательской работы в рамках государственного задания в сфере научной деятельности (проект №FSFZ-0706-2020-0022).
621.382
основной = ЭБС Лань