===============================================
equiv_purge - purge equivalence checking module
===============================================

.. raw:: latex

    \begin{comment}

.. cmd:def:: equiv_purge
    :title: purge equivalence checking module



    .. code:: yoscrypt

        equiv_purge [options] [selection]

    ::

        This command removes the proven part of an equivalence checking module, leaving
        only the unproven segments in the design. This will also remove and add module
        ports as needed.

.. raw:: latex

    \end{comment}

.. only:: latex

    ::

        
            equiv_purge [options] [selection]
        
        This command removes the proven part of an equivalence checking module, leaving
        only the unproven segments in the design. This will also remove and add module
        ports as needed.