=============================================================================
recover_names - Execute a lossy mapping command and recover original netnames
=============================================================================

.. raw:: latex

    \begin{comment}

.. cmd:def:: recover_names
    :title: Execute a lossy mapping command and recover original netnames



    .. code:: yoscrypt

        recover_names [command]

    ::

        This pass executes a lossy mapping command and uses a combination of simulation
         to find candidate equivalences and SAT to recover exact original net names.

.. raw:: latex

    \end{comment}

.. only:: latex

    ::

        
            recover_names [command]
        
        This pass executes a lossy mapping command and uses a combination of simulation
         to find candidate equivalences and SAT to recover exact original net names.