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

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

   .. only:: html



      .. 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.

.. 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.