Formal Verification (Hyderabad)

Formal Verification (Hyderabad)

28 Aug
|
Mirafra Software Technologies
|
Hyderabad

28 Aug

Mirafra Software Technologies

Hyderabad

Formal Verification

Location: Hyderabad

Job Description:

- Strong experience in Formal Verification methodologies
- Hands-on expertise in SystemVerilog Assertions (SVA)
- Solid understanding of RTL design and micro-architecture
- Experience with equivalence checking (LEC/SEC)
- Knowledge of CDC/RDC verification
- Valuable debugging skills using counterexamples and traces

Job Requirement:

- Jasper Gold experience, CC checks, Property checks and IOMUX verification

Experience (years) : 4-10 yrs

Education Qualification:

BTECH/MTECH in Electrical/Electronics/Computer Science Engineering or Equivalent

📌 Formal Verification (Hyderabad)
🏢 Mirafra Software Technologies
📍 Hyderabad

Reply to this offer

Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.

Subscribe to this job alert:

Get the latest job offers by email for: formal verification (hyderabad) / hyderabad