Details

<p>Kapitel 1. Einleitung.- Kapitel 2. Hintergrund.- Kapitel 3. Entwurf und Methodik.- Kapitel 4. Anwendung I: Verifikation.- Kapitel 5. Anwendung II: Sicherheitsvalidierung.- Kapitel 6. Anwendung III: Entwurfsraumuntersuchung - Kapitel 7. Schlussfolgerung.<br></p>

<p>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.</p><p><br></p><p>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.</p><p><br></p><p>Übersetzt mit www.DeepL.com/Translator (kostenlose Version)</p><br><p></p>

<div>Dieses Buch beschreibt eine Reihe von SystemC-basierten Analysemethoden für virtuelle Prototypen, einschließlich Entwurfsverständnis, Verifikation, Sicherheitsvalidierung und Entwurfsraumuntersuchung.&nbsp; 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 dem Leser, wichtige Aufgaben und Anwendungen im Entwurfsprozess leicht zu bewältigen.</div><div><br></div><div><ul><li>Bietet eine umfassende Einführung in den Bereich der SystemC-basierten virtuellen Prototyp-Analyse (VP) auf der elektronischen Systemebene;</li><li>Beschreibt eine Methodik zum Verständnis des Entwurfs sowohl aus der Sicht des Debuggers als auch des Compilers;</li><li>Illustriert einen semi-formalen Verifikationsansatz, um die Gültigkeit eines gegebenen VP anhand seiner Spezifikation, benutzerdefinierter Regeln und des Protokolls zu überprüfen;</li><li>Erörtert einen Sicherheitsvalidierungsansatz zur Validierung des Laufzeitverhaltens eines gegebenen VP-basierten SoC gegenüber Sicherheitsbedrohungsmodellen, wie z. B. Informationslecks (Vertraulichkeit) und unbefugter Zugriff auf Daten in einem Speicher (Integrität);</li><li>Beschreibt einen Ansatz zur Erkundung des Entwurfsraums für SystemC-basierte VP, der den Designern zeigt, unter welchen Fehlergrenzen verschiedene Teile einer gegebenen VP auf verschiedenen Granularitätsebenen approximiert werden können.</li></ul></div><div><p></p><p></p><p></p><p></p></div><br>Die Übersetzung wurde mit Hilfe von künstlicher Intelligenz (anhand einer&nbsp;maschinellen Übersetzung durch einen Service von DeepL.com) angefertigt.&nbsp;Da die anschließende Überprüfung hauptsächlich im Hinblick auf inhaltliche&nbsp;Gesichtspunkte erfolgte, kann sich der Text des Buches stilistisch von einer&nbsp;konventionellen Übersetzung unterscheiden. Springer Nature arbeitet bei der&nbsp;Publikation von Büchern kontinuierlich mit innovativen Technologien, um die&nbsp;Arbeit der Autoren zu unterstützen.<br>

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