Focusing on advancements in integrated circuits, the book presents innovative strategies for enhancing design reliability and testability, particularly in safety-critical applications. It explores formal techniques like the Satisfiability (SAT) problem and Bounded Model Checking (BMC) to tackle challenges related to test data volume and application time. Detailed discussions and extensive evaluations of these methods are provided, alongside industry-relevant benchmarks. The authors integrate these approaches into a unified framework with standardized software and hardware interfaces.
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) Inhaltsverzeichnis 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.
Dieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Memory-Computing-Hardware und -Architekturen mit memristiven Bauelementen, der eine solide Grundlage für praktische Anwendungen schafft. Die Leser werden mit einer neuen Generation von Computerarchitekturen vertraut gemacht, die potenziell schneller arbeiten können, da die Notwendigkeit der Kommunikation zwischen Prozessor und Speicher überwunden wird. Die Diskussion umfasst verschiedene Synthesemethoden und Optimierungsalgorithmen, die auf Implementierungskostenmetriken wie Latenzzeit und Flächen abzielen, sowie das Problem der Zuverlässigkeit, das durch die kurze Lebensdauer des Speichers verursacht wird. Präsentiert einen umfassenden Synthesefluss für das aufkommende Feld des Logic-in-Memory-Computings; Beschreibt die automatische Kompilierung von programmierbaren Logik-in-Memory-Computerarchitekturen; Enthält mehrere effektive Optimierungsalgorithmen, die auch auf die klassische Logiksynthese anwendbar sind; Untersucht den unausgewogenen Schreibverkehr in Logic-in-Memory-Architekturen und beschreibt Ansätze zum Verschleißausgleich, um diesen zu verringern. Inhaltsverzeichnis Kapitel 1: Einführung.- Kapitel 2: Hintergrund.- Kapitel 3: BDD-Optimierung und Approximation: A Multi-Criteria Approach.- Kapitel 4: Synthese für Logic-in-Memory Computing mit RRAM.- Kapitel 5: Kompilierung und Wear Le0veling für programmierbare Logic-in-Memory (PLiM) Architektur.- Kapitel 6: Schlussfolgerungen.
Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
204 stránek
8 hodin čtení
Das Buch präsentiert innovative Ansätze zur Entwicklung der nächsten Generation integrierter Schaltungen für sicherheitskritische Anwendungen. Es behandelt zentrale Herausforderungen im Design für Testbarkeit, Fehlersuche und Zuverlässigkeit und kombiniert formale Techniken wie das Satisfiability (SAT)-Problem und Bounded Model Checking (BMC). Detaillierte Diskussionen und umfassende Evaluierungen anhand industrie-relevanter Benchmarks verdeutlichen die Wirksamkeit der Methoden. Zudem wird ein integriertes Framework vorgestellt, das standardisierte Software/Hardware-Schnittstellen implementiert.
Die Noerdman-Comics von Prof. Dr. Rolf Drechsler und Dr.-Ing. Jannis Stoppe bieten humorvolle Einblicke in technologische Entwicklungen und deren Herausforderungen in Industrie, Wissenschaft und Ingenieurwesen. Sie sind informativ und unterhaltsam für ein breites Publikum.
Mit Nœrdman durch die Welt von heute... und morgen
Können wir uns heute noch ein Leben ohne Computer vorstellen? Wie würde unser Tagesablauf ohne Smartphone aussehen? An welchen Stellen hilft uns Technologie, an welchen macht sie das Leben komplizierter? Welche Entwicklungen zeichnen sich ab, welche Auswirkungen werden diese haben? Das alles und mehr steht im Zentrum des Lebens von Nœrdman, dem Nerd aus dem Norden. In humorvoller und informativer Weise werden Themen des Alltags aufgegriffen, erläutert und ein Blick in die Zukunft gewagt. Denn irgendwie sind wir ja alle zu Nerds geworden. Gehörst Du zu den „digital natives“, die in die moderne Computerwelt hineingeboren wurden, oder möchtest zumindest mit diesen reden können? Das Buch richtet sich an Menschen aller Altersgruppen deren Privat- und Arbeitswelt durch die Digitalisierung massiv verändert wurde.
