A Top-Down Modeling Approach for Networks-on-Chip Components Design: A Switch as Case Study