Gå direkt till innehållet
Versatile Hardware Analysis Techniques
Spara

Versatile Hardware Analysis Techniques

inbunden, 2025
Engelska
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.
Undertitel
From Waveform-based Analysis to Formal Verification
ISBN
9783031830921
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2025-03-07
Sidor
190