Lucas Klemmer Forfatter
Viser 1 - 1 af 1 resultat
-
Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification (Bog, Hardback, 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.
Levering: Skaffevare (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat