Hongyang Pan

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, Physically-aware Synthesis, Semi-Tensor Product of Matrices, Boolean Satisfiability (SAT) Problem

About me

I am currently a Ph.D. candidate at the School of Microelectronics, State Key Laboratory of Integrated Chips and System, Fudan University, Shanghai, China, under the supervision of Prof. Xuan Zeng & Prof. Fan Yang. Prior to this, I earned my B.S. and M.S. from Ningbo University in 2019 and 2023, respectively, working with Prof. Zhufei Chu. I have been recognized with several academic honors, including the Best Paper Award at the 2021 CCF Integrated Circuit Design and Automation Conference (CCFDAC'21) and an Honorable Mention Paper at the 2024 International Symposium of EDA (ISEDA'24). Additionally, I am actively involved in maintaining the logic synthesis framework phyLS. My research interests span various aspects of logic synthesis, its practical applications, and the integration of machine learning techniques in EDA and CAD for emerging technologies.

Tools

phyLS: powerful heightened yielded Logic Synthesis. [GitHub]

phySAT: Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input. [GitHub]

Publications [Google Scholar] [orcid]

2025

Hongyang Pan, Keren Zhu, Fan Yang, Zhufei Chu*, and Xuan Zeng*. "ELMap: Area-Driven LUT Mapping with k-LUT Network Exact Synthesis"[C]. 2025 Design, Automation and Test in Europe Conference, DATE'25, Mar. 2025, Lyon, France.
Yuhao Zhou, Zhen Wang, Xiangxue Kong, Hongyang Pan, Zhenxue He, Ying Zhang, Jianhui Jiang*, Limin Xiao, and Xiang Wang. "Multi-objective optimization in logic synthesis based on TB-RM dual logic"[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, TCAD, 2025, Early Access.

2024

Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Ru Huang, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yun Liang, Jinwei Liu, Yi Liu, Yibo Lin, Guojie Luo*, Hongyang Pan, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu*, Chenhao Xue, Junchi Yan, Jun Yang, Bei Yu, Mingxuan Yuan*, Evangeline F.Y. Young, Xuan Zeng, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, and Sunan Zou. "Large circuit models: opportunities and challenges"[J]. Science China Information Sciences, SCIS, 2024, 67(10): 1-42.
Hongyang Pan, Cunqing Lan, Zhiang Wang, Xuan Zeng, Fan Yang*, and Keren Zhu*. "Physically-Aware Synthesis Revisited: Guiding Technology Mapping with Primitive Logic Gate Placement"[C]. 2024 International Conference on Computer-Aided Design, ICCAD'24, Oct. 2024, New Jersey, NY, USA.
Jun Zhu, Hongyang Pan, and Zhufei Chu*. "Multiplication Complexity Optimization based on Quantified Boolean Formulas"[C]. IEEE International Symposium of EDA, ISEDA'24, May 2024, Xi'an, China. (Honorable Paper Award)
Cunqing Lan, Xinyao Wang, Zijian Jiang, Hongyang Pan, Keren Zhu*, Zhaori Bi, Changhao Yan, and Xuan Zeng. "On Accelerating Domain-Specific MC-TS with Knowledge Retention and Efficient Parallelization for Logic Optimization"[C]. IEEE International Symposium of EDA, ISEDA'24, May 2024, Xi'an, China.
储著飞*, 马铖昱, 闫鸣, 潘家祥, 潘鸿洋, 王伦耀, 夏银水. "基于半张量积的逻辑综合研究进展"[J]. 电子与信息学报, 2024, 46(9): 3490-3502. (Invited)
Hongyang Pan, Yinshui Xia, Lunyao Wang, and Zhufei Chu*. "Semi-Tensor Product Based Exact Synthesis for Logic Rewriting"[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, TCAD, 2024, 43(4): 1093-1106.
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"[C]. 2024 Design, Automation and Test in Europe Conference, DATE'24, Mar. 2024, Valencia, Spain.
Baicheng Zhu, Zhufei Chu*, Hongyang Pan, Lunyao Wang, and Yinshui Xia. "An XMG Based Equivalence Checking Algorithm for Large Bit-Width Multiplier Circuits"[J]. Journal of Computer-Aided Design & Computer Graphics, JCAD, 2024, 36(3): 443-451.

2023

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

2022

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

2021

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