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-million gate designs. The book describes the state of the art in the field, highlights research aspects, and shows directions for future work.

Since the first edition was published, new technologies have emerged, especially in the area of convergence of computing and communications, accompanied by a lot of new technical terms. This third expanded and updated edition has been adaptetd to cope with this situation. The number of entries has been incremented by 35%. This dictionary offers a valuable guide to navigate through the entanglement of German and English terminology. The lexicographic concept (indication of the subject field for every term, short definitions, references to synonyms, antonyms, general and derivative terms) has been maintained, as well as the tabular layout.

This book is a collection of research papers on a wide variety of multigrid topics, including applications, computation and theory. It represents proceedings of the Third Copper Mountain Conference on Multigrid Methods, which was held at Copper Mountain, Colorado.

Since the first edition was published, new technologies have come up, especially in the area of convergence of Computing and Communications, accompanied by a lot of new technical terms. This second expanded and updated edition has been worked out to cope with this situation. The number of entries has been incremented by 35%. With about 159,000 entries, this dictionary offers a valuable guide to navigate through the entanglement of German and English terminology. The lexicographic concept (indication of the subject field for every term, short definitions, references to synonyms, antonyms, general and derivative terms) has been maintained, as well as the tabular layout.

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.