Leyla Yilan

Leyla Yilan is a PMTS at AMD, where they own the equivalence checking methodology and manage the sign-off flows utilized by synthesis design teams for comprehensive checking of RTL to GDS. They lead the methodologies that ensure consistency across various teams, including synthesis, custom, analog, and third-party IPs. Leyla employs tools such as Conformal LEC and Formality, along with their proprietary flow for rapid verification of RTL2RTL on large designs, leveraging extensive experience gained since joining AMD in 2004.