Formal Verification Engineer

Hello,

Hope you are doing great.

We have an immediate Requirements for these role

📌 Hiring: Formal Verification Engineer

📍 Location: San Jose, CA

🕒 Job Type: Full-Time  

Job Summary:

We are looking for formal verification experts to ensure design correctness using mathematical verification techniques and advanced formal tools.

Key Responsibilities:

• Develop formal verification strategies and methodologies
• Write SystemVerilog Assertions (SVA)
• Perform property checking, equivalence checking, and CDC/RDC analysis
• Identify corner cases missed in simulation
• Collaborate with RTL teams for design improvements

Required Skills:

• Strong knowledge of formal verification tools (Jasper, VC Formal, etc.)
• Expertise in SVA and property specification
• Solid understanding of digital design and logic reasoning

Good to Have:

• Experience in low-power/CDC verification
• Exposure to security verification

venkateswara

Senior Technical Recruiter

ICS Globalsoft Inc

1231 Greenway Drive | Ste 375 | Irving, TX 75038

E-mail: |

Direct Number: Ext: 127

NMSDC Certified | Certified Minority Business Enterprise (MBE), SBE | An E-Verify company

 According to Bill S.1618 Title III passed by the 105th US Congress, this message is not considered as "Spam" as we have included the contact information. If you wish to be removed from our mailing list, please respond with "remove" in the subject field. We apologize for any inconvenience caused.