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

Broadcom: Best Verifiable QoR – A Formal Equivalence Checking Yardstick

Speaker: Sathappan Palaniappan,  Principal Engineer, Broadcom

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