DES176 — Synopsys Formal Verification
This is a two day training class on formal verification and formality. Day one- Intro to formal verification, specifically equivalence checking, and formality. Day two- Debugging techniques for aborted and failed verification.