Search Jobs

Hold CTRL to choose multiple sectors (up to 3)


Hold CTRL to choose multiple sectors (up to 3)

IC Formal Verification Engineer - Located in either Bristol or Cambrid job in Cambridge

  • Show me jobs like this one
  • More jobs from this recruiter
  • Email this job to a friend
  • Print this job
Job Ref:  204677407
Employer:  cv-library.co.uk
Industry:  Civil and Structural
Job Type:  Permanent
Country:  United Kingdom
County/State:  Cambridgeshire
City:  Cambridge
Post Code:  CB1
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.

Copyright © Rengineeringjobs.com Job Board 2011  | Powered by JobMount Job Board Software