Formal Verification Engineer at AMD (Orlando, FL)

| Orlando, FL
Sorry, this job was removed at 3:49 p.m. (CST) on Monday, April 11, 2022
Find out who's hiring in Orlando, FL.
See all Developer + Engineer jobs in Orlando, FL
Apply Now
By clicking continue you agree to Built In’s Privacy Policy and Terms of Use.
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.

Title : Formal Verification Engineer

The Role : This position is for a design verification engineer. The successful candidate will use formal verification technologies to complete functional verification of state-of-art design. Formal technologies include Formal Property Verification (FPV), Sequential Equivalence Check (SEC/SEQ/SLEC), Connectivity Check (CC).

The Person : Will enjoy learning, growing and working in a fast paced environment

Responsiblities :
  • Crafting verification plan
  • Writing formal properties
  • Running formal verification tools
  • Debugging failures
  • Discussing issues with designers
  • Document, report and issue tracking

Preferred skillset & Experience:
  • A property language like SystemVerilog Assertion (SVA)
  • Understanding a HDL language like Verilog or VHDL
  • Concept and flow of design verification
  • Previous FPV experience or eager to learn

Education : Electrical or Computer Engineering

  • Micro-architecture of digital blocks and hardware/firmware partitioning
  • Architect DFX strategy for chiplets and fuctional coverage
  • Optimize RTL implementation from implementation perspective in cooperation with RTL and Architecture teams
  • Optimization of physical implementation in cooperation with Physical Design team

  • Experience with state-of-the-art industry standard digital tools
  • Preferred experience in design with multiple clock domains
  • RTL design experience with multi-clock, high frequency designs
  • Knowledge in digital RTL Digital Design, Verificatoin and Implementation

  • Master's/Bachelors in electrical engineering or equivalent preferred


Requisition Numbe r: 135361
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.
More Information on AMD
AMD operates in the Semiconductor industry. The company is located in Santa Clara, CA, Bellevue, WA, Fort Collins, CO, Austin, TX, Houston, TX, Orlando, FL and Boxborough, MA. AMD was founded in 1969. It has 18649 total employees. It offers perks and benefits such as Flexible Spending Account (FSA), Disability Insurance, Dental Benefits, Vision Benefits, Health Insurance Benefits and Life Insurance. To see all 277 open jobs at AMD, click here.
Read Full Job Description
Apply Now
By clicking continue you agree to Built In’s Privacy Policy and Terms of Use.

Similar Jobs

Apply Now
By clicking continue you agree to Built In’s Privacy Policy and Terms of Use.
Save jobView AMD's full profileFind similar jobs