Versatile Hardware Analysis Techniques

From Waveform-Based Analysis To Formal Verification

de Daniel Groãÿe e Lucas Klemmer 

Bertrand.pt - Versatile Hardware Analysis Techniques
idioma: Inglês
Editor: Springer International Publishing AG
Edição: março de 2025
Portes
Grátis
10%
162,21€
145,99€

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 Daniel Groãÿe e Lucas Klemmer 
ISBN:
9783031830921
Ano de edição:
03-2025
Editor:
Springer International Publishing AG
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:
EAN:
9783031830921
10% cartão
10% cartão
10% cartão
portes grátis
10% cartão
portes grátis
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.