IC Resources Ltd

Data-path Formal Verification Engineer

Location
Cambridge
Salary
Excellent salary + bonus, stocks & benefits
Posted
18 Oct 2016
Closes
15 Nov 2016
Ref
J37848
Contact
David Dixon
Specialist Area
Mechanical, Software, Systems
Contract Type
Permanent
Hours
Full Time
Data-path Formal Verification Engineer

This is an exciting opportunity to join a small, newly formed formal verification team, within a leading semiconductor company as a Formal Verification Engineer verifying arithmetic and data path designs using formal assertion based verification and sequential equivalence checking tools.

Based in Cambridge, this role is a superb option if you are looking for a highly challenging role where you will utilise, and further develop, your hands-on experience of state of the art formal verification tools, techniques and methodologies on complex designs.

Required :
*Experience of architecting and implementing formal verification environments for complex data path and arithmetic unit verification.
*Experience of Formal Sequential Equivalence Checking tools (to apply C-to-RTL and RTL-to-RTL equivalence).
*Experience of C, C++ and/or SystemC based models.
*Familiarity with formal sequential equivalence proof closure techniques (design decomposition, case splitting, multi-step proofs, proof by induction, etc)
*Strong communication skills and ability to work well as part of a team.

A very attractive salary package will be offered to the successful candidate, together with stock, bonus, and comprehensive benefits.

Work permit sponsorship and relocation assistance can be provided where required.

Key words: Formal, Verification, Engineer, datapath, arithmetic, mathematics, equivalence, checking, catapult, hector, calypto, SLEC, high-level, synthesis, c, c++, systemC, CPU, GPU, systemverilog, assertions, psl, sva, proof, Cambridge, UK.