Achieving Functional Correctness in Large Interconnect Systems.