Case Study: Progate Group Corporation achieves five‑times faster datapath verification and on‑time tapeouts with Synopsys Formality

Progate Group Corporation - Customer Case Study

Progate Group Corporation (PGC) is a Taiwan-based turnkey design services company that has taped out more than 900 designs for industries including industrial automation, automotive, aerospace, RF, security and storage. Facing datapath‑intensive designs with aggressive timing and area targets and strict customer tapeout deadlines, PGC’s previous equivalence‑checking tool produced excessive runtimes—sometimes taking weeks—threatening schedule commitments.

PGC adopted Synopsys’ flow—Design Compiler Ultra for synthesis, IC Compiler for layout and Formality for equivalence checking—which reliably verifies DC Ultra’s advanced optimizations (datapath transformations, phase inversion, retiming). Formality’s simple setup and fast runtimes cut verification time to about one‑fifth, shaved weeks off schedules, improved predictability and quality‑of‑results, and is now used across all PGC projects to ensure timely tapeouts.

Progate Group Corporation

Jasper Lee

Technical Design Manager