Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Name: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Brand: Springer, Berlin
SKU: 44544841
Price: 128.69 EUR
Availability: InStock
Author: Pascal Pieper
ISBN: 9783031516917

Better Early than Never

Pascal Pieper

Rolf Drechsler

Sprache

Englisch

Buch Hardcover

Libristo-Code: 44544841

Verlag Springer, Berlin, Mai 2024

This book deals with formal and practical approaches for fast modeling and verification of complex d... Vollständige Beschreibung

Libristo-Code: 44544841

315 b

128.69 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Peygamber Enokun Kitabi Kolektif

Broschur

23.99 €

Jetzt geht's! Rolf Reinlaßöder

Broschur

19.39 €

Jo Jordi Sierra i Fabra

Broschur

17.29 €

Introducción a la didáctica de la lengua y la literatura : un enfoque sociocrítico Eduardo Encabo Fernández

Broschur

23.29 €

Aspekte der Globalisierung Carl Baudenbacher

Hardcover

46.49 €

Das Passionsspiel Von Vorderthiersee In Tirol (1905) Robert Weissenhofer

Hardcover

39.69 €

Les musiciens de Brême

Blatt

4.59 €

Méthode & Pratiques de la Prospective par les signaux faibles CAHEN

Broschur

30.69 €

grande rapina al treno. Ediz. ad alta leggibilità Federico Appel

Broschur

13.59 €

Ve svém živlu Vítek Formánek

Hardcover

12.69 €

Merkmale der griechischen Kultur Tanja Berlin

Broschur

13.99 €

LA PORTE DU VOYAGE SANS RETOUR Diop

Broschur

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

Autor Pascal Pieper, Rolf Drechsler

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2024

Anzahl der Seiten 215

EAN 9783031516917

Libristo-Code 44544841

Verlag Springer, Berlin

Gewicht 453

Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Computerhardware > Eingebettete Systeme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert