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: 663.73 RON
Availability: InStock

Better Early than Never

Autor: Pascal Pieper, Rolf Drechsler

Limbă:

Legare: Copertă tare

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

663.73 lei

This book deals with formal and practical approaches for fast modeling and verification of complex d...

Informații despre carte

Autor

Pascal Pieper, Rolf Drechsler

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2024

Pagini

215

EAN

9783031516917

Enbook ID

44544841

Editura

Springer, Berlin

Greutate

453

Dimensiuni

155 x 235

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

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

Better Early than Never

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și