Automatic Processor Customization for Zero-Overhead Online Software Verification | IEEE Journals & Magazine | IEEE Xplore