This is actually one of the scenarios where AI (I just mean machine learning) would have a real value proposition, because of the need to infer the implicit constraints from many example circuits. Figuring out all the things that people think are obvious, but that take too long to input, is kind of the thing AI is useful for.