Formal and practical techniques for the complex system design process using virtual prototypes: better early than never
Auteur :
Pieper, Pascal / Drechsler, Rolf
Éditeur :
Springer International Publishing AG
ISBN :
9783031516948
Date de publication :
26 mars 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.