Нижний Новгород
8 (800) 555-08-42
Ваш город - Нижний Новгород?
Да
Выбрать другой город
От выбранного города зависят цены, наличие товара и способы доставки
Каталог товаров
Код: 00-00211026
Твердый переплет
Остался 1 экземпляр
628 q
В корзину
В корзине
Способы получения

Описание

В этой книге описываются методы высокоуровневого моделирования и верификации комплексных систем аппаратных средств и программного обеспечения, включая архитектуры с многоядерными процессорами. Читатели узнают, как избежать затрат времени и ошибок при всесторонней и системной верификации, в том числе при моделировании конструкций систем и их отказов, а также об автоматической генерации специализированных тестов и эффективных методиках верификации с использованием подобных тестов и подтверждения работоспособности систем. Методологии, описанные в этой книге, помогут разработчикам улучшить качество верификации благодаря выполнению тестов на ранних стадиях проектирования при одновременном снижении стоимости этих процессов и усилий, направленных на верификации систем в целом. Эта книга предназначена для студентов старших курсов, аспирантов, исследователей, разработчиков инструментов САПР, проектировщиков и менеджеров, заинтересованных в развитии эффективных инструментов и методов проектирования и валидации на системном уровне, генерации направленных тестов и функциональной валидации гетерогенных конструкций СнК.

Характеристики

ISBN
978-5-94836-365-3
Год издания
2014
Тип переплета
Твердый переплет
Тираж
750
Количество страниц
296
Переводчики
Евгения Канищева
Редакторы
А.-С. Флерова
Переиздание
Нет
Вес нетто
560

Авторы

Издательство

Техносфера

Мы расскажем Вам про скидки и новинки!
Просто подпишитесь на наши рассылки

Ваш email

Отзывы
Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием.

Оставить отзыв
Оставить отзыв
Сделайте покупки выгодными!
получите карту лояльности