Yogesh S. Mahajan, Sharad Malik. Utility of transaction-level hardware models in refinement checking. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010. pages 121-128, IEEE, 2010. [doi]
Abstract is missing.