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 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.

5 Replies

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

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

  • 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.

  • 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?
  • 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.