30% de desconto

Versatile Hardware Analysis Techniques

From Waveform-Based Analysis To Formal Verification

de Lucas Klemmer e Daniel Groãÿe
idioma: inglês
Editor: Springer International Publishing AG, março de 2025 ‧
162,21€
113,55€
30% DESCONTO IMEDIATO
portes grátis
Venda o seu livro
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 Groãÿe

Propriedade Descrição
ISBN: 9783031830921
Editor: Springer International Publishing AG
Data de Lançamento: março de 2025
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa dura
Páginas: 190
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Engenharia > Eletricidade e Energia
EAN: 9783031830921