Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme
Design, Verständnis und Anwendungen
Page
%P
-
Chapter
Einführung
Die Komplexität der Hardware ist heutzutage ein großes Problem. Moderne elektronische Schaltungen und Systeme bestehen aus vielen verschiedenen Funktionsblöcken, einschließlich mehrerer Kerne für geistiges Eigent...
-
Chapter
Schlussfolgerung
In diesem Buch wurde zunächst eine umfassende Design Understanding-Methodik für die Analyse von VPs am ESL vorgestellt, die eine Vielzahl von SystemC-Entwürfen unterstützt und in Verbindung mit einem bestehend...
-
Chapter
Entwurf Verstehen Methodik
Die Analyse einer gegebenen SystemC-basierten VP ist eine komplizierte Aufgabe. Wie in Kap. 2 erläutert, ist dies hauptsächlich auf die verschiedenen komplexen Konstrukte, das...
-
Chapter
Anwendung II: Sicherheitsvalidierung
Moderne SoCs sind notorisch unsicher. Daher wird die grundlegende Sicherheitsfunktion der IP-Isolierung intensiv genutzt, z. B. werden gesicherte Memory Mapped IOs (MMIOs) oder gesicherte Adressbereiche im Falle ...
-
Chapter
Hintergrund
Dieses Kapitel zielt darauf ab, dieses Buch in sich geschlossen zu halten, indem es kurze Einführungen in die grundlegenden Konzepte bietet, die für die folgenden Kapitel erforderlich sind. Das Kapitel besteht...
-
Book
-
Chapter
Anwendung I: Verifizierung
Im vorangegangenen Kapitel wurden zwei neuartige SystemC-basierte VP-Analyseansätze vorgestellt, die es Designern ermöglichen, detaillierte Informationen sowohl über die Struktur als auch das Verhalten einer b...
-
Chapter
Anwendung III: Design Space Exploration
Die zunehmende Funktionalität elektronischer Systeme aufgrund der ständigen Weiterentwicklung der Marktanforderungen macht die nichtfunktionalen Aspekte solcher Systeme (z. B. Energieverbrauch, Flächenbedarf o...
-
Book
Automated Analysis of Virtual Prototypes at the Electronic System Level
Design Understanding and Applications
-
Chapter
Introduction
Hardware complexity nowadays is a major issue. Modern electronic circuits and systems consist of many different functional blocks, including multiple (third-party) Intellectual Property (IP) cores, various on-chi...
-
Chapter
Conclusion
In this book, first, a comprehensive design understanding methodology for analyzing VPs at the ESL was presented, which is able to support a wide variety of SystemC designs and be used in conjunction with an e...
-
Chapter
Background
This chapter aims at kee** this book self-contained by providing brief introductions on the basic concepts required for the following chapters. The chapter includes four introductory sections. The first and ...
-
Chapter
Design Understanding Methodology
Analyzing a given SystemC-based VP is an intricate task. As discussed in Chap. 2, this is mainly because of various complex constructs, concurrency model, and protocol rules defined in SystemC language, enabli...
-
Chapter
Application II: Security Validation
Modern SoCs are notoriously insecure. Hence, the fundamental security feature of IP isolation is heavily used, e.g., secured Memory Mapped IOs (MMIOs), or secured address ranges in case of memories, are marked as...
-
Chapter
Application I: Verification
In the previous chapter, two novel SystemC-based VP analysis approaches were introduced, allowing designers to access detailed information about both the structure and behavior of a given VP. Apart from the de...
-
Chapter
Application III: Design Space Exploration
The increasing functionality of electronic systems due to the constant evolution of the market requirements makes the non-functional aspects of such systems (e.g., energy consumption, area overhead, or perform...
