Rolf Drechsler's Books

Spectral Techniques in VLSI CAD

By: Mitchell Aaron Thornton,Rolf Drechsler,D. Michael Miller

Write a review Read reviews Take a Quiz Solve Book Puzzle

Spectral Techniques in VLSI CAD

By: Mitchell Aaron Thornton,Rolf Drechsler,D. Michael Miller

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 spectra are described. The relation of these computational methods to traditional ones is also provided. Spectral Techniques in VLSI CAD provides a unified formalism of the representation of bit-level and word-level discrete functions in the spectral domain and as decision diagrams. An alternative and unifying interpretation of decision diagram representations is presented since it is shown that many of the different commonly used varieties of decision diagrams are merely graphical representations of various discrete function spectra. Viewing various decision diagrams as being described by specific sets of transformation functions not only illustrates the relationship between graphical and spectral representations of discrete functions, but also gives insight into how various decision diagram types are related. Spectral Techniques in VLSI CAD describes several new applications of spectral techniques in discrete function manipulation including decision diagram minimization, logic function synthesis, technology mapping and equivalence checking. The use of linear transformations in decision diagram size reduction is described and the relationship to the operation known as spectral translation is described. Several methods for synthesizing digital logic circuits based on a subset of spectral coefficients are described. An equivalence checking approach for functional verification is described based upon the use of matching pairs of Haar spectral coefficients.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

256

Publisher

Springer Science & Business Media

Published Date

ISBN 10

0792374339

ISBN 13

9780792374336

Formal Verification of Circuits

By: Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Verification of Circuits

By: Rolf Drechsler

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 impossible. However, many designs, like ALUs, have very regular structures that can be easily described at a higher level of abstraction. For example, describing (and verifying) an integer multiplier at the bit-level is very difficult, while the verification becomes easy when the outputs are grouped to build a bit-string. Recently, several approaches for formal circuit verification have been proposed that make use of these regularities. These approaches are based on Word-Level Decision Diagrams (WLDDs) which are graph-based representations of functions (similar to BDDs) that allow for the representation of functions with a Boolean range and an integer domain. Formal Verification of Circuits is devoted to the discussion of recent developments in the field of decision diagram-based formal verification. Firstly, different types of decision diagrams (including WLDDs) are introduced and theoretical properties are discussed that give further insight into the data structure. Secondly, implementation and minimization concepts are presented. Applications to arithmetic circuit verification and verification of designs specified by hardware description languages are described to show how WLDDs work in practice. Formal Verification of Circuits is intended for CAD developers and researchers as well as designers using modern verification tools. It will help people working with formal verification (in industry or academia) to keep informed about recent developments in this area.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

185

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1475731841

ISBN 13

9781475731842

Design Automation for Field-coupled Nanotechnologies

By: Marcel Walter,Robert Wille,Frank Sill Torres,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Design Automation for Field-coupled Nanotechnologies

By: Marcel Walter,Robert Wille,Frank Sill Torres,Rolf Drechsler

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 design flow is described, which covers exact and scalable placement & routing, one-pass logic synthesis, novel clocking mechanisms for data synchronization, and formal verification for obtained circuit layouts. Additionally, theoretical groundwork is presented that lays the foundation for any algorithmic consideration in the future. Furthermore, an open-source FCN design framework called fiction, which contains implementations of all proposed techniques, is presented and made publicly available. The approaches discussed in this book address obstacles that have existed since the conceptualization of the FCN paradigm and could not be resolved since then. As a result, this book substantially advances the state of the art in design automation for FCN technologies.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

201

Publisher

Springer Nature

Published Date

ISBN 10

3030899527

ISBN 13

9783030899523

Exact Design of Digital Microfluidic Biochips

By: Oliver Keszocze,Robert Wille,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Exact Design of Digital Microfluidic Biochips

