Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification The book covers processor verification, formal microcode verification, programmable automated waveform analysis demonstrated for a large variety of previously manual analysis tasks, as well as netlist optimization leveraging formal methods. Autor: Lucas Klemmer, Daniel Große Wydawnictwo: Springer Rok wydania: 2025 Okładka: twarda Liczba stron: 190 Wymiary: 23.5 x 15.5 cm Ilustracje: 25 Illustrations, color; 13 Illustrations, black and white Język: angielski ISBN: 9783031830921