Versatile hardware analysis techniques: from waveform-based analysis to formal verification
Auteur :
Klemmer, Lucas / Große, Daniel
Éditeur :
Springer International Publishing AG
ISBN :
9783031830921
Date de publication :
7 mars 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.