Ebooks de Rolf Drechsler en PDF et EPUB

32 Livre(s)


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... Editeur : Springer Vieweg Parution : 2024-06-03 PDF, ePub 66,37 € PDF ePub
Ajouter à ma liste d'envies Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Rolf Drechsler , Pascal Pieper This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of... Editeur : Springer Parution : 2024-03-25 PDF, ePub 116,59 € PDF ePub
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... Editeur : Springer Vieweg Parution : 2024-01-02 PDF, ePub 86,18 € PDF ePub
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... Editeur : Springer Vieweg Parution : 2023-09-19 PDF, ePub 86,18 € PDF ePub
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... Editeur : Springer Vieweg Parution : 2023-06-07 PDF, ePub 86,18 € PDF ePub
Ajouter à ma liste d'envies Advanced Boolean Techniques Rolf Drechsler , Sebastian Huhn This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a... Editeur : Springer Parution : 2023-05-29 PDF, ePub 116,59 € PDF ePub
Ajouter à ma liste d'envies Formal Verification of Structurally Complex Multipliers Rolf Drechsler , Daniel Große , Alireza Mahzoon This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the... Editeur : Springer Parution : 2023-02-14 PDF, ePub 95,39 € PDF ePub
Ajouter à ma liste d'envies Enhanced Virtual Prototyping for Heterogeneous Systems Rolf Drechsler , Daniel Große , Muhammad Hassan This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various... Editeur : Springer Parution : 2022-09-01 PDF, ePub 84,79 € PDF ePub
Ajouter à ma liste d'envies Design Automation for Field-coupled Nanotechnologies Rolf Drechsler , Frank Sill Torres , Marcel Walter , Robert Wille This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition of elementary building blocks, that obtain correct systems from given function specifications. To this end, a holistic... Editeur : Springer Parution : 2022-01-10 PDF, ePub 95,39 € PDF ePub
Ajouter à ma liste d'envies Recent Findings in Boolean Techniques Rolf Drechsler , Daniel Große This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection... Editeur : Springer Parution : 2021-04-29 PDF, ePub 95,39 € PDF ePub
Ajouter à ma liste d'envies Design for Testability, Debug and Reliability Rolf Drechsler , Sebastian Huhn This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably integrated, even in safety-critical applications. The authors describe new measures to address the rising challenges in... Editeur : Springer Parution : 2021-04-19 PDF, ePub 105,99 € PDF ePub
Ajouter à ma liste d'envies Noch analog oder lebst Du schon? Rolf Drechsler , Jannis Stoppe 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... Editeur : Springer Parution : 2021-02-21 PDF 12,87 €
Ajouter à ma liste d'envies Enhanced Virtual Prototyping Rolf Drechsler , Daniel Große , Vladimir Herdt This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques,... Editeur : Springer Parution : 2020-10-14 PDF, ePub 90,09 € PDF ePub
Ajouter à ma liste d'envies Natural Language Processing for Electronic Design Automation Rolf Drechsler , Mathias Soeken This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process... Editeur : Springer Parution : 2020-08-31 PDF, ePub 52,99 € PDF ePub
Ajouter à ma liste d'envies Automated Analysis of Virtual Prototypes at the Electronic System Level Rolf Drechsler , Mehran Goli This book describes a set of SystemC-based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers will gain an overview of the latest research results in the field of... Editeur : Springer Parution : 2020-05-04 PDF, ePub 84,79 € PDF ePub
Ajouter à ma liste d'envies Information Storage Rolf Drechsler , Cornelia S. Große This book examines some of the underlying processes behind different forms of information management, including how we store information in our brains, the impact of new technologies such as computers and robots on our efficiency in storing information, and how... Editeur : Springer Parution : 2019-11-19 PDF, ePub 95,39 € PDF ePub
Ajouter à ma liste d'envies Advanced Boolean Techniques Rolf Drechsler , Mathias Soeken This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a... Editeur : Springer Parution : 2019-07-08 PDF, ePub 95,39 € PDF ePub
Ajouter à ma liste d'envies In-Memory Computing Rolf Drechsler , Saeideh Shirinzadeh This book describes a comprehensive approach for synthesis and optimization of logic-in-memory computing hardware and architectures using memristive devices, which creates a firm foundation for practical applications. Readers will get familiar with a new... Editeur : Springer Parution : 2019-05-22 PDF, ePub 95,39 € PDF ePub
Ajouter à ma liste d'envies Design Automation Techniques for Approximation Circuits Arun Chandrasekharan , Rolf Drechsler , Daniel Große This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error... Editeur : Springer Parution : 2018-10-10 PDF, ePub 52,99 € PDF ePub
Ajouter à ma liste d'envies Exact Design of Digital Microfluidic Biochips Rolf Drechsler , Oliver Keszocze , Robert Wille This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on... Editeur : Springer Parution : 2018-06-11 PDF 95,39 €
12 >

Les livres numériques peuvent être téléchargés depuis votre librairie numérique ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Protection	Application
Ordinateur	-EPUB -PDF	DRM Adobe LCP	Compatible lecture en ligne (streaming) Adobe Digital Editions(DRM Adobe) Thorium Reader (LCP)
Tablette et smartphone iOS / Android	EPUB PDF	LCP DRM Adobe	Application Louise Reader : IOS / Android(ne lit pas les fichiers protégés par Adobe DRM) Adobe Digital Edition : IOS/Android(Lit uniquement la DRM Adobe)
Liseuse	EPUB	DRM Adobe	Module de lecture de la liseuse
Liseuse Diva	EPUB	LCP DRM Adobe	Module de lecture de la liseuse Diva

Consultez l’aide pour en savoir plus.