Tous les ebooks de Rolf Drechsler en PDF et EPUB


5  résultat(s)
Télécharger le livre :  Erweiterte virtuelle Prototypen für heterogene Systeme
Ajouter à ma liste d'envies

Erweiterte virtuelle Prototypen für heterogene Systeme


Rolf Drechsler , Daniel Große , Muhammad Hassan


Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere kombiniert das Buch Verifikations- und Analyseaspekte über...

Parution : 2024-06-03
Format(s) : PDF, ePub
Éditeur : Springer Vieweg
J'achète
62,61
Télécharger le livre :  Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
Ajouter à ma liste d'envies

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit


Rolf Drechsler , Sebastian Huhn


In diesem Buch werden mehrere neue Ansätze vorgestellt, die den Weg für die nächste Generation integrierter Schaltungen ebnen, die auch in sicherheitskritischen Anwendungen erfolgreich und zuverlässig integriert werden können. Die Autoren beschreiben neue Maßnahmen zur...

Parution : 2024-01-02
Format(s) : PDF, ePub
Éditeur : Springer Vieweg
J'achète
81,30
Télécharger le livre :  Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme
Ajouter à ma liste d'envies

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme


Rolf Drechsler , Mehran Goli


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...

Parution : 2023-09-19
Format(s) : PDF, ePub
Éditeur : Springer Vieweg
J'achète
81,30
Télécharger le livre :  In-Memory-Computing
Ajouter à ma liste d'envies

In-Memory-Computing


Rolf Drechsler , Saeideh Shirinzadeh


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...

Parution : 2023-06-07
Format(s) : PDF, ePub
Éditeur : Springer Vieweg
J'achète
81,30
Télécharger le livre :  Formal Modeling and Verification of Cyber-Physical Systems
Ajouter à ma liste d'envies

Formal Modeling and Verification of Cyber-Physical Systems


Rolf Drechsler , Ulrich Kühne


This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems.This covers several...

Parution : 2015-06-05
Format(s) : PDF
Éditeur : Springer Vieweg
J'achète
49,99

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés