Post-silicon verification and debugging with control flow traces and patchable hardware | IEEE Conference Publication | IEEE Xplore