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