Prof. Rolf Drechsler has authored and edited numerous books for Springer
50 द्वारा ईबुक Rolf Drechsler
Rudiger Ebendt & Görschwin Fey: Advanced BDD Optimization
VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- …
PDF
अंग्रेज़ी
€149.79
Görschwin Fey & Rolf Drechsler: Robustness and Usability in Modern Design Flows
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore, today’s design …
PDF
अंग्रेज़ी
€96.29
Stephan Eggersglüß & Rolf Drechsler: High Quality Test Pattern Generation and Boolean Satisfiability
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly …
PDF
अंग्रेज़ी
€96.29
Saeideh Shirinzadeh & Rolf Drechsler: In-Memory Computing
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 pra …
PDF
अंग्रेज़ी
€96.29
Rolf Drechsler & Mathias Soeken: Advanced Boolean Techniques
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 theoretic …
PDF
अंग्रेज़ी
€96.29
Mathias Soeken & Rolf Drechsler: Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will b …
PDF
अंग्रेज़ी
€96.29
Rolf Drechsler & Robert Wille: Languages, Design Methods, and Tools for Electronic System Design
This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in …
PDF
अंग्रेज़ी
€53.49
Nabila Abdessaied & Rolf Drechsler: Reversible and Quantum Circuits
This book presents a new optimization flow for quantum circuits realization. At the reversible level, optimization algorithms are presented to reduce the quantum cost. Then, new mapping approaches to …
PDF
अंग्रेज़ी
€53.49
Julia Seiter & Robert Wille: Automatic Methods for the Refinement of System Models
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable r …
PDF
अंग्रेज़ी
€53.49
Rolf Drechsler: Formal System Verification
This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest deve …
PDF
अंग्रेज़ी
€117.69
André Inácio Reis & Rolf Drechsler: Advanced Logic Synthesis
This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors’ expert perspectives on new technologies and logic synthesis, new data s …
PDF
अंग्रेज़ी
€96.29
Nils Przigoda & Robert Wille: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using …
PDF
अंग्रेज़ी
€149.79
Oliver Keszocze & Robert Wille: Exact Design of Digital Microfluidic Biochips
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 
 …
