Staff Formal Verification Engineer
Bengaluru, Karnataka, India · Full Time
Be the first to apply
- Experience
- 7+ yrs
- Salary
- —
- Openings
- 1
- Posted
- hace 1 día
- Work mode
- In office
- Education
- BS/MS/PhD in Electrical Engineering, Computer Engineering, Computer Science or related fields
- Eligibility
- Candidates must have the legal right to work in India and be able to undergo successful background and reference checks. Employment is subject to compliance with export control laws and obtaining necessary authorizations where applicable.
- Resume
- Required to apply
Where you'll work
Sign in to tell us what does and doesn't work for you here — it sharpens every match we show you.
Job description
About SiFive
SiFive pioneered the introduction of RISC-V architecture and is spearheading the future of computing by enabling high-performance and data-intensive applications worldwide. Their advanced compute platforms support top tech companies across multiple sectors such as AI, machine learning, automotive, data centers, mobile, and consumer devices, promoting innovation and optimization in chip design.
The company thrives on innovation driven by talented, collaborative teams who create impactful solutions that improve lives globally, one processor at a time.
Role Overview
We seek an experienced Staff Formal Verification Engineer to join our team, responsible for applying formal methods to hardware design verification. Your core duties include identifying suitable blocks for formal analysis, developing and implementing formal test plans, and maintaining verification environments using Chisel. You'll leverage a range of formal verification techniques to simplify complexity and confirm the correctness of designs.
Debugging RTL to resolve failures, guiding and mentoring colleagues on formal tool usage, automating verification workflows through scripting, reviewing verification setups, and maintaining assertion libraries will be essential responsibilities.
Candidate Profile
- Minimum 7 years of experience in formal verification applied to digital hardware design.
- Bachelor's, Master's, or PhD in Electrical Engineering, Computer Engineering, Computer Science, or related disciplines.
- Profound expertise in formal abstraction techniques and sign-off procedures.
- Hands-on familiarity with mainstream formal verification tools like VC Formal and JasperGold.
- Working knowledge of hardware description languages including VHDL and Verilog/SystemVerilog.
- Object-oriented programming knowledge is advantageous.
- Strong enthusiasm for processors and digital systems.
- Exceptional analytical thinking and meticulous attention to detail.
- Excellent interpersonal and teamwork capabilities.
Additional Information
This position mandates successful background and reference checks, along with verification of your legal right to work in India. Employment will also require compliance with export control regulations, including appropriate authorizations for access to export-controlled technology.
SiFive is proud to be an equal opportunity employer, fostering diversity and inclusion within the workplace.
Minimum education
Bachelor's Degree