Post-silicon patching for verification/debugging with high-level models and programmable logic | IEEE Conference Publication | IEEE Xplore