Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

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

Better Early than Never

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Pascal Pieper
Libristo-code: 44544841
Uitgeverij Springer, Berlin, mei 2024
This book deals with formal and practical approaches for fast modeling and verification of complex d... Volledige beschrijving
? points 299 b
122.99 €
In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Das Passionsspiel Von Vorderthiersee In Tirol (1905) Robert Weissenhofer / Boek Gebonden (harde band)
common.buy 38.07 €
LA PORTE DU VOYAGE SANS RETOUR Diop / Boek Gebonden (paperback)
common.buy 28.80 €
Merkmale der griechischen Kultur Tanja Berlin / Boek Gebonden (paperback)
common.buy 12.58 €
Ve svém živlu Vítek Formánek / Boek Gebonden (harde band)
common.buy 10.97 €
Bretagne - Pays de la Loire 2021 Gault / Boek Gebonden (paperback)
common.buy 17.92 €
Méthode & Pratiques de la Prospective par les signaux faibles CAHEN / Boek Gebonden (paperback)
common.buy 28.70 €
Les musiciens de Brême / Boek Blad
common.buy 3.52 €
Peygamber Enokun Kitabi Kolektif / Boek Gebonden (paperback)
common.buy 22.96 €
Aspekte der Globalisierung Carl Baudenbacher / Boek Gebonden (harde band)
common.buy 46.53 €
Introducción a la didáctica de la lengua y la literatura : un enfoque sociocrítico Eduardo Encabo Fernández / Boek Gebonden (paperback)
common.buy 22.76 €
Ein Motiv aus dem Kalender Spaziergang am See Australian Cattle Dogs (Puzzle) Verena Scholze / Spel/speelgoed Spel
common.buy 35.75 €
Jo Jordi Sierra i Fabra / Boek Gebonden (paperback)
common.buy 16.71 €
Jetzt geht's! Rolf Reinlaßöder / Boek Gebonden (paperback)
common.buy 16.11 €
Living Faith - Lebendige religioese Wirklichkeit Reiner Mahlke / Boek Gebonden (paperback)
common.buy 128.54 €

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 & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Auteur Pascal Pieper, Rolf Drechsler
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2024
Aantal pagina's 215
EAN 9783031516917
Libristo-code 44544841
Uitgeverij Springer, Berlin
Gewicht 453
Afmetingen 155 x 235

Categorieën

Informatica en informatietechnologie > Computer hardware > Geïntegreerde systemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Project Management for Building Construction Hans Sommer / Boek Gebonden (harde band)
common.buy 100.33 €
Dearest Jacquie Walters / Boek Gebonden (paperback)
common.buy 11.47 €
The Book of Wonderful Characters: Memoirs and Anecdotes of Remarkable and Eccentric Persons in All Ages and Countries James Caulfield / Boek Gebonden (harde band)
common.buy 30.62 €
The Tomorrow No One Wanted Charles Johnson / Boek Gebonden (paperback)
common.buy 11.27 €
The Life of Jesus Christ Richard Newton / Boek Gebonden (paperback)
common.buy 24.07 €
TOP
Duchess Danielle Steel / Boek Gebonden (paperback)
common.buy 8.75 €
Riding, Driving, Fencing for Young People - Long-Distance Riding, Etc. THEODORE AYRA DODGE / Boek Gebonden (paperback)
common.buy 20.64 €
Homiletical AIDS for the Christian Year E W / Boek Gebonden (harde band)
common.buy 38.07 €
Jmu Exploring Psychology 9e LL + Study Guide + Student Questionnaire David G Myers / Boek Gebonden (harde band)
common.buy 67.79 €
Translation-Driven Corpora Federico Zanettin / Boek Gebonden (harde band)
common.buy 274.51 €
Story of the Submarine Farnham Bishop / Boek Gebonden (paperback)
common.buy 25.78 €
Discrete-element Modeling of Granular Materials Farang Radjai / Boek Gebonden (harde band)
common.buy 251.34 €
Complete Index to the Names of Persons, Places and Subjects Mentioned in Littell's Laws of Kentucky W T Smith / Boek Gebonden (paperback)
common.buy 35.15 €
Art versus Industry? Kate Nichols / Boek Gebonden (harde band)
common.buy 111.31 €
Concepts and the Social Order Yehuda Elkana / Boek Gebonden (harde band)
common.buy 93.58 €
Spatial Dimension of Risk Detlef Müller-Mahn / Boek Gebonden (harde band)
common.buy 243.38 €
Key & Diary of a Mad Old Man Jun'ichiro Tanizaki / Boek Gebonden (paperback)
common.buy 19.43 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?