About

News

• Our paper "FLAME: Enhancing Functional Coverage in Processor Verification via Large Language Models" was accepted by IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

  Feb 10, 2026

• Our team has won the Outstanding Collaboration Achievement Award. Thanks to Huawei-Tianjin University AI Innovation Lab for the recognition.

  Aug 08, 2025

• I gave a report on the theme of "Intelligent Chip Design Program Testing" at CCF ChinaSoft 2024. Thank you for attending the audience!

  Nov 16, 2024

• Our paper "Survey of Intelligent Chip Design Program Testing" was accepted by CCF ChinaSoft 2024.

  Aug 06, 2024

• Our team has won the 100th Huawei Company Challenges Spark Award. This is the first time that Tianjin University has won this award.

  Jul 22, 2024

Education

• Ph.D.,  Software Engineering,  Tianjin University

  Sep 2025 - Now

• M.E.,  Software Engineering,  Tianjin University

  Sep 2023 - Aug 2025

• B.E.,  Software Engineering,  Tianjin University

  Sep 2019 - Jun 2023

Research Interests

• Software Testing: compiler testing; fuzzing

• Hardware Design Verification: processor verification, RTL verification; simulation-based verification, assertion-based verification

Publications

1. TCAD'26 FLAME: Enhancing Functional Coverage in Processor Verification via Large Language Models CCF-A

   Xiaopeng Li, Junjie Chen*, Ming Yan, Dong Wang, Xingyu Fan, Zhentao Tang, Shixiong Kai, Jianye Hao, Mingxuan Yuan, Zan Wang

   In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2026, pages to appear.

2. Journal of Software'25 Survey of Intelligent Chip Design Program Testing CCF-A (Chinese)

   Xiaopeng Li, Ming Yan, Xingyu Fan, Zhentao Tang, Shixiong Kai, Jianye Hao, Mingxuan Yuan, Junjie Chen*

   In: Journal of Software (in Chinese), 2025, 36(06):2453-2476.

Projects

• Research on Key Technologies of AI-assisted Verification,  Huawei

  Student Project Leader

  2025 - Now

• Large Language Models Technique for EDA Test Case Generation,  Huawei

  Student Project Leader

  2024 - 2025

Talks

• Survey of Intelligent Chip Design Program Testing,  CCF ChinaSoft'24

  Nov 2024   Xi'an, China

Teaching

• Teaching Assistant of Compiler Principles and Technology

  Sep 2025

• Teaching Assistant of Compiler Principles and Technology

  Sep 2024

Honors & Awards

• Huawei Company Challenges Spark Award,  Huawei

  The first time that Tianjin University has won this award

  Jul 2024

• Outstanding Cooperation Achievement Award,  Huawei-Tianjin University AI Innovation Lab

  Aug 2025

• First Class Scholarship,  Tianjin University

  Oct 2025

• First Class Scholarship,  Tianjin University

  Oct 2024

• Outstanding Student,  Tianjin University

  Jun 2023

• Merit Student,  Tianjin University

  Sep 2024

• Merit Student,  Tianjin University

  Dec 2020

• Outstanding Student Leader,  Tianjin University

  Dec 2021