Modeling yield, cost, and quality of an NoC with uniformly and non-uniformly distributed redundancy