Data-path Formal Verification Engineer


Premium Job From IC Resources

Recruiter

IC Resources

Listed on

21st January 2017

Location

Cambridge

Salary/Rate

Excellent salary + bonus, stocks & benefits

Salary Notes

Excellent salary + bonus, stocks & benefits

Type

Permanent

Start Date

ASAP

This job has now expired please search on the home page to find live IT Jobs.

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.

You are currently using an outdated browser.

Please consider using a modern browser such as one listed below: