English
Related papers

Related papers: Fault Testing for Reversible Circuits

200 papers

Power electronics converters have been widely used in aerospace system, DC transmission, distributed energy, smart grid and so forth, and the reliability of power electronics converters has been a hotspot in academia and industry. It is of…

Systems and Control · Electrical Eng. & Systems 2022-09-29 Chuang Liu , Lei Kou , Guowei Cai , Zihan Zhao , Zhe Zhang

Repeaterless low swing interconnects use mixed signal circuits to achieve high performance at low power. When these interconnects are used in large scale and high volume digital systems their testability becomes very important. This paper…

Hardware Architecture · Computer Science 2015-11-23 Naveen Kadayinti , Dinesh K. Sharma

In this paper, a new non-search based synthesis algorithm for reversible circuits is proposed. Compared with the widely used search-based methods, our algorithm is guarantied to produce a result and can lead to a solution with much fewer…

Quantum Physics · Physics 2010-04-12 Mehdi Saeedi , Mehdi Sedighi , Morteza Saheb Zamani

State of the art quantum computing architectures are founded on the decision to use scalable but faulty quantum hardware in conjunction with an efficient error correcting code capable of tolerating high error rates. The promised effect of…

Quantum Physics · Physics 2021-08-23 Alexandru Paler , Austin G. Fowler , Robert Wille

Boolean matching is an important problem in logic synthesis and verification. Despite being well-studied for conventional Boolean circuits, its treatment for reversible logic circuits remains largely, if not completely, missing. This work…

Quantum Physics · Physics 2024-04-19 Tian-Fu Chen , Jie-Hong R. Jiang

Quantum error-correcting codes, such as subspace, subsystem, and Floquet codes, are typically constructed within the stabilizer formalism, which does not fully capture the idea of fault-tolerance needed for practical quantum computing…

Quantum Physics · Physics 2025-11-12 Peter-Jan H. S. Derks , Alex Townsend-Teague , Ansgar G. Burchards , Jens Eisert

Designing and analysis of test cases is a challenging tasks for tester roles especially those who are related to test the structure of program. Recently, Programmers are showing valuable trend towards the implementation of recursive modules…

Software Engineering · Computer Science 2012-08-28 Muhammad Javed , Bashir Ahmad , Zaffar Abbas , Allah Nawaz , Muhammad Ali Abid , Ihsan Ullah

In this paper, we study the inference accuracy of the Resistive Random Access Memory (ReRAM) neuromorphic circuit due to stuck-at faults (stuck-on, stuck-off, and stuck at a certain resistive value). A simulation framework using Python is…

Hardware Architecture · Computer Science 2024-08-16 Vedant Sawal , Hiu Yung Wong

The dependency on the correct functioning of embedded systems is rapidly growing, mainly due to their wide range of applications, such as micro-grids, automotive device control, health care, surveillance, mobile devices, and consumer…

Logic in Computer Science · Computer Science 2017-03-01 Lucas Cordeiro

Quantum computers are considered as a future alternative to circumvent the heat dissipation problem of VLSI circuits. The synthesis of reversible circuits is a very promising area of study considering the expected further technological…

Emerging Technologies · Computer Science 2014-11-25 Fatima Hadjam , Claudio Moraga

The synthesis approaches for quantum circuits typically aim at minimizing the number of lines or gates. Given the tight restrictions on those logical resources in physical implementations, we propose to view the problem fundamentally…

Emerging Technologies · Computer Science 2023-02-03 Niels Gleinig , Tobias Rohner , Torsten Hoefler

Because of constraints imposed by the market, embedded software in consumer electronics is almost inevitably shipped with faults and the goal is just to reduce the inherent unreliability to an acceptable level before a product has to be…

Software Engineering · Computer Science 2007-05-23 Rui Abreu , Peter Zoeteweij , Arjan JC van Gemund

Boolean reversible circuits are boolean circuits made of reversible elementary gates. Despite their constrained form, they can simulate any boolean function. The synthesis and validation of a reversible circuit simulating a given function…

Logic in Computer Science · Computer Science 2016-03-29 Benoit Valiron

In this work, we introduce two schemes to construct reusable garbled circuits (RGCs) in the semi-honest setting. Our completely reusable garbled circuit (CRGC) scheme allows the generator (party A) to construct and send an obfuscated…

Cryptography and Security · Computer Science 2022-05-09 Christopher Harth-Kitzerow , Georg Carle , Fan Fei , Andre Luckow , Johannes Klepsch

Reversible computing basically means computation with less or not at all electrical power. Since the standard binary gates are not usually reversible we use the Fredkin gate in order to achieve reversibility. An algorithm for designing…

Neural and Evolutionary Computing · Computer Science 2021-09-29 Mihai Oltean

We report optimal and asymptotically optimal reversible circuits composed of NOT, CNOT, and Toffoli (NCT) gates, keeping the count by the subsets of the gate types used. This study fine tunes the circuit complexity figures for the…

Quantum Physics · Physics 2018-07-25 Dmitri Maslov

The paper discusses various applications of permutation group theory in the synthesis of reversible logic circuits consisting of Toffoli gates with negative control lines. An asymptotically optimal synthesis algorithm for circuits…

Emerging Technologies · Computer Science 2016-07-11 Dmitry V. Zakablukov

In the recent years, reversible logic has emerged as a promising technology having its applications in low power CMOS, quantum computing, nanotechnology, and optical computing. The classical set of gates such as AND, OR, and EXOR are not…

Hardware Architecture · Computer Science 2007-05-23 Himanshu Thapliyal , M. B Srinivas

Reversible sequential circuits are going to be the significant memory blocks for the forthcoming computing devices for their ultra low power consumption. Therefore design of various types of latches has been considered a major objective for…

Emerging Technologies · Computer Science 2014-07-29 Md. Selim Al Mamun , David Menville

Many aerospace and automotive applications use FPGAs in their designs due to their low power and reconfigurability requirements. Meanwhile, such applications also pose a high standard on system reliability, which makes the early-stage…

Hardware Architecture · Computer Science 2023-03-23 Eduardo Rhod , Behnam Ghavami , Zhenman Fang , Lesley Shannon