Senior Design Formal Verification Engineer
SiFiveJob Title
Senior Design Formal Verification Engineer
Role Summary
Lead formal verification efforts for out-of-order CPU core blocks. Own formal strategies and sign-off of complex blocks while collaborating with micro-architects and RTL designers.
Experience Level
Senior - 4+ years of experience in Formal Verification of digital hardware design.
Responsibilities
Primary responsibilities include:
- Identify blocks appropriate for formal verification and define sign-off criteria.
- Create formal test plans specifying properties and metrics required for sign-off.
- Implement and maintain formal verification environments (Chisel-based).
- Apply formal abstraction and other FV techniques to reduce complexity and prove correctness of the DUT.
- Debug RTL to diagnose and resolve failure scenarios discovered by formal checks.
- Review formal setups and proofs with design and verification teams; maintain and extend assertion libraries.
- Develop and modify scripts to automate formal verification workflows.
- Coach and train team members on effective use of formal verification tools and methodologies.
Requirements
Must-have and important qualifications:
- 4+ years of experience in formal verification for digital hardware design.
- Strong experience with formal abstraction techniques and formal sign-off processes.
- Familiarity with industry formal tools (examples: VC Formal, JasperGold).
- Experience with hardware description and verification languages (VHDL, Verilog/SystemVerilog).
- Strong analytical and debugging skills, attention to detail, and ability to work in a team.
- Ability to pass background checks and demonstrate right-to-work in India; may require export-control authorization or ability to obtain necessary approvals.
Nice-to-have:
- Knowledge of object-oriented programming.
- Prior experience with processor microarchitectures and out-of-order design.
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.