By: Oliver Keszocze,Robert Wille,Rolf Drechsler

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 extended to cope with further design problems. In addition to the exact methods, heuristic approaches are provided and the complexity classes of various design problems are determined. Presents exact methods to tackle a variety of design problems for Digital Microfluidic Biochips (DMFBs); Describes an holistic, one-pass approach solving different design steps all at once; Based on a formal model of DMFBs that is easily adaptable to deal with further design tasks.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

138

Publisher

Springer

Published Date

ISBN 10

3319909363

ISBN 13

9783319909363

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

By: Julia Seiter,Robert Wille,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

By: Julia Seiter,Robert Wille,Rolf Drechsler

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 readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

100

Publisher

Springer

Published Date

ISBN 10

3319414801

ISBN 13

9783319414805

Towards One-Pass Synthesis

By: Rolf Drechsler,Wolfgang Günther

Write a review Read reviews Take a Quiz Solve Book Puzzle

Towards One-Pass Synthesis

By: Rolf Drechsler,Wolfgang Günther

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 developed to find optimal solutions for each of these steps. However, the interaction of these different algorithms has not been considered for a long time. This leads to quality loss e. g. in cases where highly optimized netlists fit badly onto the target architecture. Since the resulting circuits are often far from being optimal and insufficient regarding the optimization criteria, like area and delay, several iterations of the complete design process have to be carried out to get high quality results. This is a very time consuming and costly process. For this reason, some years ago the idea of one-pass synthesis came up. There were two main approaches how to guarantee that a design got "first time right" : 1. Combining levels that were split before, e. g. to use layout information already during the logic synthesis phase. 2. Restricting the optimization in one level such that it better fits to the next one. So far, several approaches in these two directions have been presented and new techniques are under development. In this book we describe the new paradigm that is used in one-pass synthesis and present examples for the two techniques above.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

182

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1475735960

ISBN 13

9781475735963

Towards a Design Flow for Reversible Logic

By: Robert Wille,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Towards a Design Flow for Reversible Logic

By: Robert Wille,Rolf Drechsler

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 sizes and power dissipation are the major barriers in the development of smaller and more powerful circuits. Reversible logic p- vides an alternative that may overcome many of these problems in the future. For low-power design, reversible logic offers signi?cant advantages since zero power dissipation will only be possible if computation is reversible. Furthermore, quantum computation pro?ts from enhancements in this area, because every quantum circuit is inherently reversible and thus requires reversible descriptions. However, since reversible logic is subject to certain restrictions (e.g. fanout and feedback are not directly allowed), the design of reversible circuits signi?cantly differs from the design of traditional circuits. Nearly all steps in the design ?ow (like synthesis, veri?cation, or debugging) must be redeveloped so that they become applicable to reversible circuits as well. But research in reversible logic is still at the beginning. No continuous design ?ow exists so far. Inthisbook,contributionstoadesign?owforreversiblelogicarepresented.This includes advanced methods for synthesis, optimization, veri?cation, and debugging.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

192

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9048195799

ISBN 13

9789048195794

Hitler's War in the East, 1941-1945

A Critical Assessment

By: Rolf-Dieter Müller,Gerd R. Ueberschär

Write a review Read reviews Take a Quiz Solve Book Puzzle

Hitler's War in the East, 1941-1945

A Critical Assessment

By: Rolf-Dieter Müller,Gerd R. Ueberschär

Provides a guide to the extensive literature on the war in the East, including largely unknown Soviet writing on the subject. Sections on policy and strategy, the military campaign, the ideologically motivated war of annihilation in the East, the occupation, and coming to terms with the results of the war offer a wealth of bibliographic citations, and include introductions detailing history of the period and related issues. For military historians, and for scholars who approach this period in history from a socio-economic or cultural perspective. No index. Annotation copyrighted by Book News, Inc., Portland, OR

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

460

Publisher

Berghahn Books

Published Date

ISBN 10

1571812938

ISBN 13

9781571812933

Valuing Public Innovation

Contributions to Theory and Practice

By: Rolf Rønning,Jean Hartley,Lars Fuglsang,Karin Geuijen

Write a review Read reviews Take a Quiz Solve Book Puzzle

