A matrix model for redefining and testing NoC interconnect shorts | IEEE Conference Publication | IEEE Xplore