Vladimir Herdt & Daniel Große 
Enhanced Virtual Prototyping [PDF ebook] 
Featuring RISC-V Case Studies

Ajutor

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 System C-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 ...

Citeste mai mult
€90.94
Metode de plata

Cuprins


Introduction.- Preliminaries.- An Open-Source RISC-V Evaluation Platform.- Formal Verification of System C-based Designs using Symbolic Simulation.- Coverage-guided Te...

Citeste mai mult

Despre autor

Vladimir Herdt received the M.Sc. degree in computer science from the University of Bremen, Germany, in 2014. Afterwards, he started as a Ph D student with the Group of...

Citeste mai mult
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format PDF ● Pagini 247 ● ISBN 9783030548285 ● Mărime fișier 5.1 MB ● Editura Springer International Publishing ● Oraș Cham ● Țară CH ● Publicat 2020 ● Descărcabil 24 luni ● Valută EUR ● ID 7643463 ● Protecție împotriva copiilor DRM social

Mai multe cărți electronice de la același autor (i) / Editor

18.901 Ebooks din această categorie