Breaking Barriers in HW-to-SW Stack Verification: Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation

Hazott, Christoph; Große, Daniel

This book aims to overcome the barriers in HW-to-SW stack verification, specifically those posed by the test oracle problem and isolated analysis. The authors provide tools and strategies that make it feasible to test and analyze highly complex hardware-software systems more efficiently, covering the entire HW-to-SW stack. The methods discussed address important challenges of modern HW/SW development through versatile test and analysis techniques, promising significant advancements in the efficiency and effectiveness of the verification processes.

Details

Published by: Springer

Publication Date: 2026-07-10

Format: Hardcover

ISBN-13: 9783032235831

DOI:

Dimensions: 235cm x155cm

Pages: 128