Senior CPU Verification Engineer – Datapath

Arm processors are the brains in billions of diverse electronic devices. Our CPU group defines, designs, and validates all of Arm's processor IP and collaborates with the world's leading technology companies.

As a verification methodology engineer in the Austin-based CPU Verification team, you will help enabling the team of hard-working verification engineers to efficiently perform their responsibilities.

The job focuses on development of tools and improving the workflows used by the CPU engineering team, and you will work closely with designers and verification engineers in various Arm projects to enable our verification methodology throughout the company.

Responsibilities:

You will Analyze new data path RTL designs and underlying algorithms, develop abstract C models of these designs, establish equivalence between RTL and C with a commercial checker (SLEC), and formally verify correctness of the models with respect to a high-level architectural specification using the ACL2 theorem prover.

You will contribute to the infrastructure of our verification effort, on such example may be by improving interfaces with SLEC and ACL2. You'll also be able to potentially pursue applications of interactive theorem proving to other components of Arm processors. You will also work closely with other engineering and services teams within ARM to help them embrace the best solutions.

Required Skills and Experience:

• MS or BS in Computer Science, Electrical Engineering, or Computer Engineering
• Ability to demonstrate a strong ability for detailed mathematical reasoning and familiarity with floating-point arithmetic.
• Understanding of standard algorithms and techniques used in the implementation of elementary arithmetic operations
• C programming experience and a reading knowledge of basic Verilog.
• Ability to collaborate and contribute in a remote working environment.

“Nice To Have” Skills and Experience:

• Demonstrated ability to develop sophisticated mathematical proofs
• Experience and demonstrated expertise in interactive theorem proving, especially in the use of ACL2
• Familiarity with commercial sequential logic equivalence checkers
• General knowledge of aspects of CPU/GPU microarchitecture, e.g., out-of-order execution and memory systems
  
  

In Return:

At Arm, we are guided by our core beliefs that reflect our open culture and guide our decisions, defining how we work together to defy ordinary and shape extraordinary:

We not I

• Take daily responsibility to make the Global Arm community thrive
• No individual is responsible for the right answer. Brilliance is collective
• Information is important, share it
• Realize that we win when we collaborate — and that everyone misses out when we don’t

Passion for Progress

• Our differences are our strength. Widen and mix up the pool of people you connect with
• Difficult things can take unexpected directions. Stick with it
• Make feedback positive and expansive, not negative and narrow
• The essence of progress is that it can’t stop. Grow with it and lead your own progress

Be your Brilliant Self

• Be quirky, not egocentric
• Recognize the power in saying ‘I don’t know’
• Make trust our default position
• Hold strong opinions lightly
  
  

#LI-SA1

Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don’t discriminate on the basis of any characteristic.