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: 9783031516917
Price: 119.82 EUR
Availability: InStock

Better Early than Never

Autor: Pascal Pieper, Rolf Drechsler

Jazyk:

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

Autor

Pascal Pieper, Rolf Drechsler

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2024

Stránok

215

EAN

9783031516917

Enbook ID

44544841

Vydavateľ

Springer, Berlin

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ť

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

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

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

Better Early than Never

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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