recover_names - Execute a lossy mapping command and recover original netnames

yosys> help recover_names

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.