В этой книге описываются методы высокоуровневого моделирования и валидации комплексных систем аппаратных средств и программного обеспечения, включая архитектуры с многоядерными процессорами. Читатели узнают, как избежать затрат времени и ошибок при всесторонней системной валидации, в том числе при моделировании систем и их отказов, а также об автоматической генерации специализированных тестов и эффективных методиках валидации с использованием подобных тестов и подтверждения работоспособности систем. Методологии, описанные в этой книге, помогут разработчикам улучшить качество валидации благодаря выполнению тестов на ранних стадиях проектирования при одновременном снижении стоимости этих процессов и усилий, направленных на валидацию систем в целом. Эта книга предназначена для студентов старших курсов, аспирантов, исследователей, разработчиков инструментов САПР, проектировщиков и менеджеров, заинтересованных в развитии эффективных инструментов и методов проектирования и валидации на системном уровне, генерации направленных тестов и функциональной валидации гетерогенных конструкций СнК.
Вес
560
Ширина упаковки
245
Высота упаковки
15
Глубина упаковки
175
Оригинальное название
System-Level Validation
Автор
Минсон Чэнь,Ксяоке Цинь,Хеон-Му Ку,Прабат Мишра
Тип издания
Отдельное издание
Тип обложки
Твердый переплет
Тираж
750
Редактор
А. Ланцев
Переводчик
Евгения Махиянова
Произведение
Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием