Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors | IEEE Journals & Magazine | IEEE Xplore