Valuing Public Innovation

Contributions to Theory and Practice

By: Rolf Rønning,Jean Hartley,Lars Fuglsang,Karin Geuijen

Public innovation is distinctive from private sector innovation by being set in a political system rather than a market. The roles of citizens and elected politicians as well as public servants and other stakeholders are frequently relevant. Public organizations can be creators, funders, orchestrators or sense-makers of innovations, which are carried out with the aim of benefitting society. This book provides a comprehensive insight into the theory and practice of public innovation using a wide range of research evidence about the processes, drivers and barriers, stakeholders and outcomes of innovation. Using the lens of public value, the book offers a stimulating discussion of how public innovation is valued and contested in current societies. Valuing Public Innovation aims to help develop a deeper understanding of innovation and how to use that knowledge in practical ways. This is essential reading for academics and students in the fields of innovation, organisation studies, public administration and public policy, as well as for policymakers and practitioners.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

377

Publisher

Springer Nature

Published Date

ISBN 10

3031152034

ISBN 13

9783031152030

Concise Encyclopedia of Crop Improvement

Institutions, Persons, Theories, Methods, and Histories

By: Rolf Schlegel

Write a review Read reviews Take a Quiz Solve Book Puzzle

Concise Encyclopedia of Crop Improvement

Institutions, Persons, Theories, Methods, and Histories

By: Rolf Schlegel

How were today’s complex approaches to improving crops developed? The quest for a steady food supply sparked plant breeding attempts over 12,000 years ago. The Concise Encyclopedia of Crop Improvement is a comprehensive resource explaining the development of crop improvement methods over the centuries. This extensive history of

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

350

Publisher

CRC Press

Published Date

ISBN 10

1482282895

ISBN 13

9781482282894

History of Plant Breeding

By: Rolf H. J. Schlegel

Write a review Read reviews Take a Quiz Solve Book Puzzle

History of Plant Breeding

By: Rolf H. J. Schlegel

While there has been great progress in the development of plant breeding over the last decade, the selection of suitable plants for human consumption began over 13,000 years ago. Since the Neolithic era, the cultivation of plants has progressed in Asia Minor, Asia, Europe, and ancient America, each specific to the locally wild plants as well as the ecological and social conditions. A handy reference for knowing our past, understanding the present, and creating the future, this book provides a comprehensive treatment of the development of crop improvement methods over the centuries. It features an extensive historical treatment of development, including influential individuals in the field, plant cultivation in various regions, techniques used in the Old World, and cropping in ancient America. The advances of scientific plant breeding in the twentieth century is extensively explored, including efficient selection methods, hybrid breeding, induced polyploidy, mutation research, biotechnology, and genetic manipulation. Finally, this book presents information on approaches to the sustainability of breeding and to cope with climatic changes as well as the growing world population.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

312

Publisher

CRC Press

Published Date

ISBN 10

1351588966

ISBN 13

9781351588966

Debugging at the Electronic System Level

By: Frank Rogin,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Debugging at the Electronic System Level

By: Frank Rogin,Rolf Drechsler

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, debugging is still an unsystematic and lengthy process. Here, a simple reporting of a failure is not enough, anymore. Rather, it becomes more and more important not only to find many errors early during development but also to provide efficient methods for their isolation. In Debugging at the Electronic System Level the state-of-the-art of modeling and verification of ESL designs is reviewed. There, a particular focus is taken onto SystemC. Then, a reasoning hierarchy is introduced. The hierarchy combines well-known debugging techniques with whole new techniques to improve the verification efficiency at ESL. The proposed systematic debugging approach is supported amongst others by static code analysis, debug patterns, dynamic program slicing, design visualization, property generation, and automatic failure isolation. All techniques were empirically evaluated using real-world industrial designs. Summarized, the introduced approach enables a systematic search for errors in ESL designs. Here, the debugging techniques improve and accelerate error detection, observation, and isolation as well as design understanding.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

172

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9048192552

ISBN 13

9789048192557

