Terary GFSOP Minimization Using Kronecker Decision Diagrams and Their Synthesis with Quantum Cascades
Mozammel H.A. Khan,Marek A. Perkowski, Mujibur R. Khan and Pawel Kerntopf
Ternary Galois Field Sum of Products (TGFSOP) expressions are found to be a good choice for ternary reversible logic and particularly for quantum cascaded realization of ternary functions. In this paper, we propose 5 ternary shift operations and various basic and composite ternary literals for defining TGFSOP expression. We propose 16 Ternary Galois Field Expansions (TGFE) using these literals and three new types of Ternary Galois Field Decision Diagrams (TGFDD) using the proposed expansions, which are useful for reversible and quantum logic design. We also propose a heuristic for creating optimal Kronecker TGFDD and methods for flattening the TGFDDs for determining near-minimum TGFSOP expressions. Besides, we propose quantum realizations for the 5 ternary Shift gates and a ternary swapgate. We also propose a new generalization of ternary Toffoli gates with their implementation from truly realizable 2-qudit quantum primitives. Further, we propose a method of synthesizing multi-output TGFSOP using cascade of ternary Shift gates, Swapgate, and generalized Toffoli gate. Finally, we present experimental results to show the complexity of the decision diagrams, the resultant TGFSOP expressions, and the new quantum cascade for some ternary benchmark functions.