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: 47550 HUF
Availability: InStock

Better Early than Never

Szerző: Pascal Pieper, Rolf Drechsler

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

47 550 Ft

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

Információk a könyvről

Szerző

Pascal Pieper, Rolf Drechsler

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2024

oldal

215

EAN

9783031516917

Enbook ID

44544841

Kiadó

Springer, Berlin

Súly

453

Méretek

155 x 235

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

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

Better Early than Never

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták