Formality Equivalence Checking

Best Verifiable QoR...Up to 5X Faster

Customer Webinars

Deployment of Formality at ViaSat with Lynx Integration

Speakers: Matteo Citarelli, ViaSat and Avinash Palepu, Synopsys

December 8, 2020 - Register Now

Broadcom: Best Verifiable QoR – A Formal Equivalence Checking Yardstick
Speaker: Sathappan Palaniappan,  Principal Engineer, Broadcom

SNUG Papers

You will need a SolvNetPlus account to access these papers.

What R&D Says

Formality ECO
ECOs Faster, Better, First Time Right