Staff Formal Verification Engineer

About SiFive

SiFive pioneered the introduction of RISC-V and is revolutionizing computing by delivering the powerful capabilities of RISC-V to high-performance and data-intensive applications globally. Its advanced compute platforms support innovation across diverse chip design areas, including AI, machine learning, automotive, data centers, mobile devices, and consumer electronics. At SiFive, innovation thrives through the collaboration of talented individuals passionate about transforming the world one processor at a time.

SiFive has been recognized with the GSA's Most Respected Private Company Award multiple times, reflecting its excellence and impact in the industry.

Role Summary

We are seeking a Staff Hardware Engineer specializing in Formal Verification to lead the verification efforts for sophisticated out-of-order (OOO) processor blocks. Candidates with knowledge of OOO processors, vector execution units, and formal proof methodologies are highly valued.

Key Responsibilities

• Identify candidate blocks suitable for formal verification techniques.
• Develop formal test plans outlining targeted properties and acceptance criteria for sign-off.
• Design, implement, and sustain formal verification environments using the Chisel language.
• Utilize various formal verification strategies to manage complexity and ensure design correctness.
• Perform RTL debugging to diagnose failure causes.
• Mentor and guide team members on effective utilization of formal verification tools.
• Create or update scripts that automate verification workflows.
• Collaborate with design and verification teams to review formal verification configurations and proofs.
• Maintain and expand assertion libraries pertinent to formal verification.

Required Qualifications

• A minimum of 7 years' experience in formal verification within digital hardware design.
• Bachelor's or Master's degree in Engineering.
• Proficient in formal abstraction techniques and managing sign-off processes.
• Experience with industry-recognized formal verification tools like VC Formal and JasperGold.
• Familiarity with hardware description and verification languages such as VHDL, Verilog, and SystemVerilog.
• Object-oriented programming skills are advantageous.
• Strong interest and understanding of processors and digital systems.
• Excellent analytical reasoning and meticulous attention to detail.
• Effective interpersonal and teamwork abilities.

Additional Information

This role requires successful completion of background checks, reference verification, and proof of the legal right to work in India.

Employment offers are contingent upon authorization to access export-controlled technology, including obtaining any required export licenses under applicable laws.

SiFive values diversity and fosters an inclusive workplace environment for all employees.