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.