Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

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

Better Early than Never

Langue AnglaisAnglais
Livre Livre relié
Livre Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Pascal Pieper
Code Libristo: 44544841
Éditeurs Springer, Berlin, mai 2024
This book deals with formal and practical approaches for fast modeling and verification of complex d... Description détaillée
? points 315 b
128.69 € TVA incluse
Stockage externe Expédition sous 10-13 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Peygamber Enokun Kitabi Kolektif / Livre Livre de poche
common.buy 23.99 €
Jetzt geht's! Rolf Reinlaßöder / Livre Livre de poche
common.buy 19.39 €
Jo Jordi Sierra i Fabra / Livre Livre de poche
common.buy 17.19 €
Introducción a la didáctica de la lengua y la literatura : un enfoque sociocrítico Eduardo Encabo Fernández / Livre Livre de poche
common.buy 23.49 €
Aspekte der Globalisierung Carl Baudenbacher / Livre Livre relié
common.buy 46.49 €
Das Passionsspiel Von Vorderthiersee In Tirol (1905) Robert Weissenhofer / Livre Livre relié
common.buy 39.69 €
Les musiciens de Brême / Livre Feuille
common.buy 4.69 €
Méthode & Pratiques de la Prospective par les signaux faibles CAHEN / Livre Livre de poche
common.buy 30.79 €
Ve svém živlu Vítek Formánek / Livre Livre relié
common.buy 12.69 €
Merkmale der griechischen Kultur Tanja Berlin / Livre Livre de poche
common.buy 13.99 €
LA PORTE DU VOYAGE SANS RETOUR Diop / Livre Livre de poche
common.buy 30.79 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Auteur Pascal Pieper, Rolf Drechsler
Langue Anglais
Reliure Livre - Livre relié
Date de parution 2024
Nombre de pages 215
EAN 9783031516917
Code Libristo 44544841
Éditeurs Springer, Berlin
Poids 453
Dimensions 155 x 235

Catégories

Informatique et technologies de l’information > Matériel informatique > Systèmes embarqués
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Project Management for Building Construction Hans Sommer / Livre Livre relié
common.buy 105.09 €
Dearest Jacquie Walters / Livre Livre de poche
common.buy 11.39 €
The Book of Wonderful Characters: Memoirs and Anecdotes of Remarkable and Eccentric Persons in All Ages and Countries James Caulfield / Livre Livre relié
common.buy 32.19 €
The Tomorrow No One Wanted Charles Johnson / Livre Livre de poche
common.buy 11.89 €
The Life of Jesus Christ Richard Newton / Livre Livre de poche
common.buy 25.29 €
Duchess Danielle Steel / Livre Livre de poche
common.buy 8.69 €
Riding, Driving, Fencing for Young People - Long-Distance Riding, Etc. THEODORE AYRA DODGE / Livre Livre de poche
common.buy 21.59 €
Homiletical AIDS for the Christian Year E W / Livre Livre relié
common.buy 39.69 €
Jmu Exploring Psychology 9e LL + Study Guide + Student Questionnaire David G Myers / Livre Livre relié
common.buy 69.09 €
Translation-Driven Corpora Federico Zanettin / Livre Livre relié
common.buy 245.59 €
Story of the Submarine Farnham Bishop / Livre Livre de poche
common.buy 27.09 €
Discrete-element Modeling of Granular Materials Farang Radjai / Livre Livre relié
common.buy 249.59 €
Complete Index to the Names of Persons, Places and Subjects Mentioned in Littell's Laws of Kentucky W T Smith / Livre Livre de poche
common.buy 36.49 €
Art versus Industry? Kate Nichols / Livre Livre relié
common.buy 116.99 €
Concepts and the Social Order Yehuda Elkana / Livre Livre relié
common.buy 92.89 €
Key & Diary of a Mad Old Man Jun'ichiro Tanizaki / Livre Livre de poche
common.buy 14.29 €
Spatial Dimension of Risk Detlef Müller-Mahn / Livre Livre relié
common.buy 242.59 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?