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

by Panagiotis Manolios
Venue:In ACM-IEEE International Conference on Formal Methods and Models for Codesign
Citations:4 - 4 self