Address
Form of workDescription
Job Overview:
The GPU Engineering Division requires an experienced Formal Verification Engineer to join a fast growing team!
Arm GPU Engineering Group:
We produce graphics processing hardware and software products for mobile, embedded and automotive industries. Mali™ Graphics Processor is the world’s #1 shipping GPU. Now we are entering into a new growth phase to provide new technologies and products for existing and new markets and are looking for people to join the team. In GPU Engineering we work with the global best companies, making world-leading products based on our IP and alongside the best engineers in the world. We are a team working across numerous sites and countries. Your ideas will make a difference and you will have the opportunity to lead, challenge the status quo and ultimately change the world of graphics processing!
Working within the GPU Hardware Development team you partner with the design and verification teams to deliver blocks for our next generation GPUs. We collaborate with our designers across several design centres who are working on the development of new GPU designs. The team also collaborates with other formal engineers across Arm to develop methodologies and share technical knowledge. We also work closely with our industry partners in EDA.
Responsibilities:
Planning Formal Verification environments which will be used in design development and verifying design requirements are met.
Building verification environments using specialist formal techniques, for critical areas of the GPU design.
Writing assertion properties to verify the key features of the design.
Assisting in finding and identifying bugs in design, modelling and verification using the formal environments.
Working with designers and other verification team members across the organisation to integrate the verification checkers into higher level verification environments.
Writing formal coverage models, running the models, and analysing the results to make sure the full design is tested.
Using formal techniques to improve the verification results to acquire full-proof, especially for safety critical use cases.
Generate reporting to demonstrate completion of verification tasks and fulfilment of requirements to safety and security standards.
Mentor engineers in Formal Verification, developing their talents and understanding of formal techniques and application of formal methodologies.
Writing requirements to allow requirements traceability methods to support development of hardware meeting ISO26262 standards.
Required Skills and Experience :
Experience of architecting and implementing verification environments for various IP/module level designs.
Experience of property-based model-checking, practical experience of SystemVerilog Assertions (SVA) or Property Specification Language (PSL),
A history of use with an industry leading formal tool (e.g. Cadence Jasper, Siemens EDA QuestaFormal, Synopsys VC-Formal or OneSpin 360 DV-Verify).
Ability to quickly understand and apply sophisticated specification details.
In-depth knowledge and passion with skills to drive adoption of new techniques and methodologies with a focus on quality and efficiency.
“Nice To Have” Skills and Experience :
Any of these skills would be conducive to have in the role:
Knowledge of GPU architectures (or similar related technologies).
An understanding of how to use planning and tracking tools (e.g. Jira) with product development and verification
Knowledge of scripting languages (e.g. Python, shell scripts and/or Tcl), to assist in tool use and automation.
In Return:
In return, you will get to influence the direction of our Mali and Immortalis GPU product lines, learn about the latest GPU and graphics technologies, utilise your engineering skills to build support for the technologies and influence millions of devices for years to come.
#LI-KD1
