PCIe Formal Verification Engineer

About the Role:

GTC Informatics Private Limited is urgently hiring experienced PCIe Formal Verification Engineers for semiconductor design and verification projects across India. This is a priority role, and we encourage suitable candidates to apply immediately.

Location : PAN INDIA

Roles & Responsibilities:

• Carry out formal verification of PCIe IP and subsystems
• Write SVA properties, assertions, constraints and cover points
• Run formal tools and close proofs
• Debug counterexamples and work with RTL design teams to fix issues
• Track formal coverage and support verification sign-off
• Work closely with design and DV teams on client projects

Required Skills & Experience:

• 4–10 years of experience in VLSI / ASIC / SoC verification
• Strong hands-on experience in formal verification
• Good knowledge of the PCIe protocol
• Experience with SystemVerilog Assertions (SVA)
• Experience with formal tools such as JasperGold, VC Formal or Questa Formal
• Good debugging and communication skills

Good to Have:

• Exposure to DV, RTL design or DFT
• Experience with PCIe Gen4/Gen5

How to Apply:

Apply through Foundit, or send your updated resume to [HIDDEN TEXT]

Email subject: PCIe Formal Verification Engineer | Total Experience | Current Location

(Example: PCIe Formal Verification Engineer | 6 Years | Bengaluru)

Include your technical expertise, relevant project experience, current location, notice period and contact details.