I agree that would be useful to make gnetlist understand that certain net names are a higher priority than others, and it could have applications above and beyond your immediate problem.
I agree that would be useful to make gnetlist understand that certain net names are a higher priority than others, and it could have applications above and beyond your immediate problem.