Formal Verification Engineer

Accenture in India; Bengaluru; On-site; INR 900,000 - 1,200,000; Full time

Job summary

Accenture in India seeks a Formal Verification Engineer in Bengaluru to ensure design correctness using formal methods like model checking and equivalence checking. You will analyze specifications, build formal models, and apply techniques to detect corner-case bugs early, improving quality and reducing verification time.

The role requires collaborating with cross-functional teams, developing verification environments, and delivering comprehensive coverage.

Qualifications

• 3+ years of experience in SoC Verification.
• Proficiency in formal verification techniques and HDL such as Verilog/VHDL.
• Experience with model checking and equivalence checking methodologies.

Responsibilities

• Operate independently and evolve into a Subject Matter Expert.
• Actively participate in team discussions and provide solutions to problems.
• Collaborate with cross-functional teams to gather requirements and feedback.
• Develop and maintain formal verification environments ensuring wide coverage of design scenarios.

Skills

SoC Verification

Model checking

Equivalence checking

Verilog/VHDL

Education

15 years education

Job description

Project Role :

Formal Verification Engineer

Project Role Description :

Ensure design correctness using mathematical methods like model checking and equivalence checking, without relying on simulation. Detect corner-case bugs early in the design cycle to improve quality and reduce verification time.

Must have skills :

SoC Verification

Good to have skills :

NA

Minimum 3 Year(s) Of Experience Is Required

Educational Qualification :

15 years full time education

Summary:

As a Formal Verification Engineer, you will ensure design correctness using mathematical methods such as model checking and equivalence checking. Your typical day will involve analyzing design specifications, developing formal models, and applying verification techniques to detect corner-case bugs early in the design cycle. This proactive approach will significantly enhance the quality of the designs and reduce the overall verification time, allowing for a more efficient development process.

Roles & Responsibilities:

• Expected to perform independently and become an SME.
• Required active participation/contribution in team discussions.
• Contribute in providing solutions to work related problems.
• Collaborate with cross-functional teams to gather requirements and provide feedback on design specifications.
• Develop and maintain formal verification environments to ensure comprehensive coverage of design scenarios.

Professional & Technical Skills:

• Must To Have Skills: Proficiency in SoC Verification.
• Strong understanding of formal verification techniques and tools.
• Experience with model checking and equivalence checking methodologies.
• Familiarity with hardware description languages such as Verilog or VHDL.
• Ability to analyze complex designs and identify potential verification issues.

Additional Information:

• The candidate should have minimum 3 years of experience in SoC Verification.
• This position is based at our Bengaluru office.
• A 15 years full time education is required.