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

В книге описываются методы высокоуровневого моделирования и валидации комплексных систем аппаратных средств и программного обеспечения, включая архитектуры с многоядерными процессорами.