Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms