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

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

Better Early than Never

Jazyk: Angličtina
Väzba: Pevná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-13 dní
119.82
This book deals with formal and practical approaches for fast modeling and verification of complex d...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2024
Stránok
215
EAN
9783031516917
Enbook ID
44544841
Vydavateľ
Hmotnosť
453
Rozmery
155 x 235

Kompletný popis

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.

Mohlo by vás zaujímať

Dearest

Jacquie Walters
10.49
10.30
23.45

Duchess

Danielle Steel
7.45
230.63
25.11
103.33
86.85

Key & Diary of a Mad Old Man

Jun'ichiro Tanizaki
12.36

Spatial Dimension of Risk

Detlef Müller-Mahn
217.97

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

22.37

Jetzt geht's!

Rolf Reinlaßöder
18.15

Jo

Jordi Sierra i Fabra
16.38
43.37

Ve svém živlu

Vítek Formánek
9.76
12.26