Using artificial intelligence methods for the optimal synthesis of reversible networks

Taras Kyryliuk, Mykhailo Palahuta, Vitaly Deibuk

Abstract


Considering the relentless progress in the miniaturization of electronic devices and the need to reduce energy consumption, technical challenges in the synthesis of circuit design solutions have become evident. According to Moore's Law, the reduction of transistor sizes to the atomic scale faces physical limits, which complicate further development. Additionally, reducing transistor sizes causes current leakage, leading to increased thermal noise, which can disrupt the proper functioning of digital devices. A promising solution to these problems is the application of reversible logic in circuit design. Reversible logic allows for a reduction in energy and information losses because logical reversible operations are performed without loss. The research synthesized optimal reversible circuits based on reversible gates using evolutionary algorithms and compare them with existing analogues. The focus of this study is on logical circuits built using reversible gates, which can significantly reduce energy losses, which is critical for modern and future electronic devices. The synthesis of reversible circuits is closely related to quantum computing, where quantum gates also possess a reversible nature. This enables the use of synthesis methods to create quantum reversible logical computing devices, which in turn promotes the development of quantum technologies. The study focuses on the application of evolutionary artificial intelligence algorithms, specifically genetic algorithms and ant colony optimization algorithms, for the optimal synthesis of reversible circuits. As a result, a detailed description of the key concepts of the improved algorithms, simulation results, and comparison of the two methods is provided. The efficiency of the reversible device synthesis was evaluated using the proposed implementation of the genetic algorithm and the ant colony optimization algorithm. The obtained results were compared to existing analogs and verified using the Qiskit framework in the IBM quantum computing laboratory. The conclusions describe the developed algorithms, which demonstrate high efficiency in solving circuit topology optimization problems. A genetic algorithm was developed, featuring multi-component mutation and a matrix approach to chromosome encoding combined with Tabu search to avoid local optima. The ant colony optimization algorithms were improved, including several changes to the proposed data representation model, structure, and operational principles of the synthesis algorithm, enabling effective synthesis of devices on the NCT basis along with Fredkin gates. An improved structure for storing and using pheromones was developed to enable multi-criteria navigation in the solution space.

Keywords


quantum computing; reversible circuits; synthesis; artificial intelligence; ant colony optimization; genetic algorithm; simulation; modelling

Full Text:

PDF

References


Moore, G. E. Cramming more components onto integrated circuits, reprinted from electronics, volume 38, number 8, April 19, 1965, pp.114 ff. IEEE Solid-State Circuits Society Newsletter, 2006, vol. 11, iss. 3, pp. 33–35. DOI: 10.1109/n-ssc.2006.4785860

Shauly, E. N. CMOS leakage and power reduction in transistors and circuits: process and layout considerations. Journal of Low Power Electronics and Applications, 2012, vol. 2, iss. 1, pp. 1–29. DOI: 10.3390/jlpea2010001

Vos, A., Baerdemacker, S., & Rentergem, Y. Synthesis of Quantum Circuits vs. Synthesis of Classical Reversible Circuits. Springer International Publishing, Cham. 2018. 109 p. DOI: 10.1007/978-3-031-79895-5

Bennett, C. H. Logical reversibility of computation. IBM Journal of Research and Development, 1973, vol. 17, iss. 6, pp. 525–532. DOI: 10.1147/rd.176.0525

Weste, N., & David, H. CMOS VLSI design: a circuits and systems perspective. Pearson Education, Limited, 2013. 743 p

Akshata, S., Arpitha, E., Deepashree, V. A., & Pushpa, L. N. D. Low power comparator design using reversible logic gates – adiabatic circuits. International journal of engineering research & technology, 2018, vol. 6, iss. 13 Available at: https://www.ijert.org/research/low-power-comparator-design-using-reversible-low-power-comparator-design-using-reversible-IJERTCONV6IS13214.pdf (accessed 16 April 2024)

Szymański, Z., & Pawłowski, M. Symmetric block encoder based on reversible circuits. R. S. Romaniuk and M. Linczuk, eds. Photonics applications in astronomy, communications, industry, and high-energy physics experiments, 2018. DOI: 10.1117/12.2501438

Ying, Z., Feng, C., Zhao, Z., Soref, R., Pan, D., & Chen, R. T. Integrated multi-operand electro-optic logic gates for optical computing. Applied Physics Letters, 2019, vol. 115, iss. 17, 171104. DOI: 10.1063/1.5126517

Wang, B., Xie, Y., Zhou, S., Zhou, C., & Zheng & X. Reversible data hiding based on DNA computing. Computational Intelligence and Neuroscience, 2017, pp 1–9. DOI: 10.1155/2017/7276084

