ASIC Verification Engineer AE

Cadence Design Systems Website: cadence.com Job details: 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.) Click on Apply to know more.