|Job Ref:||204677407||Employer:||cv-library.co.uk||Industry:||Civil and Structural||Job Type:||Permanent||Country:||United Kingdom||County/State:||Cambridgeshire||City:||Cambridge||Address:||Post Code:||CB1||Post Date:||15/10/2016 02:19|
Integrated Circuits: Formal Verification Engineer |
Bristol or Cambridge, UK
My client is a global electronics manufacturer that is continuing to innovate and be at the forefront of electronic innovation. As part of my client s investment within its Bristol R&D team they are looking for a formal verification expert to join its specialised team.
The mission statement of the global formal team is to make advance formal verification mainstream within their ASIC development flow. In order for the team to achieve this you will work closely with the project focused teams to contribute to their verification effort, whilst continuing to develop and demonstrate advanced formal verification methodology and solutions to be disseminated across the business.
The ideal candidate, will already have a solid foundational knowledge of state of the art RTL design and verification processes, including formal methods. In addition, you show initiative to spearhead the adoption and wider practise of these methodologies.
Work with world-leading IC design teams to accelerate verification with formal methods
Plan, schedule and implement formal verification environments for complex RTL designs
To fully understand design verification requirements and plan innovative formal solutions
To cooperate and share information within the global formal team.
5+ years of industry experience in ASIC design and verification
Someone with five years of industry experience within ASIC design and verification
Minimum of two years experience using formal verification tools such as IEV, Jasper, Questa and OneSpin Solutions.
Excellent knowledge of assertion languages such as PSL or SVA
Experience with coverage modelling and coverage driven verification methods
Skilled within programming/scripting TCL
Excellent verbal and written communication skills
Ideally educated to either a Master Degree or PhD level.