Staff Hardware Verification Engineer

Are you passionate about verification of a Machine Learning processor ?


At Arm, verification is an essential and integral part of the hardware development where the verification activities in an ML project are planned by the verification team and then executed by the design and verification teams in collaboration. Arm uses a wide range of verification methodologies including simulation, prototyping, modelling and formal proofs using the latest tools and techniques.


Key Accountabilities/Responsibilities
As a staff verification engineer you will be working on verification activities throughout all stages of the project. You will both help specifying the verification tasks for the project as well as executing the actual verification work. The expectation is that you, as a senior member of the team will take the lead on larger work-packages and mentor more junior engineers in the team. You are also expected to be able to drive methodology threads in Arm wide forums.


Job Requirements:


Education & Qualifications
Good university degree, in electronic engineering or computer science ideally, although other science graduates will be considered if they have relevant experience.
Essential Skills & Experience
A deep understanding of the verification strategies required for complex IP development, including coverage driven, constrained random and assertion-based techniques and FPGA prototyping.
Coverage driven verification expertise, in high-complexity designs.
Experience in block level, unit level and system level verification.
Experience of Verilog/SystemVerilog/VHDL.
Experience with one or more of the following methodologies: UVM, OVM, VMM, eRM.
Experience in planning the verification process and making realistic effort and timescale estimates.
Experience from verifying complex systems (HW+SW) using FPGA platforms.
High level programming experience (C / C++, Python, OOP, design patterns).

Desirable Skills & Experience
Knowledge of machine learning / AI fundamentals.
Knowledge of the ARM architecture and AMBA bus system.
Formal verification experience.
Experience to build C/C++ based models of a microarchitecture
Use of UNIX and shell programming.
Experience of prototyping and/or emulation.
Experience of SystemC/Specman