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

Versatile Hardware Analysis Techniques

inbunden, 2025
Engelska
Lägsta pris på PriceRunner
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