Scalable Symbolic Simulation-Based Automatic Correction of Modern Processors | IEEE Journals & Magazine | IEEE Xplore