Breaking Barriers in HW-to-SW Stack Verification

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.

Introduces a full HW-to-SW stack verification workflow that verifies the full embedded HW/SW system;
Uses Metamorphic Testing that eliminates the need for reference outputs when testing embedded graphics libraries;
Describes an LLM-assisted pipeline that generates high-quality Metamorphic Relations.