10% de desconto

Versatile Hardware Analysis Techniques eBook

From Waveform-Based Analysis To Formal Verification

de Lucas Klemmer e Daniel Groe
idioma: inglês
Editor: Springer Nature Switzerland, março de 2025 ‧
158,34€
142,51€
10% DESCONTO IMEDIATO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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

de Lucas Klemmer e Daniel Groe

Propriedade Descrição
ISBN: 9783031830938
Editor: Springer Nature Switzerland
Data de Lançamento: março de 2025
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade:
Coleção: Engineering
Classificação Temática: eBooks em Inglês > Engenharia > Eletricidade e Energia
EAN: 9783031830938
Acessibilidade: Ver características de acessibilidade indicadas pelo editor