On-Chip Verification of NoCs Using Assertion Processors | IEEE Conference Publication | IEEE Xplore