Senior Formal Verification Engineer

As a Senior Formal Verification Engineer, you will contribute to defining and leading the formal verification strategy for our systems.

Responsibilities

• · Work closely with system architects and design team to establish formal verification environment and setting
• · Guide the use of formal verification so that correct formal techniques are used appropriately to improve efficiency of IP and SoC level verification
• · Contribute to define Formal Verification Methodologies
• · Produce IP level, subsystem level and chip level test plans based on Design documents and interaction with design and architecture teams
• · Write and debug System Verilog assertions
• · Analyze coverage data and working with Design teams to address coverage holes
• · Contribute to developing framework for running regressions and debugging regression failures
• · Support integration of design in higher-level subsystem including te...