Effective Optimistic-Checker Tandem Core Design through Architectural Pruning | IEEE Conference Publication | IEEE Xplore