Staff Engineer - Formal Verification
SiFiveJob Title
Staff Engineer - Formal Verification
Role Summary
Lead formal verification for processor and digital hardware blocks. Define formal test plans, implement and maintain formal verification environments, and drive sign-off for critical design units.
Collaborate closely with design and verification teams, mentor engineers on formal methods, and improve verification automation and assertion libraries.
Experience Level
Senior — 8+ years of experience in formal verification of digital hardware design.
Responsibilities
Primary responsibilities include:
- Identify design blocks suitable for formal verification and define sign-off criteria.
- Create formal test plans and select properties to be proven.
- Implement and maintain formal verification environments (Chisel-based environments referenced in source).
- Apply formal abstraction and other FV techniques to reduce complexity and prove correctness of the DUT.
- Debug RTL to identify and resolve failure scenarios.
- Guide and train team members on effective use of formal verification tools and methodologies.
- Develop and maintain scripts to automate verification tasks.
- Review formal setups and proofs with design and verification teams.
- Maintain and extend assertion libraries.
Requirements
Concise list of required and preferred qualifications.
- Must-have: 8+ years of practical experience in formal verification of digital hardware; experience with formal abstraction techniques and sign-off processes; familiarity with industry formal tools such as VC Formal and JasperGold; working knowledge of hardware description languages (VHDL, Verilog/SystemVerilog); strong analytical reasoning, attention to detail, and effective teamwork/communication skills.
- Nice-to-have: Experience with Chisel-based verification environments; object-oriented programming experience; strong interest in processors and digital systems.
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.
