About me
Xiaolin Chen is a Sr. Director of Applications Engineering, formal solutions at Synopsys. She leads a team of applications engineers providing guidance, training, assistance and consulting to semiconductor customers to successfully develop formal technology in verification flow. The team also working with R&D to develop the best in class formal tool. Xiaolin has a MSEE from California State University, Northridge. She is the vice chair of DVCon US steering committee.