Reversible Logic Synthesis From Fundamentals to Quantum Computing [Hardcover]

For the first time in book form, this comprehensive and systematic monograph presents methods for the reversible synthesis of logic functions and circuits. It is illustrated with a wealth of examples and figures that describe in detail the systematic methodologies of synthesis using reversible logic.

For the first time in book form, this comprehensive and systematic monograph presents the methods for the reversible synthesis of logic functions and circuits. This methodology offers designers the capability to solve major problems in system design now and in the future, such as the high rate of power consumption, and the emergence of quantum effects for highly dense ICs. The challenge addressed here is to design reliable systems that consume as little power as possible and in which the signals are processed and transmitted at very high speeds with very high signal integrity. Researchers in academia or industry and graduate students, who work in logic synthesis, computer design, computer-aided design tools, and low power VLSI circuit design, will find this book a valuable resource.

1 Introduction.- 1.1 Scope of the Work.- 1.2 Organization of the Book.- 2 Fundamentals.- 2.1 Normal Galois Forms in Logic Synthesis.- 2.2 Invariant Multi-Valued Families of Generalized Spectral Tranforms.- 2.2.1 General Notation for Operations on Transform Matrices.- 2.2.2 Invariant Families of Multi-Valued Spectral Transforms.- 2.3 Summary.- 3 New Multiple-Valued S/D Trees and their Canonical Galois Field Sum-Of-Product Forms.- 3.1 Green/Sasao Hierarchy of Binary Canonical Forms.- 3.2 Binary S/D Trees and their Inclusive Forms.- 3.3 Ternary S/D Trees and their Inclusive Forms and Generalized Inclusive Forms.- 3.3.1 Ternary S/D Trees and Inclusive Forms.- 3.3.2 Enumeration of Ternary Inclusive Forms.- 3.4 Properties of TIFs and TGIFs.- 3.4.1 Properties of TIFlÓ*