Search by job, company or skills

ASIC Verification Engineer AE

ASIC Verification Engineer AE

CADENCE
5-7 Years
Not Disclosed
  • Posted a month ago
  • Be among the first 10 applicants

Job Description

Required Skills:

- 5+ years in RTL design or verification (2+ years formal)

- Knowledge of SystemVerilog, SVA/PSL, assertions

- Experience with JasperGold, OneSpin, or VC Formal

- Familiarity with AI/ML in EDA tools

- Hands-on with JasperGolds Smart Proof, VisualizeTM, QuietTraceTM

- Strong customer-facing skills

Desirable Skills:

- Prior AE or customer-facing experience

- Exposure to Verisium or simulation analytics

- Python or scripting for data integration

- Cloud formal execution (e.g., AWS)

- Safety/security standards knowledge (ISO 26262, etc.)

More Info

Job Type:
Function:
Employment Type:

Key Skills

JasperGold

VC Formal

Cloud formal execution

Smart Proof

scripting for data integration

OneSpin

QuietTraceTM

VisualizeTM

safety security standards

PSL assertions

AI ML in EDA tools

About Company