Enhanced Virtual Prototyping

Featuring RISC-V Case Studies de

, ,

Éditeur :

Springer


Paru le : 2020-10-14

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

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 presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.
Pages
247 pages
Collection
n.c
Parution
2020-10-14
Marque
Springer
EAN papier
9783030548278
EAN PDF
9783030548285

Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
24
Taille du fichier
5007 Ko
Prix
89,66 €
EAN EPUB
9783030548285

Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
24
Taille du fichier
27177 Ko
Prix
89,66 €

Suggestions personnalisées