03155nam a22005295i 4500 978-3-031-51692-4 DE-He213 20251030111744.0 cr nn 008mamaa 240325s2024 sz | s |||| 0|eng d 9783031516924 978-3-031-51692-4 10.1007/978-3-031-51692-4 doi TK7895.E42 UKM bicssc COM092000 bisacsh UKM thema Pieper, Pascal. author. aut http://id.loc.gov/vocabulary/relators/aut 73971 Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes [electronic resource] : Better Early than Never / by Pascal Pieper, Rolf Drechsler. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. XXIV, 170 p. 39 illus., 36 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Introduction -- Preliminaries -- Hardware and Environment Modeling -- Verification -- Conclusion and Future Work. 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: Discusses modeling, simulation and verification for complex digital system design, based on RISC-V case-studies; Presents established and novel techniques to model and verify HW/SW designs with a Virtual Prototype-based design flow; Focuses on early and approachable design space exploration of complex SoC designs for accelerated, low-risk development. Embedded computer systems. 64625 Electronic circuit design. 66119 Electronics. 65899 Embedded Systems. Electronics Design and Verification. 66120 Electronics and Microelectronics, Instrumentation. 65902 Drechsler, Rolf. author. aut http://id.loc.gov/vocabulary/relators/aut 73972 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031516917 Printed edition: 9783031516931 Printed edition: 9783031516948 https://doi.org/10.1007/978-3-031-51692-4 ZDB-2-ENG ZDB-2-SXE 58649 58649