Senior/Staff - Formal Verification Engineer

As an experienced Formal Verification Engineer, you will play a crucial role in ensuring the correctness and complexity reduction of Digital Hardware Design through Formal Verification techniques. Your responsibilities will include: - Identifying blocks suitable for applying Formal Verification - Creating a Formal Test-plan for blocks and identifying properties for implementation - Implementing and maintaining Formal Verification environments in Chisel - Applying various Formal Verification techniques to reduce complexity and prove correctness of the Design Under Test (DUT) - Debugging RTL to identify causes of failure scenarios - Guiding and training team members on effective usage of Formal Verification tools - Developing or modifying scripts to automate the verification process - Reviewing formal setups and proofs with design and verification teams - Maintaining and extending assertion libraries To excel in this role, you should possess: - 7+ years of experience in Formal Verification of Digital Hardware Design - Extensive knowledge of Formal Abstraction Techniques and sign-off process - Familiarity with industry-standard Formal Verification Tools like VC Formal, JasperGold - Proficiency in Hardware Description and Verification Languages such as VHDL, Verilog/System Verilog - Knowledge of Object-oriented Programming would be advantageous - A keen interest in Processors and Digital systems - Strong reasoning skills and excellent attention to detail - Good interpersonal and teamwork skills - A Bachelors or Masters degree in Electrical Engineering or Computer Engineering Please note that this position requires successful background and reference checks, as well as proof of your right to work in India. Additionally, any offer of employment is contingent on the Company verifying your authorization for access to export-controlled technology under applicable laws. SiFive is an equal opportunity employer that celebrates diversity and is committed to creating an inclusive environment for all employees.,