Xie, Tao, et al. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.”10.1109/SOCC.2012.6398362__Proceedings of SO, IEEE, 2012, doi:10.1109/SOCC.2012.6398362.