Аннотация к книге: Валидация на системном уровне

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

Автор/составитель	Чэнь М., Цинь К., Ку Х.-М.
Серия	Мир радиоэлектроники
Год выпуска	2014
ISBN	978-5-94836-365-3, 978-1-4614-1358-5
Производитель	Техносфера
Дата выпуска	2013 г.
Количество томов	1
Количество страниц	296
Переплет	твердый
Наличие иллюстраций	рисунки
Тип иллюстраций	черно-белые
Формат	70x100/16 (170x240 мм)
Тираж	750
Стандарт	8
Вес	561