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