After accounting for clk-Q, propagation delay,
fl
ip-
fl
op setup/
hold times, clock skew and uncertainty, the tool dumps out a
slack in the report, thus eliminating the need for post-processing
thousands of inter-domain paths. Hence, the interfaces can be
timed just as robustly to match the design.