Job Description:

• B.Tech./M.Tech. in Electrical, Electronics or Computer Engineering.
• At least 4+ years of direct experience in formal verification.
• Ability to identify the suitable design for FV and analyze its complexity.
• Experience of creating formal test plan and test bench containing list of required checkers.
• Ability to dive deep in the RTL structures to understand the design and debug problems.
• Experience with CDC, LP , Security formal is a plus.
• Experience of at least one industry-wide used formal tools such as JG, VC Formal or Questa Formal.
• Proficient in SV and SVA.
• Perl/python/TCL scripting is a plus.

Job Responsibilities

• Independently drive jasper technology on complex designs
• Drive methodology and solution-oriented discussions with key stake holders
• Partner with sales team to help drive account strategy and campaigns
• Evangelize and drive adoption of new technology across customers
• Produce out-of-the-box solutions to customer problems using either tool capabilities or scripting techniques
• Deploy ML based Solutions to improve verification productivity
• Narrow down complex problems to pointed tool issues for R&D resolution
• Collaborate with worldwide AE teams