Wille, R., Van Meter, R. & Naveh, Y. IBM’s qiskit tool chain: working with and developing for real quantum computers. 2019 design, automation & test in Europe conference & exhibition (DATE), Florence, Italy. IEEE, 2019, pp. 1234-1240. DOI: 10.23919/date.2019.8715261

Dovhaniuk, O. & Deibuk, V. Synthesis and implementation of reconfigurable reversible generalized Fredkin gate. 2021 IEEE 12th International Conference on Electronics and Information Technologies (ELIT), Lviv, Ukraine, 2021, pp. 165-169. DOI: 10.1109/elit53502.2021.9501129

Deibuk, V. & Grytsku, I. Optymal'nyy syntez zvorotnykh kvantovykh sumatoriv z dopomohoyu henetychnykh alhorytmiv [Optimal synthesis of reversible quantum summators using genetic algorithm]. Journal of Computing, 2013, vol. 12, iss. 1, pp. 32–41. Available at: https://computingonline.net/computing/article/download/585/547/0 (accessed 16 April 2024) (In Ukrainian).

Gendreau, M. & Potvin, J.-Y, Tabu search. Handbook of metaheuristics. Springer International Publishing, Cham, 2018, pp. 37-55. DOI: 10.1007/978-3-319-91086-4

Held, M. & Karp, R. M. The traveling-salesman problem and minimum spanning trees: Part II. Mathematical Programming, 1971, vol. 1, iss. 1, pp. 6–25. DOI: 10.1007/bf01584070

Korb, O., Stützle, T. & Exner, T. E. An ant colony optimization approach to flexible protein–ligand docking. Swarm Intelligence, 2007, vol. 1, iss. 2, pp. 115–134. DOI: 10.1007/s11721-007-0006-9

Erdoğan, G., Laporte, G. & Rodríguez Chía, A. M. Exact and heuristic algorithms for the Hamiltonian p -median problem. European Journal of Operational Research, 2016, vol. 253, iss. 2, pp. 280–289. DOI: 10.1016/j.ejor.2016.02.012

Min Li, Yexin Zheng, Hsiao, M. S. & Chao Huang. Reversible logic synthesis through ant colony optimization. 2010 design, automation & test in europe conference & exhibition (DATE 2010), Dresden, Germany, IEEE, 2010. DOI: 10.1109/date.2010.5457190

Landauer, R. Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 1961, vol. 5. iss. 3, pp. 183–191. DOI: 10.1147/rd.53.0183

Bérut, A., Petrosyan, A. & Ciliberto, S. Information and thermodynamics: experimental verification of Landauer's Erasure principle. Journal of Statistical Mechanics: Theory and Experiment, 2015, vol. 2015, iss. 6. DOI: 10.1088/1742-5468/2015/06/p06015

Deibuk, V., Dovhaniuk, O., Kyryliuk, T. The Extended Fredkin Gates with Reconfiguration in NCT Basis. Advances in Computer Science for Engineering and Education VI. Springer, Cham, 2023, vol. 181, pp. 95-105. DOI: 10.1007/978-3-031-36118-0_9

Maslov, D., Dueck, G. W. & Miller, D. M. Techniques for the synthesis of reversible Toffoli networks. ACM Transactions on Design Automation of Electronic Systems, 2007, vol. 12, iss. 4, 42 p. DOI: 10.1145/1278349.1278355

Maslov, D. & Dueck, G.W. Comparison of the Cost Metrics for Reversible and Quantum Logic Synthesis, 2005, arXiv preprint quant-ph/0511008. Available at: https://arxiv.org/pdf/quant-ph/0511008 (accessed 16 April 2024)

Han, J., Zhang, X. & Wang, X. Application research of evolutionary algorithm in synthesis of reversible logic circuits. Journal of Physics: Conference Series, 2019. vol. 1237, iss. 2. DOI: 10.1088/1742-6596/1237/2/022083

Sarif, B. A. B., Abd-El-Barr, M., Sait, S. M. & Al-Saiari, U. Fuzzified ant colony optimization algorithm for efficient combinational circuits synthesis. Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No.04TH8753), Portland, OR, USA, 2004, vol. 2, pp. 1317-1324. DOI: 10.1109/cec.2004.1331049

Podlaski, K. Ant colony optimization implementation for reversible synthesis in Walsh-Hadamard domain. Lecture notes in computer science, Springer International Publishing, Cham, 2020, vol. 12141, pp. 230–243. DOI: 10.1007/978-3-030-50426-7_18

Sasamal, T. N., Gaur, H. M., Singh, A. K. & Mohan, A. Reversible circuit synthesis using evolutionary algorithms. Lecture notes in electrical engineering, Springer Singapore, Singapore, 2019, vol. 577, pp. 115–128. DOI: 10.1007/978-981-13-8821-7_7




DOI: https://doi.org/10.32620/reks.2024.4.10

Refbacks

  • There are currently no refbacks.