Senior Verification Engineer

Are you passionate about verification of a Machine Learning processor? Working on the cutting edge of Arm IP, you will be creating technology that powers the next generation of mobile apps, portable devices, home automation, smart cities, self-driving cars, and much more!

Verification of an ML processor is a huge and exciting challenge! At Arm, verification is a crucial 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 close collaboration. Arm uses a wide range of verification methodologies including simulation, emulation, prototyping, modelling and formal proofs using state of the art tools and techniques.

Key Accountabilities/Responsibilities

As a senior verification engineer you'll be part of a growing and highly skilled team focusing on our ML and Neural Network IP. 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 performing 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.

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