Verification of portable intellectual property blocks for FPGAs | IEEE Conference Publication | IEEE Xplore