About me

I am a first-year Ph.D. student at The Hong Kong University of Science and Technology (Guangzhou) (HKUST(GZ)), advised by Prof. Hongce Zhang. Prior to this, I received my M.S.E degree from University of Electronic Science and Technology of China (UESTC) and my B.E. degree from South China Agricultural University (SCAU).

Previously, I interned as a Research Assistant at The Hong Kong University of Science and Technology (Guangzhou) and interned at the Guangdong Institute of Intelligence Science and Technology (GDIIST).

My current research interests focus on electronic design automation (EDA), especially in hardware formal verification and LLM for EDA. Meanwhile, I am also interested in related research topics and welcome discussions and collaborations with researchers from different fields.

🔥 News

• 2026.01:  🌐 Launched and updated my new academic homepage.

Publications

• Forbench: Symbolic Simulation Helps Make Your Testbench More Formal
  Ziyi Yang*, Wenbin Che*, Ziyue Zheng, Guangyu Hu, Hongce Zhang
  International Conference on Computer-Aided Design (ICCAD), 2026
• NeuroAbs: A Neuro-Symbolic RTL Abstraction Framework for Property Checking Acceleration
  Zhiyuan Yan, Xiaofeng Zhou, Ziyue Zheng, Ziyi Yang, Wenbin Che, Wei Zhang, Yangdi Lyu, Hongce Zhang
  International Conference on Computer-Aided Design (ICCAD), 2026
• CondEC: Equivalence Checking under Conditions
  Wenbin Che, Changyuan Yu, Hongce Zhang
  International Symposium of Electronics Design Automation (ISEDA), 2026
• FRAIG-BMC: Functional Reduction to Speed Up Bounded Model Checking
  Changyuan Yu, Wenbin Che, Hongce Zhang
  arxiv, 2025
• FPGA-based memory test system design and test algorithm implementation
  Wenbin Che
  International Conference on Electronic Information Engineering and Computer (EIECT), 2023

Education

The Hong Kong University of Science and Technology (Guangzhou) · 2026 - present

Ph.D. student in Microelectronics

University of Electronic Science and Technology of China

M.S. in Electronic Information

South China Agricultural University

B.E. in Electronic Information Engineering

Experiences

The Hong Kong University of Science and Technology (Guangzhou) · 2025.07 - 2025.12

Research Assistant, advised by Prof. Hongce Zhang

Guangdong Institute of Intelligence Science and Technology · 2024.01 - 2024.06

Intern Engineer, advised by Dr. Ning Ma and Dr. Yuxiang Huan

Honors and Awards

• Full Postgraduate Studentship (PGS) award, HKUST(GZ)
• First-Class Graduate Academic Scholarship, UESTC

Service

Reviewer

• International Conference on Computer Design
• International Symposium of EDA

Teaching Assistant

• DSAA6000V - Modern Neural Networks