Unlock the power of Formal Verification and stop wasting weeks on unnecessary simulations. As chip designs grow increasingly complex, relying solely on dynamic simulation to verify gate-level netlists becomes a bottleneck. A single RTL change can require weeks of simulation time just to confirm that your synthesis tool did its job correctly. Formal verification offers a faster, exhaustive, and mathematically proven alternative.
This course is your complete guide to Formal Verification using Synopsys Formality, the industry-standard equivalence checking tool. Whether you are verifying RTL against RTL, RTL against gate-level netlist, or netlist against netlist, this course gives you the step-by-step knowledge to get it right.
What makes this course different?
We don’t just teach theory. We walk through the entire Formality flow from end to end, then apply it in three practical labs where you’ll load real designs, run match and verify, and interpret results. But because real engineering isn’t always green checks, we dedicate an entire section to Debugging Cases—showing you exactly how to analyze failing compare points, trace logic cones, and resolve mismatches.
Course Outline:
- Lecture 1: Introduction to Formal Verification – Why formal? When to use it? Tool options.
- Lecture 2: Formal Verification Components & Design Equivalence Checking – Deep dive into logic cones, compare points, and the matching concept.
- Lecture 3: Formality Flow – Complete walkthrough from invocation to reporting, including critical commands like set_svf, set_constant, and set_dont_verify_points.
- Lecture 4: Lab 1 – Basic Formal Verification – Load your first designs and run a successful verification.
- Lecture 5: Lab 2 – Intermediate Verification – Handle scan modes and constants.
- Lecture 6: Lab 3 – Complex Verification – Work with SVF guidance and analyze match reports.
- Lecture 7: Debugging Cases – Real-world failure scenarios. Learn to trace, analyze, and fix.
