formal verification tab greyed-out

[Altera_Forum]

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 switch to Conformal LEC but this option has disappeared. What happened?  edit: more information. I have a full license, using 11.0 sp1 web edition. I was able to generate netlists and scripts yesterday using the exact same software and setup.

[Altera_Forum]

no one has a response to this?

[Altera_Forum]

formal verification is actually somewhat rare, i'm not surprised no one has input

[Altera_Forum]

granted that's true, but this is an option grey-out. Do you happen to know what's going on? I suppose this problem started from when I temporarily removed my license to test a hypothesis.

[Altera_Forum]

its weird that it was one way and now another 

 what family are you targeting? did you check the .qsf for anything related to FV?

[Altera_Forum]

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.