A Functional Approach for Testing the Reorder Buffer Memory. - Di Carlo, S.; Gaudesi, M.; Sanchez, E.; Sonza Reorda, M. (Journal of Electronic Testing, 2014)