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, ESP-CV
for full-custom, memory verification.