Distinguished Formal Verification Architect
SiFiveJob Title
Distinguished Formal Verification Architect
Role Summary
Lead definition and delivery of end-to-end formal verification strategies for complex SoC and IP subsystems. Act as the architect for formal methodology, abstraction, and proof convergence across classes of hardware designs.
Work closely with design teams to identify high-risk corners, reshape implementations for verifiability, and drive formal/simulation co-verification to closure.
Experience Level
Senior - multiple years of experience in formal verification of advanced hardware designs.
Responsibilities
Primary responsibilities include developing formal approaches, guiding proofs, and integrating formal methods into verification plans.
- Define end-to-end formal verification strategies for SoC and IP subsystems.
- Identify high-risk architectural corners and propose formal methodologies to cover them.
- Drive proof convergence and correct-by-construction thinking for classes of designs.
- Apply abstraction and complexity-management techniques for large designs.
- Recommend and implement design changes to improve verifiability.
- Collaborate with architects, RTL designers, and verification teams to close verification using formal or formal/simulation co-verification.
- Provide technical leadership and ownership of verification deliverables.
Requirements
Must-have technical skills and experience; followed by concise nice-to-have items.
- Multiple years of hands-on formal verification experience on cutting-edge hardware designs.
- Experience with model checkers (examples: VCFormal, JasperGold).
- Proven skill applying abstractions and complexity-management techniques for large systems.
- Strong understanding of hardware design and idioms (CPU microarchitecture, communication fabrics, protocols) mapped to formal needs.
- Strong logical and strategic thinking; ownership to drive verification to completion.
Nice to have
- Functional programming experience (Scala, OCaml, Haskell).
- Familiarity with SAT/SMT techniques and theorem provers.
Education Requirements
Not specified.
About the Company
Company: SiFive
Headquarters: San Mateo, California, United States
SiFive is a pioneering company in the RISC-V ecosystem, focused on transforming the future of computing by delivering high-performance, data-intensive RISC-V solutions. Their compute platforms empower leading technology firms to innovate across various markets, including AI, machine learning, and automotive sectors. SiFive is recognized for its commitment to ongoing innovation and fostering collaboration among talented teams, impacting lives by enabling advanced chip design.
