Lead Software Engineer
Cadence Design Systems4 days ago
Noida, IndiaStaff+
Responsibilities
- Design, develop, validate, and deliver assertion-based formal verification IPs for industry-standard protocols.
- Analyze protocol specifications and create verification plans, design models, SystemVerilog Assertions, assumptions, and coverage goals.
- Own architecture, implementation, validation, regression, release readiness, maintenance, and documentation for verification IPs.
- Develop synthesizable RTL and verification components using Verilog, SystemVerilog, synthesis, and formal verification concepts.
- Apply formal verification methodologies to prove design properties, address convergence challenges, and implement abstractions and constraints.
- Define measurable coverage goals, review results, and drive closure of functional and formal coverage gaps.
- Debug complex design and verification failures with EDA tools and perform root-cause analysis.
- Build automation, regression, and productivity flows using Python and Tcl.
- Conduct design and code reviews, mentor junior engineers, and improve verification methodologies and processes.
- Collaborate with application engineering and geographically distributed teams, communicate technical risks and progress, and support customer-facing technical discussions.
Requirements
- BE/BTech or ME/MS/MTech degree in Electrical or Electronics.
- 5+ years of RTL design or verification experience with a BE/BTech, or 3+ years with a master's degree.
- Experience with Verilog, SystemVerilog, and SVA/RTL design or verification.
- Knowledge of formal verification concepts and tools.
- Experience with verification planning, coverage, Python, and Tcl scripting.
- Experience with at least one protocol such as AXI, CHI, PCIe, or CXL.
- Working knowledge of AI/ML concepts and experience using AI-assisted tools for verification, debugging, automation, or engineering productivity.
- Strong written, verbal, and presentation skills, technical ownership, sound judgment, and the ability to independently drive complex assignments through delivery.
Benefits
- Employee-friendly policies supporting physical and mental well-being, career development, learning, and recognition.
- Multiple learning and development opportunities and a collaborative, diverse team culture.
About Cadence Design Systems
Cadence Design Systems builds electronic design automation (EDA) software, emulation/acceleration hardware, and reusable IP that help semiconductor and systems companies design, verify, and implement chips and electronic systems. It also develops computational engineering tools, including computational fluid dynamics and molecular modeling for drug discovery. Founded in 1988 and headquartered in San Jose, California, Cadence is a public company listed on NASDAQ under the ticker CDNS.