ASIC Digital Design - Staff Engineer

Learn more about applying for ASIC Digital Design - Staff Engineer at Synopsys Job Description Benefits Culture How We Hire Overview Our Hardware Engineers at Synopsys are responsible for designing and developing cutting-edge semiconductor solutions. They work on intricate tasks such as chip architecture, circuit design, and verification to ensure the efficiency and reliability of semiconductor products. These engineers play a crucial role in advancing technology and enabling innovations in various industries. Play Video Job Description Date posted 10/06/2026 Category Engineering Hire Type Employee Job ID 19155 Remote Eligible No Date Posted 10/06/2026 We Are Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D capability and productivity, powering innovation today that ignites the ingenuity of tomorrow. You Are You have spent years learning that the hardest bugs to catch are the ones simulation will never hit, and you have built the muscle to prove they cannot happen at all. Formal verification is not a side skill for you, it is the primary tool you reach for when correctness matters more than coverage metrics. You know that a well-written assertion is worth a thousand directed tests, and you have debugged enough counterexamples at 3 a.m. to tell the difference between a real bug, a missing assumption, and a property that was just worded wrong. Reading RTL is second nature. You can look at a state machine or a FIFO controller and start sketching the properties in your head before anyone asks. When a proof will not close, you do not give up, you add a cut point, split the case, tighten the constraint, or abstract the helper logic until the engines can finish. You have worked with designers who trust formal and designers who do not yet, and you have learned how to bring both groups along. At Synopsys, you will own formal sign-off for real blocks that ship in customer silicon, and you will help build the next generation of verification engineers who think proof-first. What You'll Be Doing Own formal property verification end to end for assigned digital RTL blocks, from clocks and resets through proof closure and final sign-off Read design specifications and RTL to write System Verilog Assertions, assumptions, and cover properties that capture the intended behavior and legal input space Build and maintain formal testbenches including bind files, helper logic, abstraction wrappers, and constraint sets in System Verilog Run formal tools, tune solver engines and effort settings, and push proof bounds on hard properties until they close or you root-cause why they cannot Debug counterexamples to determine whether the issue is in the RTL, the property, or the constraint set, and work directly with designers to resolve it Apply targeted abstractions such as cut points, case splits, blackboxing, and over-constraints when a proof will not converge, then systematically relax them to restore completeness Review simulation testbenches and specifications to identify missing legal-input assumptions, and keep formal constraints aligned with how the block is actually used Track and report property status across proven, covered, falsified, and inconclusive buckets, and clearly communicate coverage gaps and open issues to the design and verification leads Mentor and guide recent graduate engineers on the team, helping them build practical formal verification skills and develop sound debugging instincts The Impact You Will Have Catch corner-case bugs before tapeout that simulation would never reach, preventing costly respins and field failures Deliver mathematically proven correctness guarantees on critical control logic, protocol interfaces, and safety-critical paths that customers depend on Reduce verification closure time by proving entire classes of behavior exhaustively, instead of writing thousands of constrained-random tests Build a library of reusable formal testbench components and assertion IP that accelerates bring-up on future blocks and projects Raise the formal verification capability of the team by teaching engineers how to think in properties, not just in tests Improve design quality upstream by surfacing ambiguous specifications and unintended corner cases early, before RTL is frozen Enable faster design iteration by providing rapid feedback on whether a proposed RTL change breaks proven invariants What You'll Need 3 to 5 years of hands-on experience in semiconductor verification with substantial ownership of formal property verification, not just exposure or side projects Strong working knowledge of System Verilog and System Verilog Assertions including concurrent assertions, sequences, properties, assume, assert, cover, bind, and clocking blocks Practical experience closing formal proofs including constraint debugging, counterexample trace analysis, reset and clock modeling, and tuning engines to reach useful proof bounds Ability to read and understand synthesizable RTL in System Verilog or Verilog, and to trace waveforms and formal counterexamples back to design intent Comfort working in Tcl-based formal tool flows including compile, elaborate, check commands, and automated reporting Experience with at least one commercial formal verification tool such as Cadence Jasper Gold, Synopsys VC Formal, Siemens Questa Formal, or One Spin is a strong plus Who You Are You can look at a block specification and start writing the top five assertions before the RTL is even written, because you have learned to think in invariants and legal transitions When a proof fails, you do not immediately assume it is a bug, you methodically check the property wording, the assumptions, the clock and reset modeling, and the abstraction before escalating You can explain to a designer why their fix broke a proven property, or why a counterexample trace shows a real issue, in a way that builds trust instead of defensiveness You are comfortable working with recent graduates and walking them through a counterexample step by step, showing them how to read the trace and connect it back to the RTL You keep your formal testbenches organized and documented well enough that someone else can pick up your work mid-project without starting over You know when to push a proof harder and when to split the problem, abstract a submodule, or bring in the design team for a sanity check on intent The Team You'll Be Part Of You will be part of the IPG Customer Engagement and Infrastructure team, working on formal verification for IP blocks that are delivered to customers and integrated into their silicon designs. This team supports the quality and correctness of Synopsys IP products used across a wide range of customer applications. Rewards and Benefits We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process. At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability. Apply Save Job test Share Email Linked In X Facebook Benefits At Synopsys, innovation is driven by our incredible team around the world. We feel honored to work alongside such talented and passionate individuals who choose to make a difference here every day. We're proud to provide the comprehensive benefits and rewards that our team truly deserves. Visit Benefits Page Health & Wellness Comprehensive medical and healthcare plans that work for you and your family. Time Away In addition to company holidays, we have ETO and FTO Programs. Family Support Maternity and paternity leave, parenting resources, adoption and surrogacy assistance, and more. ESPP Purchase Synopsys common stock at a 15% discount, with a 24 month look-back. Retirement Plans Save for your future with our retirement plans that vary by region and country. Compensation Competitive salaries. ** Benefits vary by country and region - check with your recruiter to confirm Get an idea of what your daily routine around the office can be like Explore Bengaluru View Map Hiring Journey at Synopsys Apply When you apply to join us, your resume, skills, and experience are first reviewed for consideration. Phone Screen Once your resume has been selected, a recruiter and/or hiring manager will reach out to learn more about you, share more about the role, and answer any questions you might have. Interview Next up is interviewing (in person or virtual). You’ll be invited to meet with members of the hiring team to discuss your skills and experience, and what you’re looking for in your next role. Offer Congratulations! When you have been selected for the role, your recruiter will reach out to make you a verbal offer (a written offer will follow your conversation), and we hope you accept! Onboarding There will be some steps you need to take before you start to ensure a smooth first day, including new hire documentation. Welcome! Once you’ve joined, your manager, team, and a peer buddy will help you get acclimated. Over the next few weeks, you’ll be invited to join activities and training to help you ramp up for a successful future at Synopsys! BROWSE JOBS Find the open role that’s right for you