Arria V Formal verification problems

Hi everyone, I want to do a formal verification of a project where i use a Arria V FPGA, and to do this i'm planning to use Encounter Conformal Software, that is a Cadence tool But i'm not h...