Senior Formal Verification Engineer
Arm Ltd - Austin, TX

This job posting is no longer available on Arm Ltd. Find similar jobs:Senior Formal Verification Engineer jobs - Arm jobs

Job Description

Job Purpose
In this role, you will lead the formal verification of the next-generation ARM microprocessor and coherent interconnect.

This is an outstanding opportunity to be part of the ARM Austin Design Center. You will be part of a small and talented team, giving you the opportunity to innovate and make a significant contribution. We employ leading-edge verification technologies and methodologies to ensure the highest quality in our products.


  • Work closely with the design team to develop a comprehensive formal verification plan
  • Prove properties of the design, find design bugs, work closely with design teams to help improve the microarchitecture
  • Architect novel and innovative solutions for verifying complex design microarchitectures
  • Conduct test plan, formal verification reviews, and coverage hole analysis with design and verification teams
  • Work closely with the design team to review and enhance hardware specifications
  • Improve formal verification methodology
Job Requirements

The candidate should have 7+ years experience in formal verification including focused experience verifying multiprocessing out-of-order microarchitectures.

Technical Requirements
Applicants should have experience in most of the following areas:

  • Advanced knowledge of CPU design architectures, VLSI circuits, and digital logic design
  • Experience in formal verification and analysis of pipelined microarchitectures and coherent memory systems
  • Deep understanding of abstraction techniques and formal verification techniques
  • Knowledge and experience in reviewing and interpreting hardware specifications
  • Experience with HDL’s such as Verilog, SystemVerilog and temporal logic assertion languages such as SVA
  • Hands-on experience using EDA formal verification tools
  • Proficiency in programming/scripting languages with excellent debugging skills
  • Knowledge of constrained random verification methods is a plus
  • Must be a team player with excellent communication skills and interact closely with design teams
General Attributes
It is essential for the successful applicant to:

  • Work well in a team environment
  • Have excellent written and verbal communication skills
  • Be motivated to continuously develop skills and accept a variety of responsibilities as part of contributing to the design center’s success
BS or MS degree in Electrical Engineering, Computer Engineering, or Computer Science.

ARM will offer the following benefits for this position:
  • Salary - Commensurate with experience
  • Equity
  • Annual bonus plan
  • Medical Insurance
  • Dental Insurance
  • Vision Insurance
  • Life Insurance
  • Contributory 401(k)
  • Stock Purchase Plan
  • Four weeks paid vacation

  • Four week sabbatical after four years

ARM is an Equal Opportunity Employer.