Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors.
Ying ZhangKrishnendu ChakrabartyZebo PengAhmed RezineHuawei LiPetru ElesJianhui JiangPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)