Gå direkte til innholdet
Versatile Hardware Analysis Techniques
Spar

Versatile Hardware Analysis Techniques

innbundet, 2025
Engelsk
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.
Undertittel
From Waveform-based Analysis to Formal Verification
ISBN
9783031830921
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
7.3.2025
Antall sider
190