Senior ASIC Engineering Technical Leader - Formal Verification
Company : Cisco
Location : San Jose, CA, 95112
Posted Date : 28 October 2025
Job Details
ASIC Verification Engineer
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.
Your Impact
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.
Minimum Qualifications
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.
Preferred Qualifications
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.
At Cisco, we're revolutionizing how data and infrastructure connect and protect organizations in the AI era and beyond. We've been innovating fearlessly for 40 years to create solutions that power how humans and technology work together across the physical and digital worlds. These solutions provide customers with unparalleled security, visibility, and insights across the entire digital footprint. Simply put we power the future.
Fueled by the depth and breadth of our technology, we experiment and create meaningful solutions. Add to that our worldwide network of doers and experts, and you'll see that the opportunities to grow and build are limitless. We work as a team, collaborating with empathy to make really big things happen on a global scale. Because our solutions are everywhere, our impact is everywhere.
We are Cisco, and our power starts with you.
Trending Searches in San Jose, CA
- Full time jobs near me San Jose, CA
- Local job openings
- Places hiring near me
- Job vacancies near me
- Senior asic engineer jobs near me San Jose, CA
- Senior asic engineer jobs hiring near me San Jose, CA
- Senior asic engineer jobs hiring near San Jose, CA
- Senior asic engineer jobs near San Jose, CA
- Senior asic engineer jobs near me in San Jose, CA
- Senior asic engineer jobs in San Jose, CA
Other Jobs You May Like
Top searches
- Jobs hiring immediately
- Part time jobs near me
- Full time jobs near me
- Jobs that are hiring near me
- Jobs near me hiring now
- Senior asic engineer jobs near me
- Senior asic engineer jobs
- Senior asic engineer jobs hiring near me
- Senior asic engineer openings near me
- Senior asic engineer vacancies near me
Employment opportunities at Cisco