Forum Discussion

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

Formal verification flow

Can I use Windows version of Quartus II and Linux version of the Conformal, to do a formal verification between the Netlist and RTL.

Alter manual - Chapter 18 (Cadence Encounter Conformal Support) does mention moving files between Linux and Windows, but is not very clear on (moving) the black box models (in Windows Quartus II) that may be needed for FV (in Linux).

thanks,

Balamurali

1 Reply

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

    i've never used Conformal but i don't see a reason why it wouldn't work. just zip up the fv directory in your project directory and transfer over to the Linux box. it looks as if all of the blackbox models should reside in ./fv/conformal/<proj name>_blackboxes