Formal Verification Engineer

Formal Verification Engineer - Systems IP | 6- Month Contract Location: Manchester, UK This position is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team at a world-leading Semiconductor Company on topics including the development of next-generation industry-leading CPU and GPU processors. Key responsibilities: You will specify and develop new hardware verification testbenches for future generation hardware IP. You will improve existing test benches to increase performance, quality and efficiency. You will also identify areas for improvement in processes and methodologies, then implement those changes to advance the best practises and state of the art for hardware verification. The responsibilities of a member of the Verification team are: Reviewing and assessing proposed design changes from a verification complexity point of view Ownership of verification environment from investigation all the way to verification closure Develop, extend, maintain, and improve the SVA Formal testbenches Develop, extend, maintain and improve the suite of SVA Protocol Checkers for Formal and Simulation use There will be opportunities for improving the verification methodology and mentoring other members of the team Close collaboration with other engineering teams leading to high quality Required Skills and Experience: Experience in architecting and implementing formal verification environments for complex IP/module-level designs. Experience in property-based model-checking or Formal Property verification. Practical experience of writing assertions using SystemVerilog Assertions (SVA) with an industry leading formal tool (e.g. Cadence, Mentor, Synopsys tools). Ability to quickly understand and apply complex specification details. Strong communication skills and ability to work well as part of a team. Dedicated with a focused approach to problem analysis and solving. 'Nice To Have' Skills and Experience: Team leadership and mentoring experience Multiprocessing microarchitecture experience including knowledge of cache coherence and bus protocols (e.g. AMBA5 CHI, AMBA4 ACE or AXI) Interested? Apply directly through LinkedIn, or send your CV to georgeeu-recruit.com Keywords: Formal Verification / Semiconductor / Semiconductor / Semi-conductor / CPU / GPU / System Verilog / SystemVerilog / System Verilog Assertions / SVA / Microprocessor / Microprocessor / Cadence / Synopsys By applying to this role you understand that we may collect your personal data and store and process it on our systems. For more information please see our Privacy Notice https://eu-recruit.com/about-us/privacy-notice/