Integer Linear Programming Based Fault-Tolerant Topology Synthesis for Application-Specific NoC