Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Breaking Barriers in Hw-To-SW Stack Verification: Virtual Prototyping Meets Metamorphic Testing and Dynamic Runtime Instrumentation

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

Große, Daniel
Hazott, Christoph

Hardcover

Technology & EngineeringGeneral Computers

PREORDER - Expected ship date October 28, 2026

ISBN10: 3032235839
ISBN13: 9783032235831
Publisher: Springer
Published: Oct 28 2026
Pages: 126
Language: English
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.

Also in

General Computers

View All