Senior CPU Verification Engineer - Datapath at ARM in Austin, Texas

Posted in Other 3 days ago.

Job Description:

Role Overview

About the role

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 talented verification engineers to efficiently perform their responsibilities. The job focuses on development of tools and improving the workflows used by the CPU engineering team.

What will I be accountable for?

  • Work closely with designers and verification engineers in various Arm projects to enable our verification methodology throughout the company.

  • 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.

  • Contribute to the infrastructure of our verification effort, e.g., by improving interfaces with SLEC and ACL2.

  • Consider and potentially pursue applications of interactive theorem proving to other components of Arm processors.

  • Working closely with other engineering and services teams within ARM to help them adopt best solutions

Job Requirements

What skills, experience, and qualifications do I need?

  • MS or BS in Computer Science, Electrical Engineering, or Computer Engineering

  • Demonstrated strong ability for rigorous 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.

What would give my candidacy an edge?

  • Demonstrated ability to develop complex 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

What are the desired behaviors for this role?

At Arm, we are guided by our core beliefs that reflect our unique 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 owns 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 own 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

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.