Effective modelling of large NoCs using SystemC | IEEE Conference Publication | IEEE Xplore