Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. In: Proceedings of SO. IEEE; 2012. doi:10.1109/SOCC.2012.6398362
LibreCat: /record/36994
DOI: 10.1109/SOCC.2012.6398362