Lead Formal Verification Architect: End-to-End SoC Strategy

SiFive, Inc.; Santa Clara (CA); On-site; USD 280,000 - 342,000; Full time

Benefits offered by this job

Healthcare

Retirement plans

Paid time off

Equity

Job summary

SiFive, headquartered in Santa Clara, CA, seeks a Distinguished Formal Verification Architect to define end-to-end verification strategies for complex SoCs and IP subsystems.

You will lead abstraction, model checking, and formal/simulation co-verification, driving high-quality verification across large designs and collaborating with design teams to reshape implementations for correctness.

Qualifications

• Multiple years of experience with formal verification of cutting edge HW designs.
• Experience with model checkers such as VCFormal, Jasper Gold.
• Proficient in working with large designs and standard practices for abstractions, etc. for dealing with large systems.
• Excellent understanding of HW design and idioms, e.g. CPU microarchitecture, communications fabrics, protocols, etc, and how to map them to formal verification needs.
• Strong logical thinking and ownership to close verification with formal methods or formal/simulation co-verification.

Responsibilities

• Deep expertise in complexity management, abstraction techniques and exhaustive verification.
• Identify high-risk architectural corners and develop formal methodology.
• Adept at proof convergence and thinking in terms of correct-by-construction, working not just with individual designs but classes of design.
• Improve verification quality by reshaping the implementation beyond formal techniques.

Skills

Formal verification

Logical thinking

Strategic thinking

Ownership

Tools

VCFormal

Jasper Gold

Job description

SiFive, headquartered in Santa Clara, CA, seeks a Distinguished Formal Verification Architect to define end-to-end verification strategies for complex SoCs and IP subsystems.

You will lead abstraction, model checking, and formal/simulation co-verification, driving high-quality verification across large designs and collaborating with design teams to reshape implementations for correctness.