Formality Equivalence Checking


Achieving the Best Verification QoR using Formal Equivalence Verification for PPA-Centric Designs
Speakers: Avinash Palepu, Synopsys and Sidharth Ranjan Panda, Intel Corporation
Watch Now
5X Faster Equivalence Checking with Formality ML-driven DPX
Speakers: Avinash Palepu, Synopsys and Mr. Woosung Choe, Samsung Electronics SLSI Division
Samsung: Comprehensive Real-Time Low-Power Equivalence Signoff Using Formality

Speakers: Ramanathan Lakshmanan, Samsung and Alphyn Stanley, Synopsys
Watch Now

ViaSat: Deployment of Formality at ViaSat with Lynx Integration

Speakers: Matteo Citarelli, ViaSat and Avinash Palepu, Synopsys
Watch Now

SNUG Papers

You will need a SolvNetPlus account to access these papers.

What R&D Says

Formality ECO
ECOs Faster, Better, First Time Right