Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification - Klemmer, Lucas; Große, Daniel (Springer Nature Switzerland, 2025)