Author: Rolf Drechsler
Publisher: Springer
Keywords: verification, formal, advanced
Number of Pages: 624
Published: 2004-01-31
List price: $165.00
ISBN-10: 1402077211
ISBN-13: 9781402077210

Modern circuits may contain up to several hundred million transistors. In the meantime it has been observed that verification becomes the major bottleneck in design flows, i.e. up to 80% of the overall design costs are due to verification. This is one of the reasons why several methods have been proposed as alternatives to classical simulation. Simulation alone cannot guarantee sufficient coverage of the design resulting in bugs that may remain undetected. As alternatives formal verification techniques have been proposed. Instead of simulating a design the correctness is proven by fo

Author: Rolf Drechsler
Publisher: Springer
Keywords: cad, vlsi, algorithms, evolutionary
Number of Pages: 196
Published: 1998-05-31
List price: $189.00
ISBN-10: 0792381688
ISBN-13: 9780792381686

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 been ignored. Recently, there has been a growing interest in optimization algorithms based on principles observed in nature, termed Evolutionary Algorithms (EAs). Evolutionary Algorithms in VLSI CAD presents the basic concepts of EAs, and considers the application of EAs in VLSI CAD. It is th

Authors:Görschwin Fey, Rolf Drechsler,
Publisher: Springer
Keywords: flows, design, modern, usability, robustness
Number of Pages: 166
Published: 2008-01-11
List price: $139.00
ISBN-10: 1402065353
ISBN-13: 9781402065354

The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. Therefore today’s design flow has to be improved. Using a visionary approach, this book analyzes the current design methodology and verification methodology, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed.

Authors:Rolf Drechsler, Bernd Becker,
Publisher: Springer
Keywords: implementation, theory, diagrams, decision, binary
Number of Pages: 210
Published: 1998-06
List price: $209.00
ISBN-10: 0792381939
ISBN-13: 9780792381938

Within the last 10--13 years Binary Decision Diagrams (BDDs) have become the state-of-the-art data structure in VLSI CAD for representation and manipulation of Boolean functions. Today, BDDs are widely used and in the meantime have also been integrated in commercial tools, especially in the area of verification and synthesis. The interest in BDDs results from the fact that the data structure is generally accepted as providing a good compromise between conciseness of representation and efficiency of manipulation. With increasing numbers of applications, also in non-CAD areas, classica

Authors:Daniel Große, Rolf Drechsler,
Publisher: Springer
Keywords: design, systemc, driven, quality
Number of Pages: 170
Published: 2009-12-22
List price: $129.00
ISBN-10: 904813630X
ISBN-13: 9789048136308

A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the fol

Authors:Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Da
Publisher: Springer
Keywords: proof, engines, boolean, using, pattern, generation, test
Number of Pages: 192
Published: 2009-04-29
List price: $139.00
ISBN-10: 9048123593
ISBN-13: 9789048123599

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 considered. As the underlying engine, modern SAT solvers and their use on circuit related problems are comprehensively discussed. Advanced techniques for SAT-based ATPG are introduced and evaluated in the context of an industrial environment. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-mi

Authors:Mitchell Aaron Thornton, Rolf Drechsler, D. Michael
Publisher: Springer
Keywords: cad, vlsi, techniques, spectral
Number of Pages: 268
Published: 2001-07-01
List price: $229.00
ISBN-10: 0792374339
ISBN-13: 9780792374336

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 implementation. The use of decision diagrams for spectral computations has greatly reduced this obstacle allowing for the development of new and useful spectral techniques for VLSI synthesis and verification. Several new algorithms for the computation of the Walsh, Reed-Muller, arithmetic and Haar