Okładka

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never /

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...

Szczegółowa specyfikacja

Zapisane w:
Opis bibliograficzny
Główni autorzy: Pieper, Pascal (Autor), Drechsler, Rolf (Autor)
Korporacja: SpringerLink (Online service)
Format: Elektroniczne E-book
Język:angielski
Wydane: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Wydanie:1st ed. 2024.
Hasła przedmiotowe:
Embedded computer systems.
Electronic circuit design.
Electronics.
Embedded Systems.
Electronics Design and Verification.
Electronics and Microelectronics, Instrumentation.
Dostęp online:https://doi.org/10.1007/978-3-031-51692-4
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!

MARC

LEADER 00000nam a22000005i 4500
001 978-3-031-51692-4
003 DE-He213
005 20260810153341.0
007 cr nn 008mamaa
008 240325s2024 sz | o |||| 0|eng d
020 |a 9783031516924  |9 978-3-031-51692-4 
024 7 |a 10.1007/978-3-031-51692-4  |2 doi 
050 4 |a TK7895.E42 
072 7 |a UKM  |2 bicssc 
072 7 |a COM092000  |2 bisacsh 
072 7 |a UKM  |2 thema 
082 0 4 |a 006.22  |2 23 
100 1 |a Pieper, Pascal.  |e author.  |0 (orcid)0000-0002-7155-2537  |1 https://orcid.org/0000-0002-7155-2537  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes  |h [electronic resource] :  |b Better Early than Never /  |c by Pascal Pieper, Rolf Drechsler. 
250 |a 1st ed. 2024. 
264 1 |a Cham :  |b Springer Nature Switzerland :  |b Imprint: Springer,  |c 2024. 
300 |a 1 online resource (XXIV, 170 p. 39 illus.).  |b 36 illus. in color. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a Introduction -- Preliminaries -- Hardware and Environment Modeling -- Verification -- Conclusion and Future Work. 
520 |a 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. 
588 |a Print version record. 
650 0 |a Embedded computer systems. 
650 0 |a Electronic circuit design. 
650 0 |a Electronics. 
650 1 4 |a Embedded Systems. 
650 2 4 |a Electronics Design and Verification. 
650 2 4 |a Electronics and Microelectronics, Instrumentation. 
700 1 |a Drechsler, Rolf.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783031516917 
776 0 8 |i Printed edition:  |z 9783031516931 
776 0 8 |i Printed edition:  |z 9783031516948 
856 4 0 |u https://doi.org/10.1007/978-3-031-51692-4 
912 |a ZDB-2-ENG 
912 |a ZDB-2-SXE 
950 |a Engineering (SpringerNature-11647) 
950 |a Engineering (R0) (SpringerNature-43712) 

Podobne zapisy