Staff - Formal Verification Engineer
SiFiveJob Title
Staff - Formal Verification Engineer
Role Summary
Lead and execute formal verification for digital hardware, focusing on processor and complex RTL blocks. Collaborate with design and verification teams to plan formal proofs, implement environments, and achieve formal sign-off.
This role is based in Bengaluru and includes mentoring team members, automating verification flows, and ensuring correctness through formal methodologies. Employment is contingent on satisfactory background/reference checks, right-to-work in India, and any required export-control authorizations.
Experience Level
Senior — requires 8+ years of experience in formal verification of digital hardware.
Responsibilities
Primary responsibilities include:
- Identify RTL blocks suitable for formal verification and create formal test plans with sign-off metrics.
- Implement and maintain formal verification environments in Chisel and maintain assertion libraries.
- Apply formal abstraction techniques and other FV methods to reduce complexity and prove DUT correctness.
- Debug RTL to determine causes of failure scenarios and support fixes.
- Review formal setups and proofs with design and verification teams.
- Develop or modify scripts to automate verification processes and extend proof infrastructure.
- Guide and train team members on effective use of formal verification tools and processes.
Requirements
Must-have skills and experience:
- 8+ years' experience in formal verification of digital hardware.
- Extensive experience with formal abstraction techniques and formal sign-off processes.
- Familiarity with industry formal tools (for example VC Formal, JasperGold).
- Knowledge of hardware description and verification languages: VHDL, Verilog/SystemVerilog.
- Strong reasoning, attention to detail, and teamwork skills.
- Object-oriented programming knowledge is a plus.
Education Requirements
Bachelor’s or Master’s degree in Electrical Engineering or Computer Engineering.
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.
