Utility of transaction-level hardware models in refinement checking | IEEE Conference Publication | IEEE Xplore