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: 2742 CZK
Availability: InStock

Better Early than Never

Autor: Pascal Pieper, Rolf Drechsler

Jazyk:

Vazba: Pevná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 10-13 dnů

2 742 Kč

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

Informace o knize

Autor

Pascal Pieper, Rolf Drechsler

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2024

Stránek

215

EAN

9783031516917

Enbook ID

44544841

Vydavatel

Springer, Berlin

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

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

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

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

Better Early than Never

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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