A computationally efficient method based on commitment refinement maps for verifying pipelined machines models (2005)

by P Manolios, S Srinivasan
Venue:In ACM-IEEE International Conference on Formal Methods and Models for Codesign