LEADER 03056nam 22005775 450 001 9910845488603321 005 20240326133330.0 010 $a3-031-51692-3 024 7 $a10.1007/978-3-031-51692-4 035 $a(MiAaPQ)EBC31230607 035 $a(Au-PeEL)EBL31230607 035 $a(DE-He213)978-3-031-51692-4 035 $a(CKB)31120641800041 035 $a(MiAaPQ)EBC31254207 035 $a(Au-PeEL)EBL31254207 035 $a(EXLCZ)9931120641800041 100 $a20240325d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal and Practical Techniques for the Complex System Design Process using Virtual Prototypes$b[electronic resource] $eBetter Early than Never /$fby Pascal Pieper, Rolf Drechsler 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (190 pages) 311 $a3-031-51691-5 327 $aIntroduction -- Preliminaries -- Hardware and Environment Modeling -- Verification -- Conclusion and Future Work. 330 $aThis 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. 606 $aEmbedded computer systems 606 $aElectronic circuit design 606 $aElectronics 606 $aEmbedded Systems 606 $aElectronics Design and Verification 606 $aElectronics and Microelectronics, Instrumentation 615 0$aEmbedded computer systems. 615 0$aElectronic circuit design. 615 0$aElectronics. 615 14$aEmbedded Systems. 615 24$aElectronics Design and Verification. 615 24$aElectronics and Microelectronics, Instrumentation. 676 $a006.22 700 $aPieper$b Pascal$01734253 701 $aDrechsler$b Rolf$0720580 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910845488603321 996 $aFormal and Practical Techniques for the Complex System Design Process using Virtual Prototypes$94150877 997 $aUNINA