Forum Discussion

Altera_Forum's avatar
Altera_Forum
Icon for Honored Contributor rankHonored Contributor
17 years ago

Error: Device family Cyclone is not supported by Formal Verification tool Conformal L

Hi everyone, I get a strange error when I try to compile a project which I KNOW used to compile just fine before. The source is coming out of a CD so there is no way I modified it by mistake. ...
Altera_Forum's avatar
Altera_Forum
Icon for Honored Contributor rankHonored Contributor
17 years ago

--- Quote Start ---

Nope,

No changes at all. Same code, made sure it is the same exact file. It came out of an old USB memory stick so I know it has not been modified.

Can someone provide at least a high level summary of what is the meaning of this error

Thanks

B

--- Quote End ---

In the EDA tools setting is the tool "Palace" for physcical synthesis choosen. To be hoenst I don't know this tool. The problem is now that for Formal verification you choose Conformal LEC, but Confromal does not support Palace.

Kind regards

GPK