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

Описание

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

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

Авторы
Чэнь М.
Серия
МИР РАДИОЭЛЕКТРОНИКИ
ISBN
978-5-94836-365-3
Издательство
М.:Техносфера
Год издания
2014
Тип переплета
Твердый переплет
Тираж
750
Количество страниц
296
Переиздание
Нет
Вес нетто
560

Авторы

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

М.:Техносфера

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

Ваш email

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

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