I am using the JasperGold FSV app to identify safe faults in a Verilog design. I am applying SystemVerilog assumptions in the verification task to represent application-derived constraints.
Sometimes for a fault for which the app has already inferred an 'Activatability' result, the app will infer a conflicting result. For example:
> ERROR (EFSV032): Conflicting inferred results in fault (41059):
> The existing check result for "Activatability" is "Unactivatable", conflicts with the result: "Activated" inferred from fault (42042).
Sometimes the "conflicting" result will not even be conflicting. For example:
> ERROR (EFSV032): Conflicting inferred results in fault (41059):
> The existing check result for "Activatability" is "Unactivatable", conflicts with the result: "Unactivatable" inferred from fault (42041).
Such faults are still classed as safe upon completion of the verification task. I could remove these faults from the safe faults list just to be safe. However, I'd like to get rid of the errors completely.
I am looking for help in troubleshooting this error.