Senior ASIC Engineering Technical Leader - Formal Verification

Cisco Systems • San Jose, CA

75d

About The Position

Cisco Silicon One (#CiscoSiliconOne) is the only unifying silicon architecture in the market that enables customers to deploy the best-of-breed silicon from Top of Rack (TOR) switches all the way through web scale data centers and across service provider, enterprise networks, and data centers with a fully unified routing and switching portfolio. Come join us and take part in shaping Cisco's ground-breaking solutions by designing, developing and testing some of the most complex ASICs being developed in the industry.

Requirements

• Bachelor's Degree in Electrical or Computer Engineering with 12+ years of ASIC or related experience or Master's Degree in Electrical or Computer Engineering with 8+ years of ASIC or related experience.
• Experience in formal Verification using either VC Formal or Jasper Gold.

Nice To Haves

• Extensive experience using System Verilog.
• Prior experience developing formal testbench and collecting formal code coverage.
• Experience collaborating with cross-functional teams.
• Experience building, leading, and mentoring a team of engineers.
• Experience in merging and analyzing code coverage data generated functional simulation.
• Good written and verbal communication skills.
• Good working knowledge in C, C++ programming and debugging skills.

Responsibilities

• Analyze block architecture and identify parts critical / beneficial and suitable for Formal Verification and develop a Formal Verification strategy for identified parts.
• Analyze designs using Formal tools and check complexity to confirm parts selection and strategy.
• Develop Formal test plans and Formal Testbenches including interface components to be reused in simulation.
• Develop abstraction models for memories and other parts required abstraction.
• Develop coverage assertion for debugging and corner cases.
• Run Formal tools (Synopsys VC Formal or Jasper Gold).
• Debug failures and provide waveforms to the designer for debugging.
• Collect and analyze Formal coverage.

Benefits

• Quality medical, dental and vision insurance.
• 401(k) plan with a Cisco matching contribution.
• Short and long-term disability coverage.
• Basic life insurance.
• Numerous wellbeing offerings.
• Up to twelve paid holidays per calendar year.
• Floating holiday and a day off for birthday.
• Vacation time off policy with flexible limits.
• Sick time off policy with 80 hours provided on hire date.
• Paid time away for critical or emergency issues.
• Additional paid time to volunteer and give back to the community.

What This Job Offers

• Job Type: Full-time
• Career Level: Senior
• Industry: Professional, Scientific, and Technical Services
• Education Level: Bachelor's degree
• Number of Employees: 5,001-10,000 employees