Formality Equivalence Checking
Best Verifiable QoR...Up to 5X Faster
Speakers: Matteo Citarelli, ViaSat and Avinash Palepu, Synopsys
You will need a SolvNetPlus account to access these papers.
Todd Buzan, Senior Director of R&D, discusses how Formality enables aggressive optimizations in Synthesis to achieve maximal QoR.
Watch nowPhillip Baraona, Senior R&D Manager, discusses how Formality’s latest adaptive distributed verification technology delivers up to 5X faster turn-around time.
Watch now