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.
*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.