30% OFF

Versatile Hardware Analysis Techniques

From Waveform-Based Analysis To Formal Verification

by Lucas Klemmer e Daniel Groãÿe
language: english
Publisher: Springer International Publishing AG, March of 2025 ‧
162,21€
113,55€
30% OFF
free shipping
Sell ​​your book
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.

Versatile Hardware Analysis Techniques

From Waveform-Based Analysis To Formal Verification

by Lucas Klemmer e Daniel Groãÿe

Property Description
ISBN: 9783031830921
Publisher: Springer International Publishing AG
Release Date: March of 2025
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Hardcover
Pages: 190
Format: Book
Categories: Books in English > Engineering > Electricity and Energy
EAN: 9783031830921