Meng Hung Chen

Hugo

Master Formal Verification
Meng Hung Chen

About

I am an R&D Engineer at Siemens EDA and a researcher specializing in Agentic AI, Design Verification, and EDA Systems. I focus on bridging AI architectures with chip design flows and advancing automated RTL debugging. I hold industry experience across EDA vendors — including Siemens EDA, Cadence, and Synopsys — and was awarded 2nd Place internationally in the 2021 IEEE/ACM ICCAD Contest.

Research interests

- Agentic AI for EDA: Autonomous agentic workflows and AI-driven design exploration. - Design Verification: Automated RTL bug localization, assertion mining, and formal verification. - Synthesis & Physical Design: Functional ECO algorithms and PPA optimization.