ASIC Verification Engineer AE (Gulbarga)

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 - Robust 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.)