High Level Verification and Its Use at Pos-Silicon Debugging and Patching | IEEE Conference Publication | IEEE Xplore