Advanced Verification Strategies for Memory Block Integration in Processor Design | IEEE Conference Publication | IEEE Xplore