Hongyang Pan, Ph.D., Fudan University [About me] [Tools] [Recent News] [Publications] [Links] [Pictures] E-Mail: hongyangpan23@m.fudan.edu.cn Phone:(+86)188-8864-1157 Research Interests: Logic Synthesis, Semi-Tensor Product of Matrices, Boolean Satisfiability (SAT) Problem

About me

Hongyang Pan, born on Dec. 20th, 1997, received the B.S. degree in electronic and information engineering and the M.S. degree in electronic science and technology in the group of Prof. Zhufei Chu, both from Ningbo University, Ningbo, China, in 2019 and 2023, respectively. Now He is pursuing his Ph.D.degree in electronic science and technology in Fudan University, Shanghai, China, and in the group of Prof. Xuan Zeng & Fan Yang. His current research interests include many aspects of logic synthesis and its applications.

Tools

Recent News

• Mar. 2023, Won the excellent report of the Youth Academic Forum at the 32nd Chinese Institute of Electronics Circuit and System Branch.
• Oct. 2021, Won the Best Paper Award at CCFDAC'21. (link)

Publications [Google Scholar] [orcid]

2024

1. Jun Zhu, Hongyang Pan, and Zhufei Chu*, "Multiplication Complexity Optimization based on Quantified Boolean Formulas", ISEDA' 24, IEEE International Symposium of EDA, May 2024, Xi'an, China, accepted for publication.
2. 储著飞*，马铖昱，闫鸣，潘家祥，潘鸿洋，王伦耀，夏银水，"基于半张量积的逻辑综合研究进展"，电子与信息学报，2024. (Invited)
3. Hongyang Pan, Yinshui Xia, Lunyao Wang, and Zhufei Chu*, "Semi-Tensor Product Based Exact Synthesis for Logic Rewriting", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , TCAD, vol. 43, no. 4, pp. 1093-1106, April 2024, doi: 10.1109/TCAD.2023.3337279.
4. Hongyang Pan, Ruibing Zhang, Yinshui Xia, Lunyao Wang, Fan Yang, Xuan Zeng*, and Zhufei Chu*, "A Semi-Tensor Product based Circuit Simulation for SAT-sweeping", DATE' 24, 2024 Design, Automation and Test in Europe Conference, Valencia, Spain, Mar. 2024.

2023

5. Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu*, "DeepGate2: Functionality-Aware Circuit Representation Learning", ICCAD' 23, 2023 International Conference on Computer-Aided Design, San Francisco, CA, USA, Nov. 2023.
6. Hongyang Pan and Zhufei Chu*, "A Semi-Tensor Product Based All Solutions Boolean Satisfiability Solver", Journal of Computer Science and Technology (JCST), 38(3):702-713, May. 2023.
7. 朱柏成，潘鸿洋，储著飞*，王伦耀，夏银水，"基于XMG的乘法器电路等价性验证算法"，计算机辅助设计与图形学学报，2023，网络首发.
8. Hongyang Pan and Zhufei Chu*, "Exact Synthesis based on Semi-Tensor Product Circuit Solver", DATE' 23, 2023 Design, Automation and Test in Europe Conference, Antwerp, Belgium, Apr. 2023.
9. Hongyang Pan, Ruibing Zhang, Yinshui Xia, Lunyao Wang, and Zhufei Chu*, "Semi-Tensor Product based Circuit Simulation for SAT sweeping ", IWLS' 23, International Workshop on Logic & Synthesis, Jun. 2023, Lausanne, Switzerland.
10. Sen Liu, Hongyang Pan, Yinshui Xia, Lunyao Wang, and Zhufei Chu*, "Multiplicative Complexity Optimization Based on Boolean-Difference Resubstitution", IWLS' 23, International Workshop on Logic & Synthesis, Jun. 2023, Lausanne, Switzerland.
11. 潘鸿洋，储著飞*，"基于半张量积的电路SAT求解器"， 第三十二届中国电子学会电路与系统分会，Mar. 2023，Wenzhou，China. (Excellent report of the Youth Academic Forum)
12. 张瑞兵，潘鸿洋，储著飞*，"基于半张量积的逻辑电路仿真器"， 第三十二届中国电子学会电路与系统分会，Mar. 2023，Wenzhou，China.
13. 储著飞*，潘鸿洋，"基于布尔可满足性的精确逻辑综合综述"，电子与信息学报，2023, 45(1):14-23. (Invited)
14. Ruibing Zhang, Hongyang Pan, and Zhufei Chu*, "Logic Circuit Simulation based on Semi-Tensor Product", CSTIC' 23, China Semiconductor Technology International Conference, Jun. 2023, Shanghai, China.

2022

15. 朱柏成，潘鸿洋，储著飞*，王伦耀，夏银水，"基于XMG的逻辑电路等价性验证算法"，CCFChip' 22，CCF Chip Conference，Jul. 2022，Nanjing，China.

2021

16. Hongyang Pan and Zhufei Chu*, "A Semi-Tensor Product Based SAT All Solutions Solver", CCFDAC' 21, CCF Integrated Circuit Design and Automation Conference, Oct. 2021, Wuhan, China. (Best Paper Award)

Links

• CSDN, Github.

Pictures