Better Yosys names

[oharboe]

Has Yosys gotten any new features w.r.t. better, more readable, signal names for timing reports that ORFS is not using?

Ideally wire names in the Verilog would be used as well as register names to form more helpful names.

Usually I get something like this in timing reports:

intelligble register name -> blob of gates names 23525 etc. -> intelligble register name

[povik]

There are abc and yosys commands to recover names via SAT sweeping which attempts to find equivalent nets before and after mapping. I don't have first hand experience of using it so can't qualify how easy it would be to set up.

[oharboe]

The-OpenROAD-Project/OpenROAD-flow-scripts#3428 should help too. I will get module name/blob-of-logic, so at least I know the module name.