Bøger af Robert Wille

This book provides an easy-to-read introduction into quantum computing as well as classical simulation of quantum circuits. The authors showcase the enormous potential that can be unleashed when doing these simulations using decision diagrams¿a data structure common in the design automation community but hardly used in quantum computing yet. In fact, the covered algorithms and methods are able to outperform previously proposed solutions on certain use cases and, hence, provide a complementary solution to established approaches. The award-winning methods are implemented and available as open-source under free licenses and can be easily integrated into existing frameworks such as IBM¿s Qiskit or Atos¿ QLM.

Dieses Buch bietet dem Leser einen einfachen Einstieg in das Quantencomputing sowie in den Entwurf entsprechender Geräte. Die Autoren behandeln verschiedene Entwurfsaufgaben, die für das Quantencomputing wichtig sind, und stellen entsprechende Lösungen vor. Eine Besonderheit des Buches ist, dass diese Aufgaben und Lösungen explizit aus der Perspektive der Entwurfsautomatisierung diskutiert werden, d.h. unter Verwendung von cleveren Algorithmen und Datenstrukturen, die von der Entwurfsautomatisierungs-Community für konventionelle Logik (d.h. für elektronische Geräte und Systeme) entwickelt worden sind und nun für diese neue Technologie angewendet werden. Auf diese Weise können relevante Entwurfsaufgaben wesentlich effizienter als bisher durchgeführt werden, was zu Verbesserungen um mehrere Größenordnungen führt (in Bezug auf die Laufzeit und andere Entwurfsziele). Beschreibt den aktuellen Stand der Technik für den Entwurf von Quantenschaltungen, für deren Simulation und für deren Abbildung auf reale Hardware; Bietet eine erste umfassende Einführung in die Entwurfsautomatisierung für Quantencomputer, die sich mit praxisrelevanten Aufgabenstellungen befasst; Es richtet sich sowohl an die Quantencomputer-Gemeinschaft als auch an die Gemeinschaft der Entwurfsautomatisierung und zeigt, welche beeindruckenden Verbesserungen möglich sind, wenn man das Wissen beider Gemeinschaften kombiniert.

This book describes the current state of the art for simulating paint shop applications, their advantages and limitations, as well as corresponding high-performance computing (HPC) methods utilized in this domain.

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.

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 satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.

This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum circuits with a view to providing compact representations of quantum functionality.

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.

This book presents contributions to a design flow for reversible logic, including advanced methods for synthesis, optimization, verification, and debugging. It proposes several techniques for synthesis of very large functions in reversible logic.