IC Resources Ltd

Data-path Formal Verification Engineer

Location
Cambridge
Salary
Excellent salary + bonus, stocks & benefits
Posted
19 Sep 2016
Closes
17 Oct 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.

Apply for Data-path Formal Verification Engineer

Already uploaded your CV? Sign in to apply instantly

All answers are required

Apply
}

Your CV must be a .doc, .pdf, .docx, .rtf, and no bigger than 1MB


4000 characters left


By applying for a job listed on Electronics Weekly Jobs you agree to our terms and conditions and privacy policy. You should never be required to provide bank account details. If you are, please email us.