A Functional Verification based Fault Injection Environment