On Accelerating SMT-based Bounded Model Checking of HSTM Designs | IEEE Conference Publication | IEEE Xplore