Staff Engineer, Formal Verification

About SiFive

As the pioneers who introduced RISC-V to the world, SiFive is transforming the future of compute by bringing the limitless potential of RISC-V to the highest performance and most data-intensive applications in the world. SiFive’s unrivaled compute platforms are continuing to enable leading technology companies around the world to innovate, optimize and deliver the most advanced solutions of tomorrow across every market segment of chip design, including artificial intelligence, machine learning, automotive, data center, mobile, and consumer. With SiFive, the future of RISC-V has no limits.

At SiFive, we are always excited to connect with talented individuals, who are just as passionate about driving innovation and changing the world as we are.  

Our constant innovation and ongoing success is down to our amazing teams of incredibly talented people, who collaborate and support each other to come up with truly groundbreaking ideas and solutions.  Solutions that will have a huge impact on people's lives; making the world a better place, one processor at a time. 

Are you ready?  

To learn more about SiFive’s phenomenal success and to see why we have won the GSA’s prestigious Most Respected Private Company Award (for the fourth time!), check out our website and Glassdoor pages.

Job Description:

 

Responsibilities:

  • Identify blocks suitable for applying Formal Verification

  • Create Formal Test-plan for blocks identifying properties to be implemented and sign-off metrics.

  • Implementation and maintenance of Formal Verification environments in Chisel

  • Applying various FV techniques to reduce complexity and prove correctness of DUT.

  • Debugging RTL to identify causes of failure scenarios.

  • Guide and train team members on effective usage of Formal Verification tools

  • Develop/modify scripts to automate the verification process.

  • Review formal setups and proofs with design and verification teams.

  • Maintain and extend assertion libraries.

 

Requirements:

  • 7+ years of experience in Formal Verification of Digital Hardware Design

  • Extensive experience with Formal Abstraction Techniques and sign-off process

  • Familiarity with industry-standard Formal Verification Tools, such as VC Formal, Jasper Gold

  • Knowledge of Hardware Description and Verification Languages, such as VHDL, Verilog/ System Verilog

  • Knowledge of Object-oriented Programming is a plus.

  • A keen interest in Processors and Digital systems

  • Strong reasoning skills and excellent attention to detail

  • Good interpersonal and teamwork skills!

If you want to do incredible work and be challenged by exciting, truly innovative projects that will test the boundaries of your skills and creativity, then SiFive is the place for you!  Be proud of your work.  Do things better.  Join SiFive.  

 

Benefits

SiFive is proud to be an equal employment opportunity workplace. We offer a competitive compensation package that includes a flexible work environment, enabling our employees to work smarter and in their own way, a generous time-off policy, an employee stock option program, pension scheme and much more.

We will ensure that individuals with disabilities are provided reasonable accommodation to participate in the job application or interview process, to perform essential job functions, and to receive other benefits and privileges of employment.  Please contact us to request accommodation.

 

Notice to Staffing Agencies / External Recruiters:

Thank you for your interest in SiFive Inc. Please note that SiFive does not accept unsolicited resumes from external agencies unless contracted to fill a specific position. Agencies are hereby specifically directed NOT to contact SiFive employees directly in an attempt to present candidates – all applications must go through SiFive's internal recruiting team. Any third-party resume forwarded by agencies/external recruiters to a SiFive mailing address, fax machine or email address, directly to SiFive employees, or to SiFive's resume database will be considered property of SiFive Inc and treated as a direct application. This exchange does not constitute an agreement between SiFive and the agency/external recruiter. SiFive reserves the right to contact the candidate directly. Employment agencies/external recruiters will receive no compensation from SiFive or its companies.

#LI-PK1

Additional Information:

This position requires a successful background and reference checks and satisfactory proof of your right to work in:

India

Any offer of employment for this position is also contingent on the Company verifying that you are a authorized for access to export-controlled technology under applicable export control laws or, if you are not already authorized, our ability to successfully obtain any necessary export license(s) or other approvals.

SiFive is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees.