Reversible Logic Synthesis Using Gröbner Base
Jing Hu, Yuheng Lin, Xiwei Zhang · 2019 IEEE 2nd International Conference on Electronics Technology (ICET) · 2019
The characteristics of reversibility have made the reversible circuits open up new possibilities in the development of the lower power design for integrated circuits and quantum computer research. This paper analyzes mechanism of reversible logic synthesis and presents a modeling to describe synthesis process. The modeling is analyzed and realized with C++. Change the problem of reversible circuit synthesis into the problem of solving decomposition tree by Gröbner basis. The modeling is verified on a set of reversible benchmarks. Results show that the modeling can significantly describe synthesis process of reversible circuit.