- Solid 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
- Good 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 (India)
🏢 Mirafra Software Technologies
📍 India
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.