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

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.