tools for qualification of verification environment

I made a research about tools for qualification of verification environment , especially those with fault injection option , I've found Certitude from synopsys but I need some other propositions could anyone help me ?