02820nam a22004455i 4500001001800000003000900018005001700027007001500044008004100059020001800100024003500118050001500153072001600168072002300184072001500207100007700222245018600299250001800485264006900503300006600572336002600638337002600664338003600690347002400726505011800750520101700868650003101885650003101916650001701947650002201964650004101986650005502027700007802082710003402160773002602194776003602220776003602256776003602292856004602328978-3-031-51692-4DE-He21320251030111744.0cr nn 008mamaa240325s2024    sz |    s    |||| 0|eng d  a97830315169247 a10.1007/978-3-031-51692-42doi 4aTK7895.E42 7aUKM2bicssc 7aCOM0920002bisacsh 7aUKM2thema1 aPieper, Pascal.eauthor.4aut4http://id.loc.gov/vocabulary/relators/aut10aFormal and Practical Techniques for the Complex System Design Process using Virtual Prototypesh[electronic resource] :bBetter Early than Never /cby Pascal Pieper, Rolf Drechsler.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aXXIV, 170 p. 39 illus., 36 illus. in color.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda0 aIntroduction -- Preliminaries -- Hardware and Environment Modeling -- Verification -- Conclusion and Future Work.  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. 0aEmbedded computer systems. 0aElectronic circuit design. 0aElectronics.14aEmbedded Systems.24aElectronics Design and Verification.24aElectronics and Microelectronics, Instrumentation.1 aDrechsler, Rolf.eauthor.4aut4http://id.loc.gov/vocabulary/relators/aut2 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303151691708iPrinted edition:z978303151693108iPrinted edition:z978303151694840uhttps://doi.org/10.1007/978-3-031-51692-4