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 C 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:  68574980
Employer:  My Job Matcher
Country:  United Kingdom
City:  Cambridge
Post Code:  CB1
11/10/2016 16:35
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. Responsibilities: 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. Requirements: 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. #BrilliantlyConnected
Copyright © Rengineeringjobs.com Job Board 2011  | Powered by JobMount Job Board Software