A Top-Down Modeling Approach for Networks-on-Chip Components Design: A Switch as Case Study | IEEE Journals & Magazine | IEEE Xplore