LIBRISTO
LIBROAMANTO
obowiązkowe
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 Poczta Polska 18.99 Paczkomat 13.99 InPost 12.99 Punkt DPD 13.99

Darmowa dostawa dla zamówień powyżej 299,00 zł.

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

Better Early than Never

Język AngielskiAngielski
Książka Twarda
Książka Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Pascal Pieper
Kod Libristo: 44544841
Wydawnictwo Springer, Berlin, maj 2024
This book deals with formal and practical approaches for fast modeling and verification of complex d... Cały opis
? points 299 b
522.88
Dostępna u dostawcy Wysyłamy za 10-13 dni

30 dni na zwrot towaru


Klienci kupili także


Peygamber Enokun Kitabi Kolektif / Książka Miękka
common.buy 97.61
Jetzt geht's! Rolf Reinlaßöder / Książka Miękka
common.buy 79.27
Jo Jordi Sierra i Fabra / Książka Miękka
common.buy 71.35
Aspekte der Globalisierung Carl Baudenbacher / Książka Twarda
common.buy 189.42
Das Passionsspiel Von Vorderthiersee In Tirol (1905) Robert Weissenhofer / Książka Twarda
common.buy 161.96
Ve svém živlu Vítek Formánek / Książka Twarda
common.buy 48.30
Merkmale der griechischen Kultur Tanja Berlin / Książka Miękka
common.buy 53.71
LA PORTE DU VOYAGE SANS RETOUR Diop / Książka Miękka
common.buy 126.48

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Język Angielski
Oprawa Książka - Twarda
Data wydania 2024
Liczba stron 215
EAN 9783031516917
Kod Libristo 44544841
Wydawnictwo Springer, Berlin
Waga 453
Wymiary 155 x 235
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować


Dearest Jacquie Walters / Książka Miękka
common.buy 45.79
The Tomorrow No One Wanted Charles Johnson / Książka Miękka
common.buy 48.10
The Life of Jesus Christ Richard Newton / Książka Miękka
common.buy 102.12
Duchess Danielle Steel / Książka Miękka
common.buy 34.77
Translation-Driven Corpora Federico Zanettin / Książka Twarda
common.buy 1 006.07
Story of the Submarine Farnham Bishop / Książka Miękka
common.buy 109.64
Discrete-element Modeling of Granular Materials Farang Radjai / Książka Twarda
common.buy 1 018.20
Art versus Industry? Kate Nichols / Książka Twarda
common.buy 425.86
Concepts and the Social Order Yehuda Elkana / Książka Twarda
common.buy 378.95
Key & Diary of a Mad Old Man Jun'ichiro Tanizaki / Książka Miękka
common.buy 57.42
Spatial Dimension of Risk Detlef Müller-Mahn / Książka Twarda
common.buy 994.75

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo