Introduction


Welcome to the Formal Methods and Intelligent Design Laboratory (FORMiND Lab), led by Dr. Min LI. Established in June 2025, FORMiND Lab is affiliated with both NCTIEDA and the School of Integrated Circuits at Southeast University; our research group is primarily based in Nanjing and Shenzhen, China.

FORMiND Lab prioritizes solid end-to-end improvements in hardware design and verification, moving beyond paper/胶片-only “breakthroughs”. Ultimately, our goal is to empower China’s domestic hardware formal verification tools (with design considerations to follow) to achieve global leadership.

News

June 2025: 🎉Dr. Min Li departed from Huawei Noah’s Ark Lab and just launched the FORMiND Lab website; he will join Southeast University this summer. 🎉Welcoming Xudong Hu as the inaugural member, who commences his Ph.D. program in Fall 2025.

People

Principal Investigator

Avatar

LI, Min 李旻

Professor, School of Integrated Circuit

Ph.D. Students

Avatar

HU, Xudong 胡旭东

Ph.D. - 2025 fall, School of Integrated Circuit

Project Manager

Avatar

ZHU, Xiaomeng 朱晓萌

Project Manager - NCTIEDA

Engineers

Avatar

XU, Shiming 许世鸣

Engineer - NCTIEDA

Tools

We are developing EquivFusion, an AI-augmented verification toolchain built on circt. It unifies equivalence checking from algorithms to netlists for efficient sign-off. The codebase is scheduled for release by Q4 2025.

Talks

  • Opportunities and Challenges of Hardware Formal Verification in the Era of Large Language Models 📄
    07/2025: LLM4xPU Summer School, State Key Lab of Processors, ICT, CAS.

Publications

NOTE: Good news coming soon!

Contact

Our lab will be headquartered at National EDA Innovation Center (NCTIEDA), Jiangbei, Nanjing. We are looking for motivated students to join FORMiND Lab as research interns, master or Ph.D. students in Southeast University! Experienced engineers are also welcome - NCTIEDA offers competitive compensation packages exceeding industry standards in the EDA field.

Min welcomes coffee discussions with students/researchers/engineers passionate about developing cutting-edge EDA tools! Please note that Min splits his time between Shenzhen and Nanjing; advance email coordination is preferred for on-site meetings.

Calendar