Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Better Early than Never
Page
%P
-
Article
Open AccessDivider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation
Recent methods based on Symbolic Computer Algebra (SCA) have shown great success in formal verification of multipliers and—more recently—of dividers as well. In this paper we enhance known approaches by the compu...
-
Chapter
Schlussfolgerung
In dem letzten Jahrzehnt hat das Internet der Dinge (IOT) die Anforderungen an heterogene System-On-Chips (SOCs) erheblich verändert. Die enge Integration von analogen und digitalen geistigen Eigentumsrechten ...
-
Chapter
Preliminaries
This section gives an overview over the common topics the following chapters build upon to keep this book self-contained. Individual, per-chapter specific topics (such as security lattices, Section 4.3) will h...
-
Chapter
Vorarbeiten
Dieses Kapitel liefert Hintergrundinformationen zu relevanten und gängigen Themen für dieses Buch. Zunächst werden die Grundlagen von SystemC und seine TLM (Transaction-Level Modeling) Erweiterung vorgestellt,...
-
Chapter
Conclusion
The conclusion underscores the escalating impact of digital systems on security and safety, emphasizing the imperative to enhance the quality of embedded systems and ICs. The book introduces an efficient desig...
-
Book
-
Book
-
Chapter
Verification
This chapter emphasizes the critical need for thorough verification of embedded systems, building upon the advantages of SystemC models outlined in the previous chapter. SystemC models, being modular and offer...
-
Chapter
AQuCiDe: Architecture Aware Decomposition of Quantum Circuits
With the availability of moderate sized noisy quantum computers, researchers have been exploring various methods to execute quantum circuits using these devices. In some of these platforms (e.g. those using su...
-
Chapter
AMS verbesserte Code-Coverage-Verifizierungsumgebung
Dieses Kapitel diskutiert neuartige Methoden zur Codeabdeckungsschließung, um die Verifizierungsqualität des modernen Virtual Prototype (VP) Verifizierungsflusses zu verbessern. Da ein VP im Wesentlichen ein S...
-
Chapter and Conference Paper
Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits?
This paper investigates the verification gap of Dynamic Quantum Circuits (DQC) by analyzing state-of-the-art equivalence checking approaches. Today’s Noisy Intermediate-Scale Quantum (NISQ) devices are limited in...
-
Chapter
Digitale frühzeitige Sicherheitsvalidierung
Dieses Kapitel diskutiert neuartige Sicherheitsvalidierungsansätze zur Gewährleistung hochwertiger sicherer virtueller Prototypen (VPs) unter Verwendung statischer und dynamischer Informationsflussanalysen. Di...
-
Chapter
Introduction
In computer science, there is a growing gap between what technology can do and our ability to design such systems. This is known as the design gap. Systems-on-chips (SoCs) pack in numerous components, from CPU...
-
Chapter
Hardware and Environment Modeling
This chapter explores the role of RISC-V in the Internet of Things (IoT) era, emphasizing its popularity due to its open and free instruction set architecture. The chapter introduces virtual prototypes (VPs) a...
-
Chapter
Einleitung
Heterogene System-On-Chips (SOCs) gehören zu den am schnellsten wachsenden Marktsegmenten in der Elektronik- und Halbleiterindustrie. Sie bestehen aus zwei Teilen: Mixed-Signal-Hardware (HW) und Software (SW)....
-
Chapter
AMS Metamorphic Testing Umgebung
Dieses Kapitel führt eine neue Verifizierungsperspektive für Analog/Mixed-Signal (AMS) Virtuelle Prototypen (VPs) ein, die keine Referenzmodelle zur Überprüfung der Korrektheit von VPs benötigt. Traditionell e...
-
Chapter
AMS verbesserte funktionale Abdeckungsverifizierungsumgebung
Dieses Kapitel stellt neue systematische und leichtgewichtige Verifizierungsmethoden vor, die funktionale Abdeckung nutzen, um die Verifizierungsqualität des modernen Virtual Prototype (VP) Verifizierungsfluss...
-
Chapter
Reverse Engineering
Integrating local vanishing monomials removal into the SCA-based verification is essential to avoid the explosion, caused by vanishing monomials, during the backward rewriting of structurally complex multiplie...
-
Chapter
Toward System-Level Assertions for Heterogeneous Systems
Heterogeneous systems are today System-on-Chips (SoCs) with integrated hardware and software, where the hardware consists of digital and analog/mixed-signal (AMS) parts. To manage the enormous verification challe...
-
Chapter
Schlussfolgerungen
Das abschließende Kapitel fasst die wichtigsten Erkenntnisse dieses Buches zusammen, indem aufgezeigt wird, dass In-Memory-Computing eine vielversprechende Methode zur Bewältigung der Herausforderungen darstel...