High Quality Test Pattern Generation and Boolean Satisfiability

By: Stephan Eggersglüß,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

High Quality Test Pattern Generation and Boolean Satisfiability

By: Stephan Eggersglüß,Rolf Drechsler

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 tests such as robust path delay tests, as well as tests with long propagation paths to detect small delay defects. The aim of the techniques and methodologies presented in this book is to improve SAT-based ATPG, in order to make it applicable in industrial practice. Readers will learn to improve the performance and robustness of the overall test generation process, so that the ATPG algorithm reliably will generate test patterns for most targeted faults in acceptable run time to meet the high fault coverage demands of industry. The techniques and improvements presented in this book provide the following advantages: Provides a comprehensive introduction to test generation and Boolean Satisfiability (SAT); Describes a highly fault efficient SAT-based ATPG framework; Introduces circuit-oriented SAT solving techniques, which make use of structural information and are able to accelerate the search process significantly; Provides SAT formulations for the prevalent delay faults models, in addition to the classical stuck-at fault model; Includes an industrial perspective on the state-of-the-art in the testing, along with SAT; two topics typically distinguished from each other.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

208

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1441999760

ISBN 13

9781441999764

Binary Decision Diagrams

Theory and Implementation

By: Rolf Drechsler,Bernd Becker

Write a review Read reviews Take a Quiz Solve Book Puzzle

Binary Decision Diagrams

Theory and Implementation

By: Rolf Drechsler,Bernd Becker

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 been integrated in commercial tools, especially in the area of verijication 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 number of applications, also in non CAD areas, classical methods to handle BDDs are being improved and new questions and problems evolve and have to be solved. The book should help the reader who is not familiar with BDDs (or DDs in general) to get a quick start. On the other hand it will discuss several new aspects of BDDs, e.g. with respect to minimization and implementation of a package. This will help people working with BDDs (in industry or academia) to keep informed about recent developments in this area.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

205

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1475728921

ISBN 13

9781475728927

Reversible and Quantum Circuits

Optimization and Complexity Analysis

By: Nabila Abdessaied,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Reversible and Quantum Circuits

Optimization and Complexity Analysis

By: Nabila Abdessaied,Rolf Drechsler

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 decompose reversible circuits to quantum circuits using different quantum libraries are described. Finally, optimization techniques to reduce the quantum cost or the delay are applied to the resulting quantum circuits. Furthermore, this book studies the complexity of reversible circuits and quantum circuits from a theoretical perspective.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

206

Publisher

Springer

Published Date

ISBN 10

331931937X

ISBN 13

9783319319377

Robustness and Usability in Modern Design Flows

By: Görschwin Fey,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Robustness and Usability in Modern Design Flows

By: Görschwin Fey,Rolf Drechsler

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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

173

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1402065361

ISBN 13

9781402065361

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

By: Julia Seiter,Robert Wille,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

By: Julia Seiter,Robert Wille,Rolf Drechsler

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

100

Publisher

Springer

Published Date

ISBN 10

3319414801

ISBN 13

9783319414805

Towards a Design Flow for Reversible Logic

By: Robert Wille,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Towards a Design Flow for Reversible Logic

By: Robert Wille,Rolf Drechsler

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

192

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9048195799

ISBN 13

9789048195794

Design Automation Techniques for Approximation Circuits

Verification, Synthesis and Test

By: Arun Chandrasekharan,Daniel Große,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Design Automation Techniques for Approximation Circuits

Verification, Synthesis and Test

By: Arun Chandrasekharan,Daniel Große,Rolf Drechsler

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 approximation systems. They provide algorithms and methodologies based on classical formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

140

Publisher

Springer

Published Date

ISBN 10

3319989650

ISBN 13

9783319989655

Design for Testability, Debug and Reliability

Next Generation Measures Using Formal Techniques

By: Sebastian Huhn,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Design for Testability, Debug and Reliability

Next Generation Measures Using Formal Techniques

