Rolf Drechsler – författare
Visar alla böcker från författaren Rolf Drechsler. Handla med fri frakt och snabb leverans.
130 produkter
Advanced Logic Synthesis
Av André Inácio Reis, Rolf Drechsler
Inbunden, 2017
1096 kr
Lägg i varukorg
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 structures, big data and logic synthesis, and convergent logic synthesis. The authors describe …
Advanced BDD Optimization
Av Rudiger Ebendt, Görschwin Fey m. fl.
Inbunden, 2005
1641 kr
Lägg i varukorg
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- cation or design-for-testability. In recent practical applications, BDDs are optimized with respect …
Spectral Techniques in VLSI CAD
Av Mitchell Aaron Thornton, Rolf Drechsler m. fl.
Inbunden, 2001
1690 kr
Lägg i varukorg
Spectral techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of efficient methods for the computation of discrete function spectra. In the past, spectral computations for digital logic were too complex for practical …
Formal Verification of Circuits
Inbunden, 2000
1641 kr
Lägg i varukorg
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 difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often …
Evolutionary Algorithms for VLSI CAD
Inbunden, 1998
1096 kr
Lägg i varukorg
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 well in applications and have become somewhat established over the years, other techniques have …
Binary Decision Diagrams
Theory and Implementation
Av Rolf Drechsler, Bernd Becker
Inbunden, 1998
1641 kr
Lägg i varukorg
This text is intended both for newcomers to BDDs and for researchers and practitioners who need to implement them. Apart from giving a quick start for the reader who is not familiar with BDDs (or DDs in general), it also discusses several new aspects of BDDs, e.g. with respect to minimization and …
Advanced Formal Verification
E-bok, 2007
1459 kr
Lägg i varukorg
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 today''s verification tools and describe various scenarios from industrial practice. In the first part …
Robustness and Usability in Modern Design Flows
Av Görschwin Fey, Rolf Drechsler
Inbunden, 2008
1096 kr
Lägg i varukorg
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 ?ow has to be improved to achieve a higher productivity. In this book the current design methodology …
Robustness and Usability in Modern Design Flows
Av Rolf Drechsler, Gorschwin Fey
E-bok, 2008
1459 kr
Lägg i varukorg
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 ?ow has to be improved to achieve a higher productivity. In this book the current design methodology …
Towards One-Pass Synthesis
Av Rolf Drechsler, Wolfgang Günther
Inbunden, 2002
1096 kr
Lägg i varukorg
The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since the complete process is too complex, it has been split up in several - more or less independent - phases. During the latter half of the 20th century, powerful …
Evolutionary Algorithms for Embedded System Design
Av Rolf Drechsler, Nicole Drechsler
Inbunden, 2002
1129 kr
Lägg i varukorg
This text describes how Evolutionary Algorithm (EA) concepts can be applied to circuit and system design - an area where time-to-market demands are critical. EAs create an interesting alternative to other approaches since they can be scaled with the problem size and can be easily run on parallel …
Advanced Formal Verification
Inbunden, 2004
1096 kr
Lägg i varukorg
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 today's verification tools and describe various scenarios from industrial practice. In the first part …
Advanced BDD Optimization
Av Rudiger Ebendt, Görschwin Fey m. fl.
Häftad, 2010
1641 kr
Lägg i varukorg
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- cation or design-for-testability. In recent practical applications, BDDs are optimized with respect …
Formal Verification of Circuits
Häftad, 2010
1641 kr
Lägg i varukorg
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 difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often …
Evolutionary Algorithms for VLSI CAD
Häftad, 2010
1096 kr
Lägg i varukorg
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 well in applications and have become somewhat established over the years, other techniques have …
Binary Decision Diagrams
Theory and Implementation
Av Rolf Drechsler, Bernd Becker
Häftad, 2010
1641 kr
Lägg i varukorg
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 and ma nipulation of Boolean functions. Today, BDDs are widely used and in the meantime have also …
Towards One-Pass Synthesis
Av Rolf Drechsler, Wolfgang Günther
Häftad, 2010
1096 kr
Lägg i varukorg
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 up in several - more or less independen- phases. In the last 40 years powerful algorithms have been …
Advanced Formal Verification
Häftad, 2010
1096 kr
Lägg i varukorg
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 today's verification tools and describe various scenarios from industrial practice. In the first part …
High Quality Test Pattern Generation and Boolean Satisfiability
Av Stephan Eggersglüß, Rolf Drechsler
Inbunden, 2012
1096 kr
Lägg i varukorg
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 fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay …
High Quality Test Pattern Generation and Boolean Satisfiability
Av Rolf Drechsler, Stephan Eggersglu
E-bok, 2012
1459 kr
Lägg i varukorg
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 fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay …
Evolutionary Algorithms for Embedded System Design
Av Rolf Drechsler, Nicole Drechsler
Häftad, 2012
1096 kr
Lägg i varukorg
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. EAs create an interesting alternative to other approaches since they can be scaled with the problem …
Spectral Techniques in VLSI CAD
Av Mitchell Aaron Thornton, Rolf Drechsler m. fl.
Häftad, 2012
1641 kr
Lägg i varukorg
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 spectra. In the past, spectral computations for digital logic were too complex for practical …
Evolutionary Algorithms for Embedded System Design
Av Nicole Drechsler, Rolf Drechsler
E-bok, 2012
1413 kr
Lägg i varukorg
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. EAs create an interesting alternative to other approaches since they can be scaled with the problem …
Evolutionary Algorithms for VLSI CAD
E-bok, 2013
1459 kr
Lägg i varukorg
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 well in applications and have become somewhat established over the years, other techniques have …
Binary Decision Diagrams
Theory and Implementation
Av Bernd Becker, Rolf Drechsler
E-bok, 2013
2111 kr
Lägg i varukorg
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 and ma nipulation of Boolean functions. Today, BDDs are widely used and in the meantime have also …
Formal Verification of Circuits
E-bok, 2013
2049 kr
Lägg i varukorg
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 difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often …
Towards One-Pass Synthesis
Av Wolfgang Gunther, Rolf Drechsler
E-bok, 2013
1459 kr
Lägg i varukorg
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 up in several - more or less independen- phases. In the last 40 years powerful algorithms have been …
High Quality Test Pattern Generation and Boolean Satisfiability
Av Stephan Eggersglüß, Rolf Drechsler
Häftad, 2014
1119 kr
Lägg i varukorg
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 fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay …
Design Automation Techniques for Approximation Circuits
Verification, Synthesis and Test
Av Arun Chandrasekharan, Daniel Große m. fl.
Häftad, 2019
552 kr
Lägg i varukorg
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 guarantees to synthesis and test of …
Exact Design of Digital Microfluidic Biochips
Av Oliver Keszocze, Robert Wille m. fl.
Häftad, 2019
1096 kr
Lägg i varukorg
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 a formal model that can easily be …
