Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes (eBook)

Better Early than Never
eBook Download: PDF
2024 | 2024
XXIV, 170 Seiten
Springer Nature Switzerland (Verlag)
978-3-031-51692-4 (ISBN)

Lese- und Medienproben

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes - Pascal Pieper, Rolf Drechsler
Systemvoraussetzungen
117,69 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen

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: 



Pascal Pieper received the M.Sc. in computer science from the University of Bremen, Germany, in 2018. He received the Dr.-Ing. Degree in 2023 as a Researcher within the Group of Computer Architecture, University of Bremen, Germany, and is working as an embedded software developer for the German Aerospace Center in the Institute of Space Systems since then. His research interests include modeling and verification of critical embedded systems, with a focus on system level virtual prototypes and user-friendly simulation based HW/SW co-design to improve the quality of software and hardware as a whole.

Rolf Drechsler is head of Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a Full Professor at the Institute of Computer Science, University of Bremen, since 2001. Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from the Goethe-University in Frankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechsler focusses in his research at DFKI and in the Group for Computer Architecture, which he is heading at the Institute of Computer Science of the University of Bremen, on the development and design of data structures and algorithms with an emphasis on circuit and system design.


Erscheint lt. Verlag 25.3.2024
Zusatzinfo XXIV, 170 p. 39 illus., 36 illus. in color.
Sprache englisch
Themenwelt Technik Elektrotechnik / Energietechnik
Schlagworte Enhanced Virtual Prototyping • HW/SW co-design • On- and Off-chip Device Simulation • Verification and Modeling of Complex Digital Systems • Virtual Prototyping
ISBN-10 3-031-51692-3 / 3031516923
ISBN-13 978-3-031-51692-4 / 9783031516924
Haben Sie eine Frage zum Produkt?
PDFPDF (Wasserzeichen)
Größe: 12,3 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasser­zeichen und ist damit für Sie persona­lisiert. Bei einer missbräuch­lichen Weiter­gabe des eBooks an Dritte ist eine Rück­ver­folgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Ressourcen und Bereitstellung

von Martin Kaltschmitt; Karl Stampfer

eBook Download (2023)
Springer Fachmedien Wiesbaden (Verlag)
66,99