White Dots do Matter: Rewriting Reversible Logic Circuits

M Soeken, MK Thomsen - … 5th International Conference, RC 2013, Victoria …, 2013 - Springer
The increased effort in recent years towards methods for computer aided design of
reversible logic circuits has also lead to research in algorithms for optimising the resulting …

Programming techniques for reversible comparison sorts

HB Axelsen, T Yokoyama - … and Systems: 13th Asian Symposium, APLAS …, 2015 - Springer
A common approach to reversible programming is to reversibly simulate an irreversible
program with the desired functionality, which in general puts additional pressure on the …

Design of Reversible Computing Systems; Large Logic, Languages, and Circuits

MK Thomsen - arxiv preprint arxiv:2309.11832, 2023 - arxiv.org
This PhD dissertation investigates garbage-free reversible computing systems from abstract
design to physical gate-level implementation. Designed in reversible logic, we propose a …

A parallel and accelerated circuit simulator with precise accuracy

PM Lee, S Ito, T Hashimoto, J Sato… - Proceedings of ASP …, 2002 - ieeexplore.ieee.org
We have developed a highly parallel and accelerated circuit simulator which produces
precise results for large scale simulation. We incorporated multithreading in both the model …

Design of reversible binary logarithmic multiplier and divider using optimal garbage

A Banerjee, S Sarkar, M Das… - International Journal of …, 2015 - search.proquest.com
Energy efficient testable binary logarithmic multiplier and divider architecture using
reversible logic has been reported in this paper. The focus of this paper is to avoid …

The design of reversible multiplier using ancient indian mathematics

A Banerjee, DK Das - 2013 International Symposium on …, 2013 - ieeexplore.ieee.org
The main aim of this paper is to design binary as well as decimal reversible multiplier using
the well known Nikhilamformula of ancient Indian mathematics. Reversible logic is an …

Garbage-free reversible constant multipliers for arbitrary integers

TÆ Mogensen - International Conference on Reversible Computation, 2013 - Springer
We present a method for constructing reversible circuitry for multiplying integers by arbitrary
integer constants. The method is based on Mealy machines and gives circuits whose size …

[PDF][PDF] Design of Reversible Computing Systems

MK Carøe - 2012 - di.ku.dk
Reversible computing spans computational models that are both forward and backward
deterministic. These models have applications in program inversion and bidirectional …

Garbage-free reversible multipliers for arbitrary constants

TÆ Mogensen - ACM Journal on Emerging Technologies in Computing …, 2014 - dl.acm.org
We present a method based on Mealy machines for constructing reversible circuitry for
multiplying integers by arbitrary integer constants. The circuits generate no garbage and use …

Designing garbage-free reversible implementations of the integer cosine transform

A De Vos, S Burignat, R Glück, TÆ Mogensen… - ACM Journal on …, 2014 - dl.acm.org
Discrete linear transformations are important tools in information processing. Many such
transforms are injective and therefore prime candidates for a physically reversible …