Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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. Focusing on the issue of quantum functionality, it presents Quantum Multiple-Valued Decision Diagrams (QMDDs – a means of compactly and efficiently representing and manipulating quantum logic. For future quantum computers, going well beyond the size of present-day prototypes, the manual design of quantum circuits that realize a given (quantum) functionality on these devices is no longer an option. In order to keep up with the technological advances, methods need to be provided which, similar to the design and synthesis of conventional circuits, automatically generate a circuit description of the desired functionality. To this end, an efficient representation of the desired quantum functionality is of the essence. While straightforward representations are restricted due to their (exponentially) large matrix descriptions and other decision diagram-like structures for quantum logic suffer from not comprehensively supporting typical characteristics, QMDDs employ a decomposition scheme that more naturally models quantum systems. As a result, QMDDs explicitly support quantum-mechanical effects like phase shifts and are able to take more advantage of corresponding redundancies, thereby allowing a very compact representation of relevant quantum functionality composed of dozens of qubits. This provides the basis for the development of sophisticated design methods as shown for quantum circuit synthesis and verification.

Quantum computing. --- Quantum logic. --- Computation, Quantum --- Computing, Quantum --- Information processing, Quantum --- Quantum computation --- Quantum information processing --- Physics. --- Computer science --- Quantum computers. --- Quantum physics. --- Spintronics. --- Quantum Information Technology, Spintronics. --- Symbolic and Algebraic Manipulation. --- Quantum Computing. --- Quantum Physics. --- Mathematics. --- Algebraic logic --- Mathematical physics --- Quantum theory --- Electronic data processing --- Algebra --- Quantum theory. --- Data processing. --- Quantum dynamics --- Quantum mechanics --- Quantum physics --- Physics --- Mechanics --- Thermodynamics --- Computer science—Mathematics. --- Fluxtronics --- Magnetoelectronics --- Spin electronics --- Spinelectronics --- Microelectronics --- Nanotechnology --- Computers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Punched card systems. --- Codes for punched card systems --- Perforated card systems --- Punch-card systems --- Punched card systems --- Engineering. --- Microprocessors. --- Electronics. --- Microelectronics. --- Electronic circuits. --- Circuits and Systems. --- Processor Architectures. --- Electronics and Microelectronics, Instrumentation. --- Electronic data processing. --- System design. --- Data processing --- Card system in business --- Computer input-output equipment --- Computer storage devices --- Indexing --- Information storage and retrieval systems --- Information theory --- Tabulating machines --- Design, System --- Systems design --- Electronic data processing --- System analysis --- ADP (Data processing) --- Automatic data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Business --- Automation --- Systems engineering. --- Computer science. --- Electrical engineering --- Physical sciences --- Informatics --- Science --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- Design and construction --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Electronics --- Microtechnology --- Semiconductors --- Miniature electronic equipment --- Minicomputers --- Electron-tube circuits --- Electric circuits --- Electron tubes