LIBRISTO
LIBROAMANTO
obligatorio
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 Mensajería GLS 7.99 Mensajería Correos 5.49 Mensajería DHL 5.49 Punto SEUR 3.99

Envío gratis a partir de 69,99 euros.

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

Better Early than Never

Idioma InglésInglés
Libro Tapa dura
Libro Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Pascal Pieper
Código Libristo: 44544841
Editores Springer, Berlin, mayo 2024
This book deals with formal and practical approaches for fast modeling and verification of complex d... Descripción completa
? points 331 b
135.29
Almacenamiento externo Envío en 10-13 días

Política de devolución de 30 días


Clientes que también han comprado


Peygamber Enokun Kitabi Kolektif / Libro Tapa blanda
common.buy 25.19
Jetzt geht's! Rolf Reinlaßöder / Libro Tapa blanda
common.buy 19.79
Jo Jordi Sierra i Fabra / Libro Tapa blanda
common.buy 16.89
Aspekte der Globalisierung Carl Baudenbacher / Libro Tapa dura
common.buy 47.39
Das Passionsspiel Von Vorderthiersee In Tirol (1905) Robert Weissenhofer / Libro Tapa dura
common.buy 39.69
grande rapina al treno. Ediz. ad alta leggibilità Federico Appel / Libro Tapa blanda
common.buy 13.79
Ve svém živlu Vítek Formánek / Libro Tapa dura
common.buy 12.99
Merkmale der griechischen Kultur Tanja Berlin / Libro Tapa blanda
common.buy 13.99
LA PORTE DU VOYAGE SANS RETOUR Diop / Libro Tapa blanda
common.buy 30.09

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2024
Número de páginas 215
EAN 9783031516917
Código Libristo 44544841
Editores Springer, Berlin
Peso 453
Dimensiones 155 x 235
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle


Project Management for Building Construction Hans Sommer / Libro Tapa dura
common.buy 110.59
Dearest Jacquie Walters / Libro Tapa blanda
common.buy 11.69
The Tomorrow No One Wanted Charles Johnson / Libro Tapa blanda
common.buy 11.89
The Life of Jesus Christ Richard Newton / Libro Tapa blanda
common.buy 26.69
Duchess Danielle Steel / Libro Tapa blanda
common.buy 8.69
Translation-Driven Corpora Federico Zanettin / Libro Tapa dura
common.buy 249.99
Story of the Submarine Farnham Bishop / Libro Tapa blanda
common.buy 28.59
Discrete-element Modeling of Granular Materials Farang Radjai / Libro Tapa dura
common.buy 249.59
Art versus Industry? Kate Nichols / Libro Tapa dura
common.buy 119.29
Concepts and the Social Order Yehuda Elkana / Libro Tapa dura
common.buy 94.69
Key & Diary of a Mad Old Man Jun'ichiro Tanizaki / Libro Tapa blanda
common.buy 14.29
Spatial Dimension of Risk Detlef Müller-Mahn / Libro Tapa dura
common.buy 242.59

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?