Scalable and Efficient Bounds Checking for Large-Scale CMP Environments | IEEE Conference Publication | IEEE Xplore