Forum Discussion

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

formal verification tab greyed-out

Hi, I'm trying to have quartus II generate netlists and Encounter-Conformal scripts but the formal verification tab on Quartus has become greyed-out. Normally, the tab has the option to switc...
Altera_Forum's avatar
Altera_Forum
Icon for Honored Contributor rankHonored Contributor
14 years ago

my mistake is that the Cyclone IV family is not supported by conformal LEC. Thanks for the tip on checking the qsf.

I neglected to realize that my past builds have been for the Cyclone II chip. I switched to the Cyclone IV on habit.