In general, you can organize specifications and verification information in a way that can be consumed by other programs for the purpose of synthesizing designs or generating tests or whatever. At that point, an optimizer could do a a decent job of routing. Maybe ML could add value somewhere in that process by handling some unstructured aspect.