TY - GEN
T1 - Generalizing the concept of scalable reversible circuit synthesis for multiple-valued logic
AU - Zulehner, Alwin
AU - Mercy Nesa Rani, P.
AU - Datta, Kamalika
AU - Sengupta, Indranil
AU - Wille, Robert
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/7/19
Y1 - 2018/7/19
N2 - Research on reversible circuits has gained significance due to its application in quantum computations and many further areas such as the design of encoders. At the same time, the use of multiple-valued logic gained importance since this reduces the number of required entities in physical systems (e.g. in a future quantum computer). While most research is still conducted in the Boolean domain, there exist only few approaches which realize reversible circuits for multiple-valued logic. Moreover, most of the previously proposed solutions for synthesis of multiple-valued reversible circuits are not scalable and consider ternary (i.e. 3-valued circuits) only. Instead of overcoming these issues by developing new synthesis approaches for multiple-valued reversible circuits from scratch, we propose to utilize the recent accomplishments in the design of Boolean reversible circuits and to generalize them for multiple-valued logic. To this end, we discuss how to generalize Quantum Multiple-valued Decision Diagram based (QMDD-based) synthesis-a synthesis approach for Boolean reversible circuits which has been proven to be scalable and which has been used in several recently developed design flows. The discussions eventually show how to bridge the development gap between Boolean and multiple-valued logic for reversible circuits.
AB - Research on reversible circuits has gained significance due to its application in quantum computations and many further areas such as the design of encoders. At the same time, the use of multiple-valued logic gained importance since this reduces the number of required entities in physical systems (e.g. in a future quantum computer). While most research is still conducted in the Boolean domain, there exist only few approaches which realize reversible circuits for multiple-valued logic. Moreover, most of the previously proposed solutions for synthesis of multiple-valued reversible circuits are not scalable and consider ternary (i.e. 3-valued circuits) only. Instead of overcoming these issues by developing new synthesis approaches for multiple-valued reversible circuits from scratch, we propose to utilize the recent accomplishments in the design of Boolean reversible circuits and to generalize them for multiple-valued logic. To this end, we discuss how to generalize Quantum Multiple-valued Decision Diagram based (QMDD-based) synthesis-a synthesis approach for Boolean reversible circuits which has been proven to be scalable and which has been used in several recently developed design flows. The discussions eventually show how to bridge the development gap between Boolean and multiple-valued logic for reversible circuits.
KW - Decision Diagrams
KW - Mulitple valued Logic
KW - Reversible Circuits
KW - Synthesis
UR - http://www.scopus.com/inward/record.url?scp=85050962719&partnerID=8YFLogxK
U2 - 10.1109/ISMVL.2018.00028
DO - 10.1109/ISMVL.2018.00028
M3 - Conference contribution
AN - SCOPUS:85050962719
T3 - Proceedings of The International Symposium on Multiple-Valued Logic
SP - 115
EP - 120
BT - Proceedings - 2018 IEEE 48th International Symposium on Multiple-Valued Logic, ISMVL 2018
PB - IEEE Computer Society
T2 - 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018
Y2 - 16 May 2018 through 18 May 2018
ER -