Rule-Based Synthesis of Ternary Reversible Up/Down Counters

A ternary bijective logic function can be implemented as a reversible circuit using ternary reversible gates. These gates can be constructed using existing technologies as well as quantum technology. Considerable amount of works have been reported in the literature on synthesis of ternary reversible combinational circuits. In comparison, synthesis of ternary reversible sequiential circuits is in the infancy. In this paper, we present a truth table based rule generation and then rule based synthesis of n-qutrit ternary reversible level-triggered synchronous up/down counters. The presented method produces better circuits than those reported in the literature in terms of both quantum cost and ancilla inputs needed © 2022. IAENG International Journal of Computer Science.All Rights Reserved