Tsung-Yi Ho

The Chinese University of Hong Kong, Hong Kong

Design Automation for Reversible Quantum-Flux-Parametron Logic: Towards Energy-Efficient Superconducting Circuits

Abstract

Reversible computing, deriving its inspiration from Landauer’s principle, has captured significant interest as a promising technology for logic operations without energy dissipation. The reversible quantum-flux-parametron (RQFP) stands as the first practical reversible logic gate using adiabatic superconducting devices, whose logical and physical reversibility has been experimentally demonstrated. However, due to its unique logic functionality and structure, the design of RQFP logic circuits poses enormous challenges. Therefore, design automation research is critical for designing these circuits more efficiently. Key challenges include the need to guarantee the functional requirement and reversibility while minimizing circuit cost. Currently, our team has made some progress in designing and developing EDA tools for RQFP logic circuits, particularly in logic synthesis and legalization, which may benefit AQFP logic in practical applications.

Biography

Tsung-Yi Ho is a Professor in the Department of Computer Science and Engineering, the Chinese University of Hong Kong (CUHK). He received his Ph.D. in Electrical Engineering from National Taiwan University in 2005. His research interests include several areas of computing and emerging technologies, especially in design automation of microfluidic biochips. He has been the recipient of the Invitational Fellowship of the Japan Society for the Promotion of Science (JSPS), the Humboldt Research Fellowship by the Alexander von Humboldt Foundation, the Hans Fischer Fellowship by the Institute of Advanced Study of the Technische Universität München, and the International Visiting Research Scholarship by the Peter Wall Institute of Advanced Study of the University of British Columbia. He was a recipient of the Best Paper Awards at the VLSI Test Symposium (VTS) in 2013 and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems in 2015. He served as an ACM Distinguished Speaker for 2014-2020, a Distinguished Visitor of the IEEE Computer Society for 2013-2015, a Distinguished Lecturer of the IEEE Circuits and Systems Society for 2016-2017, the Chair of the IEEE Computer Society Tainan Chapter for 2013-2015, the Chair of the ACM SIGDA Taiwan Chapter for 2014-2015, the Secretary General of the IEEE Taipei Section for 2019-2020, and the VP Technical Activities of the IEEE CEDA for 2020-2023. Currently, he serves as the VP Conferences of IEEE CEDA, and the Executive Committee of ASP-DAC and ICCAD. He is a Distinguished Member of ACM and a Fellow of IEEE.