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...
--- Quote Start --- I suggest raising a mysupport ticket on the altera website. Sounds like a tool bug or documentation error. --- Quote End --- I will try this. Thank you.