Automatic generation of hardware checkers from formal micro-architectural specifications | IEEE Conference Publication | IEEE Xplore