Mutation-analysis driven functional verification of a soft microprocessor | IEEE Conference Publication | IEEE Xplore