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

Better Early than Never de

,

Éditeur :

Springer


Paru le : 2024-03-25

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
116,04

Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

Description

This book deals with formal and practical approaches for early 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. Featured verification approaches are based on symbolic execution of simulated hardware devices or on classical discrete execution of the whole system with dynamic data flow tracking. The approaches are accompanied by Case-Studies that develop and build on top of an open-source RISC-V SoC simulation.

In Particular, this book: 
Pages
170 pages
Collection
n.c
Parution
2024-03-25
Marque
Springer
EAN papier
9783031516917
EAN PDF
9783031516924

Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
17
Taille du fichier
12308 Ko
Prix
116,04 €
EAN EPUB
9783031516924

Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
17
Taille du fichier
13332 Ko
Prix
116,04 €

Suggestions personnalisées