Power-Gating Optimization in Network-on-Chip Routers Based on Probabilistic Analysis