Breaking Barriers in Hw-To-SW Stack Verification: Virtual Prototyping Meets Metamorphic Testing and Dynamic Runtime Instrumentation

By Daniel Große and Christoph Hazott

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.

• Format: Hardcover
• Language: English
• ISBN: 3032235839
• ISBN13: 9783032235831
• Release Date: July 2026
• Publisher: Springer
• Length: 126 Pages