Synopsys offers powerful tools that address the need for equivalence checking of large, complex, multi-voltage SoCs, all types of memories, full custom logic and I/Os. With unique and patented technologies, including Hier-IQ, datapath targeted solvers and symbolic simulation, users obtain the most comprehensive equivalence coverage available. The Synopsys formal equivalence checking suite includes Formality
for complete synthesis-flow verification, Formality Ultra
that adds ECO implementation assistance and advanced debugging, and ESP-CV
for full-custom, memory verification. Formality and ESP offer leading performance, are easy-to-use, and combine to provide full-chip, RTL-to-transistor coverage.