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.