Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Author: Saleem Mohammed Ridha Taha

Publisher: Springer

Published: 2015-09-24

Total Pages: 185

ISBN-13: 331923479X

DOWNLOAD EBOOK

This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. It presents the state of the art required to travel around that world safely. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies. In this book, twelve reversible logic synthesis methodologies are presented for the first time in a single literature with some new proposals. Also, the sequential reversible logic circuitries are discussed for the first time in a book. Reversible logic plays an important role in quantum computing. Any progress in the domain of reversible logic can be directly applied to quantum logic. One of the goals of this book is to show the application of reversible logic in quantum computing. A new implementation of wavelet and multiwavelet transforms using quantum computing is performed for this purpose. Researchers in academia or industry and graduate students, who work in logic synthesis, quantum computing, nano-technology, and low power VLSI circuit design, will be interested in this book.


Reversible Logic Synthesis

Reversible Logic Synthesis

Author: Anas N. Al-Rabadi

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 448

ISBN-13: 3642188532

DOWNLOAD EBOOK

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.


Reversible Logic Synthesis

Reversible Logic Synthesis

Author: Anas N. Al-Rabadi

Publisher: Springer Science & Business Media

Published: 2004

Total Pages: 464

ISBN-13: 9783540009351

DOWNLOAD EBOOK

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.


Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Author: Robert Wille

Publisher: Springer Science & Business Media

Published: 2010-07-28

Total Pages: 192

ISBN-13: 9048195799

DOWNLOAD EBOOK

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.


Design and Testing of Reversible Logic

Design and Testing of Reversible Logic

Author: Ashutosh Kumar Singh

Publisher:

Published: 2020

Total Pages:

ISBN-13: 9789811388224

DOWNLOAD EBOOK

The book compiles efficient design and test methodologies for the implementation of reversible logic circuits. The methodologies covered in the book are design approaches, test approaches, fault tolerance in reversible circuits and physical implementation techniques. The book also covers the challenges and the reversible logic circuits to meet these challenges stimulated during each stage of work cycle. The novel computing paradigms are being explored to serve as a basis for fast and low power computation.


Advanced Logic Synthesis

Advanced Logic Synthesis

Author: André Inácio Reis

Publisher: Springer

Published: 2017-11-15

Total Pages: 236

ISBN-13: 3319672959

DOWNLOAD EBOOK

This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors’ expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis. The authors describe techniques that will enable readers to take advantage of recent advances in big data techniques and frameworks in order to have better logic synthesis algorithms.


Artificial Intelligence in Logic Design

Artificial Intelligence in Logic Design

Author: Svetlana N. Yanushkevich

Publisher: Springer Science & Business Media

Published: 2004-07-27

Total Pages: 348

ISBN-13: 9781402020520

DOWNLOAD EBOOK

A collective point of view on the role of artificial intelligence paradigm in logic design is introduced. The book reveals new horizons of logic design tools on the technologies of the near future. The contributors of the book are twenty recognized leaders in the field from seven research centres; they are all experienced in practical electronic design and in teaching engineering courses.


Sequential Logic Synthesis

Sequential Logic Synthesis

Author: Pranav Ashar

Publisher: Springer Science & Business Media

Published: 1992

Total Pages: 256

ISBN-13: 9780792391876

DOWNLOAD EBOOK

Computer-aided design (CAD) of very large scale integrated (VLSI) circuits is concerned with the development of computer programs for the automated design and manufacture of ICs. Automated VLSI design is referred to as VLSI synthesis. Synthesis of VLSI circuits involves transforming a specification of circuit behavior into a mask-level layout which can be fabricated using VLSI manufacturing processes. Optimization strategies are vital in VLSI synthesis in order to meet desired specifications. However, the optimization problems encountered in VLSI synthesis are typically nondeterministic polynomial-time (NP)-complete or NP-hard. Therefore, solutions to the optimization problems incorporate heuristic strategies, the development of which requires a thorough understanding of the problem at hand. Thus, optimization-based VLSI synthesis has evolved into a rich and exciting area of research. Automata theory forms a cornerstone of digital VLSI system design. Sequential Logic Synthesis deals exclusively with finite automata theory and practice. The extensive use of finite state automata, finite state machines (FSMs) or simple sequential logic


Reversible Computation: Extending Horizons of Computing

Reversible Computation: Extending Horizons of Computing

Author: Irek Ulidowski

Publisher: Springer Nature

Published: 2020-05-13

Total Pages: 250

ISBN-13: 3030473619

DOWNLOAD EBOOK

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.


Design and Testing of Reversible Logic

Design and Testing of Reversible Logic

Author: Ashutosh Kumar Singh

Publisher: Springer

Published: 2019-07-29

Total Pages: 268

ISBN-13: 9811388210

DOWNLOAD EBOOK

The book compiles efficient design and test methodologies for the implementation of reversible logic circuits. The methodologies covered in the book are design approaches, test approaches, fault tolerance in reversible circuits and physical implementation techniques. The book also covers the challenges and the reversible logic circuits to meet these challenges stimulated during each stage of work cycle. The novel computing paradigms are being explored to serve as a basis for fast and low power computation.