By: Sebastian Huhn,Rolf Drechsler

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 the field of design for testability, debug, and reliability, as strictly required for state-of-the-art circuit designs. In particular, this book combines formal techniques, such as the Satisfiability (SAT) problem and the Bounded Model Checking (BMC), to address the arising challenges concerning the increase in test data volume, as well as test application time and the required reliability. All methods are discussed in detail and evaluated extensively, while considering industry-relevant benchmark candidates. All measures have been integrated into a common framework, which implements standardized software/hardware interfaces.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

164

Publisher

Springer Nature

Published Date

ISBN 10

3030692094

ISBN 13

9783030692094

Formal Verification of Structurally Complex Multipliers

By: Alireza Mahzoon,Daniel Große,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Verification of Structurally Complex Multipliers

By: Alireza Mahzoon,Daniel Große,Rolf Drechsler

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 correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

134

Publisher

Springer Nature

Published Date

ISBN 10

3031245717

ISBN 13

9783031245718

Enhanced Virtual Prototyping for Heterogeneous Systems

By: Muhammad Hassan,Daniel Große,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Enhanced Virtual Prototyping for Heterogeneous Systems

By: Muhammad Hassan,Daniel Große,Rolf Drechsler

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 stages of the VP-based verification flow, providing a new perspective on verification by leveraging advanced techniques, like metamorphic testing, data flow testing, and information flow testing. In addition, the book puts a strong emphasis on advanced coverage-driven methodologies to verify the functional behavior of the SOC as well as ensure its security. Provides an extensive introduction to the modern VP-based verification flow for heterogeneous SOCs; Introduces a novel metamorphic testing technique for heterogeneous SOCs which does not require reference models; Includes automated advanced data flow coverage-driven methodologies tailored for SystemC/AMS-based VPs; Describes enhanced functional coverage-driven methodologies to verify various functional behaviors of RF amplifiers.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

181

Publisher

Springer Nature

Published Date

ISBN 10

3031055748

ISBN 13

9783031055744

Advanced BDD Optimization

By: Rudiger Ebendt,Görschwin Fey,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Advanced BDD Optimization

By: Rudiger Ebendt,Görschwin Fey,Rolf Drechsler

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 flow has to be improved to achieve a higher productivity. In Robustness and Usability in Modern Design Flows the current design methodology and verification methodology are analyzed, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed. An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation major design problems are targeted. In particular, a complete tool flow for Synthesis for Testability of SystemC descriptions is presented. The resulting circuits are completely testable and test pattern generation in polynomial time is possible. Verification issues are covered in even more detail. A whole new paradigm for formal design verification is suggested. This is based upon design understanding, the automatic generation of properties and powerful tool support for debugging failures. All these new techniques are empirically evaluated and experimental results are provided. As a result, an enhanced design flow is created that provides more automation (i.e. better usability) and reduces the probability of introducing conceptual errors (i.e. higher robustness).

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

240

Publisher

Springer Science & Business Media

Published Date

ISBN 10

0387254536

ISBN 13

9780387254531

Debugging at the Electronic System Level

By: Frank Rogin,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Debugging at the Electronic System Level

By: Frank Rogin,Rolf Drechsler

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

172

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9048192552

ISBN 13

9789048192557

Quality-Driven SystemC Design

By: Daniel Große,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Quality-Driven SystemC Design

By: Daniel Große,Rolf Drechsler

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 following chapters the three levels for modeling and verification are considered in detail. At each level the verification quality is measured. In summary, following the new design and verification flow a high overall quality results.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

182

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9048136318

ISBN 13

9789048136315

Enhanced Virtual Prototyping

Featuring RISC-V Case Studies

By: Vladimir Herdt,Daniel Große,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Enhanced Virtual Prototyping

Featuring RISC-V Case Studies

By: Vladimir Herdt,Daniel Große,Rolf Drechsler

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, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

247

Publisher

Springer Nature

Published Date

ISBN 10

3030548287

ISBN 13

9783030548285

Book's by Rolf Drechsler

Username

Password

Password again

Birthday

Email