Hi! I am currently a Ph.D. student at the Microelectronics Thrust, Function Hub of the HKUST(GZ), advised by Prof. Hongce ZHANG. Prior to this, I received my B.Eng in the Department of Electronics and Information Engineering from the China University of Petroleum, Beijing, under the supervision of Prof. Zhou JIN. My research interest is formal verification.

🔥 News

• 2025.11:  🎉🎉 One paper is accepted by DATE 2026
• 2025.07:  🎉🎉 Second Prize in the EDA² Xiakedao Competition
• 2025.07:  🎉🎉 Outstanding Bug-Fixing Team, EDA² Xiakedao Competition
• 2024.09:  🎉🎉 Joined HKUST(GZ) as a Ph.D. student

📝 Publications (First-author and co-first-author papers are highlighted)

Ph.D. Work

• DATE’2026 FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping

  Ziyi Yang, Guangyu Hu, Xiaofeng Zhou, Mingkai Miao, Changyuan Yu, Wei Zhang and Hongce Zhang

  Design, Automation and Test in Europe Conference (DATE), 2026.

Undergraduate Work

• AICAS’2023 Three Challenges in ReRAM-Based Process-In-Memory for Neural Network

  Ziyi Yang, Kehan Liu, Yiru Duan, Mingjia Fan, Qiyue Zhang and Zhou Jin

  IEEE 5th International Conference on Artificial Intelligence Circuits and Systems (AICAS), 2023.

• Electronics’2023 Accelerating DC Circuit Simulation through Feature Selection and LSTM-Based Time-Step Control

  Zhou Jin, Ziyi Yang, Haojie Pei, Xiaru Zha, Yinuo Bai, Dan Niu, Zhenya Zhou, and Xiao Wu.

  MDPI Electronics, 2023

🎖 Honors and Awards

• 2025.07:  🎉🎉 Second Prize in the EDA² Xiakedao Competition
• 2025.07:  🎉🎉 Outstanding Bug-Fixing Team, EDA² Xiakedao Competition
• 2024.06:  🎉🎉 Outstanding Graduate Award
• 2024.05:  🎉🎉 Outstanding Individual in Undergraduate Technological Innovation Award

📖 Educations

• 2024.06 - now, Ph.D. student in Hong Kong University of Science and Technology(Guangzhou).
• 2020.09 - 2024.06, B.Eng. in China University of Petroleum(Beijing).

👥 Visitors