T. Xie, W. Müller, and F. Letombe, “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor,”10.1109/SOCC.2012.6398362__2012, doi:10.1109/SOCC.2012.6398362 .