Simulation environment for design and verification of Network-on-Chip and multi-core systems | IEEE Conference Publication | IEEE Xplore