OrlandoRecruiter Since 2001
the smart solution for Orlando jobs

Senior IC Formal Verification Engineer - 107804

Company: AMD
Location: Orlando
Posted on: November 22, 2021

Job Description:

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.

Senior IC Formal Verification Engineer

The Role

You will work as a formal verification expert in a centralized formal verification (FV) methodology team. You are expected to explore new FV opportunities in AMD GPU core/block/unit/SoC level designs, as well as enhance existing FV solutions. It is also expected that you will do trainings on FV inside and outside the team to enable stronger FV team and more FV adoption all over AMD design/dv teams.

The Person

You are supposed to be an experienced FV engineer with deep insight on the power and limitation of different FV methods and be able to bridge the gap between FV tools and real IC FV applications.

Key Responsibilities

  • Review architecture specifications
  • Identify key design features suitable for formal verification and decide formal application to adopt
  • Develop formal verification test plans
  • Work with RTL designers to create formal verification friendly reference models
  • Self-manage tasks and deliverables to meet milestones
  • Leverage formal verification convergence techniques to drive verification closure
    Preferred Experience
    • Experience in RTL design or verification for large GPU/CPU designs
    • Advanced knowledge in GPU design architecture
    • Experience with major formal verification tools (JasperGold, VC Formal, QuestaFormal, Hector/SLEC, etc.)
    • Experience in one or more of the following domains o Property checking on RTLs o Sequential equivalence checking on RTLs o Transaction level equivalence checking between C
      and RTL designs o Other FV applications (CC, Coverage, Register)
      • Proficiency with at least one scripting language (TCL/Python/Shell)
      • Excellent communication skills and be able to work with cross-function teams to execute verification plan
        Academic Credentials
        • Master or PhD , computer Engineering or comparable
          Location: Orlando, FL

          Requisition Number: 107804

          Country: United States State: Florida City: Orlando

          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.

Keywords: AMD, Orlando , Senior IC Formal Verification Engineer - 107804, Engineering , Orlando, Florida

Click here to apply!

Didn't find what you're looking for? Search again!

I'm looking for
in category

Log In or Create An Account

Get the latest Florida jobs by following @recnetFL on Twitter!

Orlando RSS job feeds