Breaking Barriers in HW-to-SW Stack Verification

Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation
Erscheinungsjahr 2026
ISBN: 978-3-032-23583-1
Verlag: Springer Nature Switzerland AG

Buch, Englisch, 126 Seiten, Format (B × H): 155 mm x 235 mm

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.

Zielgruppe

Research

Autoren/Hrsg.

Hazott, Christoph

Große, Daniel

Fachgebiete

• Mathematik | Informatik EDV | Informatik Technische Informatik Eingebettete Systeme
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Bauelemente, Schaltkreise

Inhaltsverzeichnis

Introduction.- Preliminaries.- Breaking the Test Oracle Barrier.- Breaking the Isolated Analysis Barrier.- Conclusion and Outlook.

Über Autor(innen)

Christoph Hazott received the M.Sc. degree in Embedded Systems Design from the University of Applied Sciences Hagenberg, Austria, in 2012. After his master studies, he worked at Infineon Technologies AG for the Test Engineering Department. In 2021, he started as a PhD student with the Institute for Complex Systems, Johannes Kepler University Linz, Austria and received his PhD in computer science in 2025. He published several papers at international conferences and journals, such as ASP-DAC, ETS, DDECS, FDL, and Integration, the VLSI Journal. His current research interests include RISC-V, SystemC/TLM based Virtual Prototyping as well as test and analysis of embedded HW/SW systems.