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 b...Loe edasi...
(Ilmumisaeg: 26-Mar-2024, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031516917)
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 b...Loe edasi...
