Abstract:Quantum-dot Cellular Automata (QCA) is one of the emerging nanotechnologies, promising alternative to CMOS technology due to faster speed, smaller size, lower power consumption, higher scale integration and higher switching frequency. Also, power dissipation is the main limitation of all the nano electronics design techniques including the QCA. Researchers have proposed the various mechanisms to limit this problem. Among them, reversible computing is considered as the reliable solution to lower the power dissipation. On the other hand, adders are fundamental circuits for most digital systems. In this paper, Innovation is divided to three sections. In the first section, a method for converting irreversible functions to a reversible one is presented. This method has advantages such as: converting of irreversible functions to reversible one directly and as optimal. So, in this method, sub-optimal methods of using of conventional reversible blocks such as Toffoli and Fredkin are not used, having of minimum number of garbage outputs and so on. Then, Using the method, two new symmetric and planar designs of reversible full-adders are presented. In the second section, a new symmetric, planar and fault tolerant five-input majority gate is proposed. Based on the designed gate, a reversible full-adder are presented. Also, for this gate, a fault-tolerant analysis is proposed. And in the third section, three new 8-bit reversible full-adder/subtractors are designed based on full-adders/subtractors proposed in the second section. The results are indicative of the outperformance of the proposed designs in comparison to the best available ones in terms of area, complexity, delay, reversible/irreversible layout, and also in logic level in terms of garbage outputs, control inputs, number of majority and NOT gates.

SAT-controlled Redundancy Addition and Removal: a Novel Circuit Restructuring Technique

Optimization for Timing-Speculated Circuits by Redundancy Addition and Removal

Combinational and sequential logic optimization by redundancy addition and removal

Redundant Logic Insertion and Fault Tolerance Improvement in Combinational Circuits

Accelerating Logic Rewiring Using Implication Analysis Tree.

New Designs Of Redundant-Binary Full Adders And Its Applications

A Fast Heuristic Algorithm for Redundancy Removal

RTSAT: A Hybrid Satisfiability Solver for RTL Circuits

The Research of FPGA Reliability Based on Redundancy Methods

Computation-oriented Fault-Tolerance Schemes for RRAM Computing Systems

Efficient Analog Circuits for Boolean Satisfiability.

New Symmetric and Planar Designs of Reversible Full-Adders/Subtractors in Quantum-Dot Cellular Automata

EDA-Driven Preprocessing for SAT Solving

An efficient redundant binary adder with revised computational rules

Satisfiability-based Method for Reconfiguring Power Efficient VLSI Array

A BAT-based Exact-Solution Algorithm for the Series-Parallel Redundancy Allocation Problem with Mixed Components

NFReducer: Redundant Logic Elimination for Network Functions with Runtime Configurations

Novel General Active Reliability Redundancy Allocation Problems and Algorithm

An Area-Efficient In-Memory Implementation Method of Arbitrary Boolean Function Based on SRAM Array

An Improved Structure Of Reversible Adder And Subtractor

Hardware Acceleration for Boolean Satisfiability Solver by Applying Belief Propagation Algorithm