GOF platform integrates four functional components: ECO, Formal, LEC and Debug.
GVT provides GUI mode and script mode netlist debug solutions.