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
Vazba: Pevná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 10-13 dnů
2 742
This book deals with formal and practical approaches for fast modeling and verification of complex d...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2024
Stránek
215
EAN
9783031516917
Enbook ID
44544841
Vydavatel
Hmotnost
453
Rozměry
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 zajímat

Dearest

Jacquie Walters
220
250
534

Duchess

Danielle Steel
180
5 324
572
2 361
1 996

Key & Diary of a Mad Old Man

Jun'ichiro Tanizaki
299

Spatial Dimension of Risk

Detlef Müller-Mahn
5 272

Zákaznicí kteří koupili tuto knihu koupili také

513

Jetzt geht's!

Rolf Reinlaßöder
439

Jo

Jordi Sierra i Fabra
396
1 051

Ve svém živlu

Vítek Formánek
254