Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification - Klemmer, Lucas; Große, Daniel (Springer Nature Switzerland, 2025)
Keywords: Electronics Design and Verification; Embedded Systems; Logic Design; Electronic circuit design; Embedded computer systems; Logic design