PDF
अंग्रेज़ी
€96.29
Arun Chandrasekharan & Daniel Große: Design Automation Techniques for Approximation Circuits
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 …
PDF
अंग्रेज़ी
€53.49
Mario Giacobini & Anthony Brabazon: Applications of Evolutionary Computing
Evolutionary computation (EC) techniques are e?cient, nature-inspired pl- ning and optimization methods based on the principles of natural evolution and genetics. Due to their e?ciency and simple …
PDF
अंग्रेज़ी
DRM
€118.99
Rolf Drechsler & Ulrich Kühne: Formal Modeling and Verification of Cyber-Physical Systems
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 mode …
PDF
अंग्रेज़ी
€53.49
Rolf Drechsler & Andrea Fink: Computer
Computer umgeben uns heute in fast allen Lebensbereichen. Sie erleichtern uns nicht nur als PC oder Laptop die Arbeit, sondern sind auch eingebettet in zahlreiche Objekte unseres täglichen Lebens …
PDF
जर्मन
€14.99
Rolf Drechsler & Stephan Eggersglüß: Test Pattern Generation using Boolean Proof Engines
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is consid …
PDF
अंग्रेज़ी
€96.29
Daniel Große & Rolf Drechsler: Quality-Driven SystemC Design
A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven System C Design. Two major enhancements characterize the new flow: First, dedicated veri …
PDF
अंग्रेज़ी
€96.29
Frank Rogin & Rolf Drechsler: Debugging at the Electronic System Level
Debugging becomes more and more the bottleneck to chip design productivity, especially while developing modern complex integrated circuits and systems at the Electronic System Level (ESL). Today, …
PDF
अंग्रेज़ी
€96.29
Robert Wille & Rolf Drechsler: Towards a Design Flow for Reversible Logic
The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor …
PDF
अंग्रेज़ी
€96.29
Rolf Drechsler: Advanced Formal Verification
Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of …
PDF
अंग्रेज़ी
DRM
€112.61
Nicole Drechsler & Rolf Drechsler: Evolutionary Algorithms for Embedded System Design
Evolutionary Algorithms for Embedded System Design describes how Evolutionary Algorithm (EA) concepts can be applied to circuit and system design – an area where time-to-market demands are critical. …
PDF
अंग्रेज़ी
DRM
€111.64
Rolf Drechsler & D. Michael Miller: Spectral Techniques in VLSI CAD
Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and efficient methods for the computation of discrete function …
PDF
अंग्रेज़ी
DRM
€161.67
Rolf Drechsler: Evolutionary Algorithms for VLSI CAD
In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to work …
PDF
अंग्रेज़ी
DRM
€111.88
Bernd Becker & Rolf Drechsler: Binary Decision Diagrams
For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binar*y Decision Diagmms (BDDs) have become the state-of-the-art data structure in VLSI CAD for representation …
PDF
अंग्रेज़ी
DRM
€162.64
Rolf Drechsler: Formal Verification of Circuits
Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more …
PDF
अंग्रेज़ी
DRM
€162.21
Rolf Drechsler & Wolfgang Gunther: Towards One-Pass Synthesis
The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the complete process was too complex, it has been split …
PDF
अंग्रेज़ी
DRM
€111.48
Jurgen Branke & Stefano Cagnoni: Applications of Evolutionary Computing
Evolutionary Computation (EC) deals with problem solving, optimization, and machine learning techniques inspired by principles of natural evolution and – netics. Just from this basic de?nition, it is …
PDF
अंग्रेज़ी
DRM
€56.35
Jurgen Branke & Stefano Cagnoni: Applications of Evolutionary Computing
Evolutionary computation (EC) techniques are e?cient nature-inspired pl- ning and optimization methods based on the principles of natural evolution and genetics. Due to their e?ciency and the simple …
PDF
अंग्रेज़ी
DRM
€111.56
Anthony Brabazon & Stefano Cagoni: Applications of Evolutionary Computing
…
PDF
अंग्रेज़ी
DRM
€111.56
Alexandros Agapitos & Stefano Cagnoni: Applications of Evolutionary Computation
This book constitutes the refereed proceedings of the International Conference on the Applications of Evolutionary Computation, Evo Applications 2012, held in Malaga, Spain, in April 2012, colocated …
PDF
अंग्रेज़ी
DRM
€56.08
Cornelia S. Große & Rolf Drechsler: Information Storage
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 comp …
PDF
अंग्रेज़ी
€96.29
Mehran Goli & Rolf Drechsler: Automated Analysis of Virtual Prototypes at the Electronic System Level
This book describes a set of System C‐based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers wi …
PDF
अंग्रेज़ी
€85.59
Mathias Soeken & Rolf Drechsler: Natural Language Processing for Electronic Design Automation
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 …
PDF
अंग्रेज़ी
€53.49
Vladimir Herdt & Daniel Große: Enhanced Virtual Prototyping
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 …
PDF
अंग्रेज़ी
€90.94
Rolf Drechsler & Jannis Stoppe: Noch analog oder lebst Du schon?
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 kompli …
PDF
जर्मन
€12.99
Sebastian Huhn & Rolf Drechsler: Design for Testability, Debug and Reliability
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. …
PDF
अंग्रेज़ी
€106.99
Rolf Drechsler & Daniel Große: Recent Findings in Boolean Techniques
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 theoretic …
PDF
अंग्रेज़ी
€96.29
Marcel Walter & Robert Wille: Design Automation for Field-coupled Nanotechnologies
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 corre …
PDF
अंग्रेज़ी
€96.29
Muhammad Hassan & Daniel Große: Enhanced Virtual Prototyping for Heterogeneous Systems
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 particula …
PDF
अंग्रेज़ी
€85.59
Vladimir Herdt & Daniel Große: Verbessertes virtuelles Prototyping
Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines modernen Virtual Prototype (VP)-basierten Entwurfsablaufs verbessern. Die Autoren legen den Schwerpunkt au …
PDF
जर्मन
€69.99
Alireza Mahzoon & Daniel Große: Formal Verification of Structurally Complex Multipliers
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 A …
PDF
अंग्रेज़ी
€96.29
Rolf Drechsler & Sebastian Huhn: Advanced Boolean Techniques
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 theoretic …
PDF
अंग्रेज़ी
€106.99
Saeideh Shirinzadeh & Rolf Drechsler: In-Memory-Computing
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 …
PDF
जर्मन
€86.99
Mehran Goli & Rolf Drechsler: Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme
Dieses Buch beschreibt eine Reihe von System C-basierten Analysemethoden für virtuelle Prototypen, einschließlich Entwurfsverständnis, Verifikation, Sicherheitsvalidierung und Entwurfsraumuntersuchun …
PDF
जर्मन
€86.99
Sebastian Huhn & Rolf Drechsler: Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
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ässi …
PDF
जर्मन
€86.99
Pascal Pieper & Rolf Drechsler: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using System C-based virtual prototypes. As a special …
PDF
अंग्रेज़ी
€117.69
