There is wonderful discussion on this within the SIS synthesis tool which predates yosys: Its a great read @User if you are interested: https://www2.eecs.berkeley.edu/Pubs/TechRpts/1992/2010.html