ASIC Verification Engineer AE
CADENCE- 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
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
