Best Verifiable QoR – A Formal Equivalence Checking Yardstick
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 to verify and signoff designs without scaling back or switching …
Continue reading "Best Verifiable QoR – A Formal Equivalence Checking Yardstick"