Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios.
Crie uma conta gratuitamente
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Correio MRW 3.99 €
Ponto DPD 3.99 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Better Early than Never
Língua
Inglês
Inglês
Livro
Livro de capa dura
This book deals with formal and practical approaches for fast modeling and verification of complex d...
Descrição completa
Código Libristo: 44544841
?
267 b
267 b
110.17
€
Armazenamento externo
Envio em 10-13 dias
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
19.92
€
/
Livro de capa dura
32.67
€
This book deals with formal and practical approaches for fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of System-on-Chips and the connected off-chip digital devices are addressed. Verification approaches are based on both symbolic execution of simulated hardware devices and classical discrete execution of the whole system with dynamic data flow tracking to analyze security policy rules. Case-Studies are conducted by developing and building on top of an open-source RISC-V SoC simulation.
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.
Sobre o livro
Nome completo
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Autor
Pascal Pieper, Rolf Drechsler
Língua
Inglês
Inglês
Encadernação
Livro - Livro de capa dura
Data de emissão
2024
Número de páginas
215
EAN
9783031516917
Código Libristo
44544841
Editoras
Springer, Berlin
Peso
453
Dimensões
155 x 235
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Livro de capa dura
25.49
€
/
Capa mole
17.39
€
/
Livro de capa dura
60.80
€
/
Capa mole
30.14
€
