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
- Solid 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.

📌 PCIe Formal Verification Engineer (India)
🏢 Gtc Informatics Private
📍 India