Best Verifiable QoR – A Formal Equivalence Checking Yardstick

Best Verifiable QoR – A Formal Equivalence Checking Yardstick
by Daniel Nenni on 09-08-2020 at 10:00 am

sathappanpalaniappan

To achieve maximal QoR, Broadcom wanted to take advantage of all the advanced optimizations that Design Compiler offers. These optimizations, however, are of little value if they cannot be verified through Formal Equivalence Checking.

This presentation details how Formality Equivalence Checking gave Broadcom the confidence… Read More