Functional Verification of RTL Designs driven by Mutation Testing metrics | IEEE Conference Publication | IEEE Xplore