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.

ASIC IP Formal Verification Engineer

THE ROLE:

Delivering the highest quality computer hardware requires the highest quality hardware verification. Testing only gets you so far, but Formal Verification uses computer assisted mathematical proof techniques to verify exhaustively that hardware designs meet their requirements.

Join an industry leading Graphics IP team which specializes in the Formal Verification of hardware across the full graphics pipeline. You will be provided with full training on cutting edge industry Formal Verification tools, and will contribute to the verifiction of industry leading graphics, and research new techniques to push out the boundaries of what can be verified formally.

THE PERSON:

     Communication: 

          Listens carefully, starts a task only after the requirement, expectations, and schedule are aligned with stakeholders
          Ask questions about priority, efficiency, and value; ensure the answers are grasped, demonstrate it progressively in action
          Present (email, chat, in-person) concise, convincing descriptions and supporting information to expedite issue closure with the team
     Analytical thinker: 

          Subdivide an issue into its parts, theorize root causes, capture evidence, seek guidance where appropriate
          Superb attention to detail but only to the level necessary

          A strong understanding of mathematical proof

     Self-Starter:

          Able to work independently and challenge one's self every day
          Humbly seek guidance from peers and management while achieving business and career goals
          Enjoys working in a fast-paced, multi-project team environment using state of the art tools and technology

     Team Spirited:

          Thrives in an environment of technical, and passionate engineers
          Appreciates the value of diverse personalities which make the job rewarding and inspiring
          Unified commitment to business objectives
          Strong level of team-oriented encouragement
          Optimistic but balanced with realistic expectations
          Respectful of team members and collaborates for the best solutions
          Continuously improve how the team meets requirements (Quality)

KEY RESPONSIBILITIES:

     Collaborate with architects, hardware engineers, and verification engineers to understand the graphics pipeline, and the blocks and features that will be verified
     Estimate the time required to complete the creation of the verification environment and tests
     Create the formal block and subsystem testbenches to exhaustively verify hardware IP
     Debug test failures to determine the root cause; work with RTL engineers to resolve design defects and correct any test issues
     Review sign-off metrics; modify or add properties to meet sign-off goals
     Identify and implement opportunities for improving AMD’s ASIC verification methodology

     Automate formal verification techniques so less formally experienced engineers can make use of the best available techniques

     Research formal verification methodologies to push out the boundaries of what can be verified with formal

MUST-HAVE PROFICIENT EXPERIENCE AND SKILLS:

     A good understanding of what goes in to a mathematical proof

     A critical eye which can spot gaps in a logical argument

PREFERRED SKILLS:

     Experience writing your own mathematical proofs

     A good understanding of computer hardware and computer architecture

     C(++)
     Python