Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme

Lieferzeit: Lieferbar innerhalb 14 Tagen

109,99 

Design, Verständnis und Anwendungen

ISBN: 3031369963
ISBN 13: 9783031369964
Autor: Goli, Mehran/Drechsler, Rolf
Verlag: Springer Vieweg
Umfang: xxi, 180 S., 53 s/w Illustr., 180 S. 53 Abb.
Erscheinungsdatum: 20.09.2023
Auflage: 1/2024
Produktform: Gebunden/Hardback
Einband: Gebunden
Originaltitel: Automated Analysis of Virtual Prototypes at the Electronic System Level

Bietet eine umfassende Einführung in das Gebiet der SystemC-basierten Analyse virtueller Prototypen (VP) Beschreibt eine Methodik zum Verständnis des Entwurfs sowohl aus der Sicht Veranschaulichung eines halbformalen Verifizierungsansatzes zur Überprüfung der Gültigkeit einer gegebenen VP

Artikelnummer: 9675361 Kategorie:

Beschreibung

Dieses Buch beschreibt eine Reihe von SystemC-basierten Analysemethoden für virtuelle Prototypen, einschließlich Entwurfsverständnis, Verifikation, Sicherheitsvalidierung und Entwurfsraumuntersuchung.  Der Leser erhält einen Überblick über die neuesten Forschungsergebnisse auf dem Gebiet der Electronic Design Automation (EDA) auf der elektronischen Systemebene (ESL). Die besprochenen Methoden ermöglichen es den Lesern, wichtige Aufgaben und Anwendungen im Entwurfsprozess leicht zu bewältigen. Übersetzt mit www.DeepL.com/Translator (kostenlose Version)

Autorenporträt

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)

Herstellerkennzeichnung:


Springer Vieweg in Springer Science + Business Media
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …