Versatile Hardware Analysis Techniques : From Waveform-Based Analysis to Formal Verification - Klemmer, Lucas; Große, Daniel (Cham Springer, 2025)