- Bachelor's degree
- Doctoral degree
- Master's degree
What you do at AMD changes everything
At AMD, we push the boundaries of what is possible. We believe in changing the world for the better by driving innovation in high-performance computing, graphics, and visualization technologies – building blocks for gaming, immersive platforms, and the data center.
Developing great technology takes more than talent: it takes amazing people who understand collaboration, respect, and who will go the “extra mile” to achieve unthinkable results. It takes people who have the passion and desire to disrupt the status quo, push boundaries, deliver innovation, and change the world. If you have this type of passion, we invite you to take a look at the opportunities available to come join our team.
Lead Verification Engineer
AMD is looking for an experienced, and motivated verification engineering leader who is interested in formal verification of our next x86 microprocessor core design.
You’ll have the opportunity to work on and learn about some of the industry’s groundbreaking micro-architectural designs while you build, drive and execute formal verification plans for AMD’s next generation Zen core. Your contributions will affect products that span the global x86 market from server, to desktop and laptop designs.
Leading and coordinating a team of formal verification engineers across multiple design blocks.
Defining and implementing formal test plans using common industry formal applications.
Mentoring newly experienced engineers in formal concepts and methodologies.
Enabling and enhancing internal formal methodology flows with industry standard formal apps.
Partnering with designers to target specific logic with formal assertions and ensuring proper constraints.
Analyzing assertion coverage from functional regressions and closing coverage holes.
Assist with silicon observations often requiring proving equivalency of new bug fixes.
Formal verification apps: property verification, coverage reachability, connectivity checking, sequential equivalency, security verification.
Scripting with Perl or equivalent languages.
Simulation and debug with a Verilog based functional simulator is a plus.
Strong knowledge of microprocessor architecture (x86 preferred)
BS, MS, or PhD in EE, CE, Or CS
Requisition Number: 80145
Country: United States State: Texas City: Austin
Job Function: Design
AMD does not accept unsolicited resumes from headhunters, recruitment agencies or fee based recruitment services. AMD and its subsidiaries are equal opportunity employers. We consider candidates regardless of age, ancestry, color, marital status, medical condition, mental or physical disability, national origin, race, religion, political and/or third party affiliation, sex, pregnancy, sexual orientation, gender identity, military or veteran status. Please click here for more information.