Lucas Klemmer - Böcker
Visar alla böcker från författaren Lucas Klemmer. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Versatile Hardware Analysis Techniques
From Waveform-based Analysis to Formal Verification
Inbunden, Engelska, 2025
1 479 kr
Skickas inom 10-15 vardagar
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.