Harnessing Checker Hierarchy For Reliable Microprocessors.