Senior Formal Verification Architect – SoC & IP

SiFive; Boston (MA); On-site; USD 280,000 - 342,000; Full time

Job summary

SiFive is seeking a Distinguished Formal Verification Architect to define end-to-end verification strategies for complex SoC and IP subsystems. You will shape verification methodology and lead rigorous verification across large HW designs.

The role requires deep experience in formal verification, model checkers, and the ability to map HW architectures to formal needs with a strategic ownership mindset.

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 for large systems.
• Excellent understanding of HW design and idioms and how to map them to formal verification needs.
• Strong logical thinking and strategic ownership to close verification with formal methods.

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 for classes of design.

Skills

Formal verification

Model checking

HW design knowledge

Logical thinking

Tools

VCFormal

Jasper Gold

Job description

SiFive is seeking a Distinguished Formal Verification Architect to define end-to-end verification strategies for complex SoC and IP subsystems. You will shape verification methodology and lead rigorous verification across large HW designs.

The role requires deep experience in formal verification, model checkers, and the ability to map HW architectures to formal needs with a strategic ownership mindset.