Micro-architecture verification for microprocessors | IEEE Conference Publication | IEEE Xplore