Senior Verification Engineer (Formal Verification)

United KingdomOn-site

Responsibilities

Improve existing testbenches to increase performance, quality and efficiency.
Identify areas for improvement in methodologies and implement those changes to advance our best-practises for hardware verification.
You will specify and develop new hardware verification testbenches for future generation hardware IP.

Job Overview: This position is an excellent opportunity for an experienced and highly motivated verification engineer to join the growing System IP team! This is a fast-paced technical role employing the latest hardware design verification methodologies to develop complex and highly configurable hardware IP that sit at the heart of Arm-based Systems.
Our Interconnects and NoCs are designed for intelligent connected systems across a wide range of applications including mobile, IoT, networking infrastructure, automotive etc. The highly scalable IP is optimised for AMBA-compliant SoC connectivity and can be customised for multiple performance points.
Experience in formal engines and tools (i.e. Cadence Jasper Gold).
Experience in working with constrained-random verification including ownership of complex verification environment. Experience of using System Verilog
Software engineering skills including understanding of object-oriented programming, data structures, and algorithms.
Skills in developing verification flows, making the best use of EDA tools and have good scripting skills and are able to plan and estimate your own work. Preferred Skills and
experience including knowledge of cache coherence and bus protocols (e.g.
AMBA5 CHI, AMBA4 ACE or AXI) Strong communication and ability to work well as part of a team.

Additional Information Please note that no relocation package is available for this role.
All fees associated with the individual’s application e.g. visa application fee and Immigration Health Surcharge, will be the responsibility of the successful candidate. 10x Mindset at Arm At Arm, we believe progress happens when people are empowered to think bigger and push beyond what seems possible.