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

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. I guess ML could add value somewhere in that process to handle some unstructured aspect.