Automated Analysis of Virtual Prototypes at the Electronic System Level (eBook)

Geben Sie eine Produktbewertung ab.

Design Understanding and Applications

Autor: Mehran Goli

CHF 94.50

ISBN: 978-3-030-44282-8

Einband: PDF

Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)

Menge:

+ -

This book describes a set of SystemC-based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers will gain an overview of the latest research results in the field of Electronic Design Automation (EDA) at the Electronic System Level (ESL). The methodologies discussed enable readers to tackle easily key tasks and applications in the design process.

Provides an extensive introduction to the field of SystemC-based virtual prototype (VP) analysis at the electronic system level;
Describes a design understanding methodology from both debugger-based and compiler-based perspectives;
Illustrates a semi-formal verification approach to check the validity of a given VP against its specification, user-defined rules and protocol;
Discusses a security validation approach to validate the run-time behavior of a given VP-based SoC against security threat models, such as information leakage (confidentiality) and unauthorized access to data in a memory (integrity);
Describes a design space exploration approach for SystemC-based VPs to guide designers to know under which error limits, different portions of a given VP can be approximated at different granularity levels.

Autor	Goli, Mehran / Drechsler, Rolf
Verlag	Springer International Publishing
Einband	PDF
Erscheinungsjahr	2020
Seitenangabe	166 S.
Ausgabekennzeichen	Englisch
Abbildungen	XXI, 166 p. 53 illus.
Auflage	1st ed. 2020

Über den Autor Mehran Goli

Mehran Goli ist seit 2018 wissenschaftlicher Mitarbeiter am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI). Er erwarb 2012 den B.Sc. in Computertechnik an der Universität Shahid Beheshti, Teheran, Iran, 2015 den M.Sc. in Computertechnik an der Universität Teheran, Teheran, Iran, und 2019 den Dr.-Ing. in Informatik an der Universität Bremen, Bremen, Deutschland. Seine aktuellen Forschungsinteressen umfassen Design auf Systemebene, Verifikation und Sicherheitsvalidierung.Rolf Drechsler erhielt das Diplom und den Dr. Phil. Nat. in Informatik an der J.W. Goethe-Universität Frankfurt am Main, Frankfurt am Main, Deutschland, in den Jahren 1992 und 1995. Von 1995 bis 2000 war er am Institut für Informatik der Albert-Ludwigs-Universität Freiburg im Breisgau und von 2000 bis 2001 in der Abteilung Corporate Technology der Siemens AG in München tätig. Seit Oktober 2001 ist er an der Universität Bremen, Bremen, Deutschland, wo er derzeit als ordentlicher Professor und Leiter der Gruppe für Rechnerarchitektur am Institut für Informatik tätig ist. Seit 2011 ist er zusätzlich Leiter der Gruppe Cyber Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) in Bremen. Seine aktuellen Forschungsinteressen umfassen die Entwicklung und den Entwurf von Datenstrukturen und Algorithmen mit einem Schwerpunkt auf Schaltungs- und Systementwurf. Er ist ein IEEE Fellow.Übersetzt mit www.DeepL.com/Translator (kostenlose Version)