Xie, Tao , Wolfgang Müller, and Florian Letombe. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.”https://doi.org/10.1109/SOCC.2012.6398362__In Proceedings of SO.https://doi.org/10.1109/SOCC.2012.6398362__Niagara Falls, NY, USA : IEEE, 2012.https://doi.org/10.1109/SOCC.2012.6398362 .