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

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?