Verification of Reconfigurable NoC under Quality of Service Constraints | IEEE Conference Publication | IEEE Xplore