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.