Skip to content

Avinash Palepu

Synopsys, June 9, 2022

5X Faster Equivalence Checking with Formality ML-driven DPX

  • June 9, 2022May 24, 2022

Synopsys’ Fusion Compiler provides a broad spectrum of aggressive optimization techniques such as retiming, multibit banking and advanced data-path optimization that our designers want to… Read More »5X Faster Equivalence Checking with Formality ML-driven DPX

%d bloggers like this: